Details

Time bar (total: 15.4s)

sample81.0ms

Algorithm
intervals
Results
40.0ms384×body80valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01420
13320
29720
331820
4118520
done500020

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.8b

localize28.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 4.0 (/ (pow x 2.0) (pow pi 2.0)))
0.0b
(- (* 4.0 (/ (pow x 2.0) (pow pi 2.0))) (* (* (/ x (fabs x)) 2.0) (/ x pi)))
22.0b
(/ (pow x 2.0) (pow pi 2.0))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
107×times-frac
96×unpow-prod-down
88×add-sqr-sqrt
65×*-un-lft-identity add-cube-cbrt
53×associate-*r*
38×add-exp-log
36×sqr-pow
18×div-exp
12×pow-to-exp pow-exp
10×add-cbrt-cube prod-exp unswap-sqr
associate-/r* associate-/l*
pow1 associate-*r/ add-log-exp
associate-*l* associate-*l/ frac-sub
cbrt-undiv cbrt-unprod div-inv
frac-times clear-num sub-neg frac-2neg flip3-- diff-log pow-prod-down *-commutative flip--
Counts
3 → 186
Calls
3 calls:
61.0ms
(* 4.0 (/ (pow x 2.0) (pow pi 2.0)))
49.0ms
(- (* 4.0 (/ (pow x 2.0) (pow pi 2.0))) (* (* (/ x (fabs x)) 2.0) (/ x pi)))
21.0ms
(/ (pow x 2.0) (pow pi 2.0))

series1.2s

Counts
3 → 9
Calls
3 calls:
341.0ms
(* 4.0 (/ (pow x 2.0) (pow pi 2.0)))
310.0ms
(- (* 4.0 (/ (pow x 2.0) (pow pi 2.0))) (* (* (/ x (fabs x)) 2.0) (/ x pi)))
548.0ms
(/ (pow x 2.0) (pow pi 2.0))

simplify2.8s

Counts
195 → 195
Iterations

Useful iterations: done (2.8s)

IterNodesCost
03123218
17963014
237772904
done50022898

prune1.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2))))
0.0b
(- (* (* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (* (* (/ x (fabs x)) 2.0) (/ x pi)))
0.3b
(* (* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2))))

rewrite365.0ms

Algorithm
rewrite-expression-head
Rules
409×add-exp-log
220×prod-exp
198×div-exp
132×pow-to-exp pow-exp
107×times-frac
106×associate-*r*
90×unpow-prod-down
85×add-sqr-sqrt
62×*-un-lft-identity add-cube-cbrt
34×sqr-pow
29×add-cbrt-cube
16×associate-*r/
13×associate-*l/
12×cbrt-unprod
10×pow1 unswap-sqr
frac-sub
frac-times
cbrt-undiv
add-log-exp
associate-*l* pow-prod-down
*-commutative div-inv
sub-neg flip3-- diff-log flip--
Counts
3 → 292
Calls
3 calls:
66.0ms
(* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2))))
111.0ms
(- (* (* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (* (* (/ x (fabs x)) 2.0) (/ x pi)))
138.0ms
(* (* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2))))

series1.0s

Counts
3 → 9
Calls
3 calls:
345.0ms
(* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2))))
316.0ms
(- (* (* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (* (* (/ x (fabs x)) 2.0) (/ x pi)))
375.0ms
(* (* 4.0 (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2)))) (/ (pow x (/ 2.0 2)) (pow pi (/ 2.0 2))))

simplify1.1s

Counts
301 → 301
Iterations

Useful iterations: done (1.1s)

IterNodesCost
03758480
112817050
done50014880

prune1.4s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes379.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02038
12738
done2738

end0.0ms

sample3.7s

Algorithm
intervals
Results
3.2s11161×body80valid