Details

Time bar (total: 4.1s)

sample17.0ms

Algorithm
intervals
Results
7.0ms290×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0144
1214
2244
3254
4254

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ (* x y) 2.0) (/ z 8.0))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
162×frac-sub associate-/l*
112×add-sqr-sqrt
83×*-un-lft-identity
81×associate-/r*
73×add-cube-cbrt
28×associate-*l*
27×frac-2neg associate-*r* clear-num
11×times-frac unswap-sqr
9×*-commutative
6×difference-of-squares
3×distribute-lft-out-- add-log-exp
1×pow1 add-exp-log sub-neg flip3-- diff-log add-cbrt-cube flip--
Counts
1 → 183
Calls
1 calls:
38.0ms
(- (/ (* x y) 2.0) (/ z 8.0))

series47.0ms

Counts
1 → 3
Calls
1 calls:
47.0ms
(- (/ (* x y) 2.0) (/ z 8.0))

simplify62.0ms

Algorithm
egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
016632232
150012192

prune326.0ms

Filtered
186 candidates to 114 candidates (61.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1851186
Fresh000
Picked011
Done000
Total1852187

Merged error: 0b

Counts
187 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x 8.0) (* (/ 2.0 y) z))
0.2b
(* (/ 2.0 y) z)
9.4b
(/ (- (- (* x 8.0) (* (/ 2.0 y) z))) (* (/ 2.0 y) (- 8.0)))

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
1932×add-sqr-sqrt
1346×times-frac
953×*-un-lft-identity
668×associate-*l*
505×unswap-sqr
496×distribute-lft-neg-in distribute-rgt-neg-in
449×add-cube-cbrt
378×difference-of-squares
313×associate-*r*
252×distribute-lft-out--
62×neg-mul-1
36×associate-/r* associate-/l*
33×div-inv
32×*-commutative
18×associate-*l/
17×add-exp-log add-cbrt-cube
9×associate-/r/
5×pow1 cbrt-undiv div-exp add-log-exp
4×prod-exp cbrt-unprod
3×frac-2neg clear-num
2×flip3-- flip-- associate-/l/ distribute-neg-frac
1×neg-sub0 sub-neg diff-log div-sub distribute-frac-neg pow-prod-down
Counts
3 → 1051
Calls
3 calls:
20.0ms
(- (* x 8.0) (* (/ 2.0 y) z))
7.0ms
(* (/ 2.0 y) z)
57.0ms
(/ (- (- (* x 8.0) (* (/ 2.0 y) z))) (* (/ 2.0 y) (- 8.0)))

series113.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(- (* x 8.0) (* (/ 2.0 y) z))
22.0ms
(* (/ 2.0 y) z)
51.0ms
(/ (- (- (* x 8.0) (* (/ 2.0 y) z))) (* (/ 2.0 y) (- 8.0)))

simplify232.0ms

Algorithm
egg-herbie
Counts
1060 → 1060
Iterations

Useful iterations: 1 (68.0ms)

IterNodesCost
0389618689
1500118636

prune2.5s

Filtered
1060 candidates to 663 candidates (62.5%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New106001060
Fresh000
Picked011
Done011
Total106021062

Merged error: 0b

Counts
1062 → 2

regimes97.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
0104
1104

end0.0ms

sample427.0ms

Algorithm
intervals
Results
228.0ms9083×body80valid