Details

Time bar (total: 8.4s)

sample19.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
3.0ms256×pre80true

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 1 (1.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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (pow x 3) (* x x))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
2×cube-mult
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt distribute-rgt-out *-un-lft-identity distribute-lft1-in flip3-+ unpow3 sum-log add-cbrt-cube flip-+ distribute-lft-out
Counts
1 → 14
Calls
1 calls:
31.0ms
(+ (pow x 3) (* x x))

series92.0ms

Counts
1 → 3
Calls
1 calls:
92.0ms
(+ (pow x 3) (* x x))

simplify2.1s

Counts
17 → 17
Iterations

Useful iterations: 3 (332.0ms)

IterNodesCost
031179
189162
2317144
31216142
done5000142

prune50.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
191×add-sqr-sqrt
150×difference-of-squares
117×times-frac
75×unpow-prod-down sqr-pow
46×*-un-lft-identity
26×add-cube-cbrt
25×distribute-lft-out--
15×cube-mult distribute-rgt-out-- unpow3 cube-prod
13×associate-/l*
9×associate-/r*
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 → 174
Calls
2 calls:
42.0ms
(- (pow x 3) (* x x))
93.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (* x x)))

series432.0ms

Counts
2 → 6
Calls
2 calls:
111.0ms
(- (pow x 3) (* x x))
322.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (* x x)))

simplify1.4s

Counts
180 → 180
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02894731
16454377
216654187
done50003963

prune435.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes11.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
167
done67

end0.0ms

sample523.0ms

Algorithm
intervals
Results
269.0ms8000×body80valid
117.0ms8000×pre80true