Details

Time bar (total: 12.3s)

sample81.0ms

Algorithm
intervals
Results
54.0ms450×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
01725
13723
29323
328623
495923
done500023

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- (* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0)))) (* 4.0 (pow x 3.0))) x)
0.1b
(* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0))))
0.2b
(* 6.0 (pow x 2.0))
0.3b
(- (* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0)))) (* 4.0 (pow x 3.0)))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
13×associate-*r* add-exp-log
11×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube
associate-*l*
pow1
add-log-exp
prod-exp unswap-sqr
unpow-prod-down
*-commutative cbrt-unprod
distribute-rgt-in distribute-lft-in flip3-- pow-prod-down associate-*l/ associate--l+ associate-*r/ flip-- sqr-pow
pow-to-exp sub-neg flip3-+ diff-log pow-exp flip-+
Counts
4 → 81
Calls
4 calls:
597.0ms
(* (- (* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0)))) (* 4.0 (pow x 3.0))) x)
270.0ms
(* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0))))
33.0ms
(* 6.0 (pow x 2.0))
202.0ms
(- (* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0)))) (* 4.0 (pow x 3.0)))

series1.7s

Counts
4 → 12
Calls
4 calls:
215.0ms
(* (- (* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0)))) (* 4.0 (pow x 3.0))) x)
183.0ms
(* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0))))
1.1s
(* 6.0 (pow x 2.0))
171.0ms
(- (* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0)))) (* 4.0 (pow x 3.0)))

simplify1.9s

Counts
93 → 93
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01681861
14791791
222051621
done50001615

prune636.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (pow x 5) (* 1.0 (pow x 4)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp
add-sqr-sqrt pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip--
Counts
1 → 12
Calls
1 calls:
37.0ms
(- (pow x 5) (* 1.0 (pow x 4)))

series263.0ms

Counts
1 → 3
Calls
1 calls:
263.0ms
(- (pow x 5) (* 1.0 (pow x 4)))

simplify1.7s

Counts
15 → 15
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
030220
184205
2282183
31293183
done5000183

prune71.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes46.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
199
done99

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.8s13377×body80valid