Details

Time bar (total: 20.2s)

sample120.0ms

Algorithm
intervals
Results
81.0ms447×body80valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
52400
4907
3347
2127
145
018

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ c (* x (+ (* x (+ a x)) b)))
0.0b
(+ d (* x (+ c (* x (+ (* x (+ a x)) b)))))
0.1b
(* x (+ c (* x (+ (* x (+ a x)) b))))
0.1b
(* x (+ (* x (+ a x)) b))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
associate-*r* associate-*l*
distribute-rgt-in associate-+r+ distribute-lft-in flip3-+ associate-*r/ flip-+ insert-posit16
+-commutative sum-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 74
Calls
4 calls:
18.0ms
(+ c (* x (+ (* x (+ a x)) b)))
14.0ms
(+ d (* x (+ c (* x (+ (* x (+ a x)) b)))))
30.0ms
(* x (+ c (* x (+ (* x (+ a x)) b))))
89.0ms
(* x (+ (* x (+ a x)) b))

series587.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(+ c (* x (+ (* x (+ a x)) b)))
252.0ms
(+ d (* x (+ c (* x (+ (* x (+ a x)) b)))))
132.0ms
(* x (+ c (* x (+ (* x (+ a x)) b))))
70.0ms
(* x (+ (* x (+ a x)) b))

simplify6.9s

Counts
86 → 86
Iterations
IterNodes
39334
21364
1364
0129

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* x (+ (* x (+ a x)) b))) (cbrt (* x (+ (* x (+ a x)) b))))
6.6b
(cbrt (* x (+ (* x (+ a x)) b)))
6.6b
(cbrt (* x (+ (* x (+ a x)) b)))
6.6b
(cbrt (* x (+ (* x (+ a x)) b)))

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
flip3-+ pow1/3 flip-+
*-un-lft-identity add-cube-cbrt
cbrt-prod
add-exp-log
frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
pow-prod-down associate-*l/ pow-sqr pow-prod-up
pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
95.0ms
(* (cbrt (* x (+ (* x (+ a x)) b))) (cbrt (* x (+ (* x (+ a x)) b))))
26.0ms
(cbrt (* x (+ (* x (+ a x)) b)))
38.0ms
(cbrt (* x (+ (* x (+ a x)) b)))
27.0ms
(cbrt (* x (+ (* x (+ a x)) b)))

series854.0ms

Counts
4 → 12
Calls
4 calls:
272.0ms
(* (cbrt (* x (+ (* x (+ a x)) b))) (cbrt (* x (+ (* x (+ a x)) b))))
192.0ms
(cbrt (* x (+ (* x (+ a x)) b)))
195.0ms
(cbrt (* x (+ (* x (+ a x)) b)))
194.0ms
(cbrt (* x (+ (* x (+ a x)) b)))

simplify1.2s

Counts
88 → 88
Iterations
IterNodes
32341
2673
1232
093

prune1.9s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes687.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
219
119
012

end0.0ms

sample4.1s

Algorithm
intervals
Results
3.3s13932×body80valid