Details

Time bar (total: 1.7s)

sample9.0ms

Algorithm
intervals
Results
3.0ms256×body80valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
072
1102
2102

prune1.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b
(- x (/ 1.0 3.0))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×prod-diff
38×*-un-lft-identity
36×add-cube-cbrt
28×times-frac
3×fma-neg div-inv add-log-exp
2×difference-of-squares
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
Counts
1 → 59
Calls
1 calls:
8.0ms
(- x (/ 1.0 3.0))

series28.0ms

Counts
1 → 3
Calls
1 calls:
28.0ms
(- x (/ 1.0 3.0))

simplify153.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 3 (144.0ms)

IterNodesCost
0360968
11076631
24591511
35001498

prune43.0ms

Filtered
62 candidates to 24 candidates (61.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New61162
Fresh000
Picked011
Done000
Total61263

Merged error: 0b

Counts
63 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
0.0b
(+ x (/ 1.0 3.0))
13.9b
(/ (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))

rewrite282.0ms

Algorithm
rewrite-expression-head
Rules
1861×add-sqr-sqrt
992×times-frac
925×*-un-lft-identity
743×add-cube-cbrt
720×prod-diff
468×swap-sqr
366×associate-*l*
342×associate-*r*
283×unswap-sqr
270×difference-of-squares
148×*-commutative
61×div-inv
55×distribute-lft-out
53×associate-/l*
30×distribute-lft-out--
15×fma-neg
7×add-log-exp
5×add-exp-log add-cbrt-cube
4×associate-/r*
3×pow1 expm1-log1p-u fma-def log1p-expm1-u
2×flip3-- flip3-+ associate-/r/ flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg diff-log div-sub div-exp clear-num sum-log
Counts
3 → 1104
Calls
3 calls:
59.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
6.0ms
(+ x (/ 1.0 3.0))
101.0ms
(/ (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))

series162.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
21.0ms
(+ x (/ 1.0 3.0))
97.0ms
(/ (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))

simplify290.0ms

Algorithm
egg-herbie
Counts
1113 → 1113
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
0248928138
1500122485

prune501.0ms

Filtered
1113 candidates to 201 candidates (81.9%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New111301113
Fresh000
Picked011
Done011
Total111321115

Merged error: 0b

Counts
1115 → 2

regimes22.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
052

end0.0ms

sample187.0ms

Algorithm
intervals
Results
106.0ms8000×body80valid