Details

Time bar (total: 8.8s)

sample25.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
5.0ms256×pre80true

simplify2.9s

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
049
1137
2267
3417
4597
5927
61837
75247
821287
done50007

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x (* x x)) (* x x))
0.1b
(* x (* x x))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1
7×add-exp-log add-cbrt-cube
5×pow-prod-up
4×add-sqr-sqrt add-log-exp
3×add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
1×+-commutative pow2 distribute-lft1-in flip3-+ pow-plus cube-unmult associate-*r* sum-log pow-sqr *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
2 → 37
Calls
2 calls:
20.0ms
(+ (* x (* x x)) (* x x))
24.0ms
(* x (* x x))

series124.0ms

Counts
2 → 6
Calls
2 calls:
90.0ms
(+ (* x (* x x)) (* x x))
34.0ms
(* x (* x x))

simplify2.3s

Counts
43 → 43
Iterations

Useful iterations: 3 (508.0ms)

IterNodesCost
057384
1135260
2436227
31620225
done5000225

prune85.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (pow x 3) (pow x 2))
46.6b
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (pow x 2)))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
615×add-sqr-sqrt
447×difference-of-squares
286×times-frac
258×unpow-prod-down sqr-pow
115×*-un-lft-identity
90×unpow2
60×cube-prod
53×distribute-lft-out--
39×add-cube-cbrt
22×associate-/r*
15×cube-mult distribute-rgt-out-- unpow3
13×associate-/l*
4×add-exp-log add-cbrt-cube add-log-exp
3×flip3-- flip--
2×pow1 associate-/r/ associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
2 → 369
Calls
2 calls:
35.0ms
(- (pow x 3) (pow x 2))
106.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (pow x 2)))

series329.0ms

Counts
2 → 6
Calls
2 calls:
76.0ms
(- (pow x 3) (pow x 2))
253.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (pow x 2)))

simplify1.6s

Counts
375 → 375
Iterations

Useful iterations: done (1.6s)

IterNodesCost
053511623
1111910529
221879367
done50009073

prune618.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes33.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
049
169
done69

end0.0ms

sample496.0ms

Algorithm
intervals
Results
192.0ms8000×body80valid
117.0ms8000×pre80true