Details

Time bar (total: 15.9s)

sample74.0ms

Algorithm
intervals
Results
47.0ms431×body80valid

simplify4.2s

Counts
1 → 1
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
01623
13521
28521
323721
469421
5342121
done500021

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x (- x 3.0)))
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)))

rewrite400.0ms

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

series1.2s

Counts
4 → 12
Calls
4 calls:
127.0ms
(* x (* x (- x 3.0)))
159.0ms
(* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0))))
803.0ms
(* 6.0 (pow x 2.0))
152.0ms
(- (* x (+ (* x (* x (- x 3.0))) (* 6.0 (pow x 2.0)))) (* 4.0 (pow x 3.0)))

simplify2.8s

Counts
101 → 101
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01801516
15241412
227311304
done50001300

prune625.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite28.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:
28.0ms
(- (pow x 4) (* 1.0 (pow x 3)))

series208.0ms

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

simplify3.0s

Counts
15 → 15
Iterations

Useful iterations: 3 (808.0ms)

IterNodesCost
029220
184205
2328183
32271179
done5001179

prune81.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes24.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.1s

Algorithm
intervals
Results
2.7s12850×body80valid