Details

Time bar (total: 1.9s)

sample21.0ms

Algorithm
intervals
Results
10.0ms383×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0154
1334
2644
3794
4794

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x x) (* (* y 4.0) z))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt sub-neg flip3-- *-un-lft-identity fma-neg diff-log prod-diff add-cbrt-cube flip-- log1p-expm1-u
Counts
1 → 16
Calls
1 calls:
3.0ms
(- (* x x) (* (* y 4.0) z))

series42.0ms

Counts
1 → 3
Calls
1 calls:
42.0ms
(- (* x x) (* (* y 4.0) z))

simplify81.0ms

Algorithm
egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 3 (78.0ms)

IterNodesCost
0113123
1540111
22732108
35001104

prune40.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (* (* y 4.0) z) 3)
0.5b
(- (pow (* x x) 3) (pow (* (* y 4.0) z) 3))
2.3b
(fma y (* (* 4.0 z) (fma x x (* (* y 4.0) z))) (pow x 4))
37.7b
(/ (- (pow (* x x) 3) (pow (* (* y 4.0) z) 3)) (fma y (* (* 4.0 z) (fma x x (* (* y 4.0) z))) (pow x 4)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
70×add-sqr-sqrt
64×prod-diff
50×*-un-lft-identity
48×sqr-pow
40×add-cube-cbrt difference-of-squares
39×times-frac
28×unpow-prod-down cube-prod
18×cube-mult unpow3
13×associate-/l*
12×add-exp-log add-cbrt-cube
10×pow1
8×fma-neg
6×add-log-exp
5×difference-cubes distribute-lft-out--
4×expm1-log1p-u log1p-expm1-u
3×pow-unpow pow-pow pow-prod-down pow-exp prod-exp associate-/r* cbrt-unprod rem-cube-cbrt
2×flip3-- flip-- associate-/l/
1×cbrt-undiv pow-to-exp sub-neg frac-2neg diff-log div-sub div-exp clear-num fma-udef div-inv
Counts
4 → 205
Calls
4 calls:
6.0ms
(pow (* (* y 4.0) z) 3)
10.0ms
(- (pow (* x x) 3) (pow (* (* y 4.0) z) 3))
0.0ms
(fma y (* (* 4.0 z) (fma x x (* (* y 4.0) z))) (pow x 4))
30.0ms
(/ (- (pow (* x x) 3) (pow (* (* y 4.0) z) 3)) (fma y (* (* 4.0 z) (fma x x (* (* y 4.0) z))) (pow x 4)))

series357.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(pow (* (* y 4.0) z) 3)
101.0ms
(- (pow (* x x) 3) (pow (* (* y 4.0) z) 3))
83.0ms
(fma y (* (* 4.0 z) (fma x x (* (* y 4.0) z))) (pow x 4))
125.0ms
(/ (- (pow (* x x) 3) (pow (* (* y 4.0) z) 3)) (fma y (* (* 4.0 z) (fma x x (* (* y 4.0) z))) (pow x 4)))

simplify130.0ms

Algorithm
egg-herbie
Counts
217 → 217
Iterations

Useful iterations: 2 (98.0ms)

IterNodesCost
06633301
127602868
250022862

prune507.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes99.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

sample511.0ms

Algorithm
intervals
Results
272.0ms12284×body80valid