Details

Time bar (total: 2.3s)

sample36.0ms

Algorithm
intervals
Results
23.0ms410×body80valid

simplify10.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))

series48.0ms

Counts
1 → 3
Calls
1 calls:
48.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: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (* (* y 4.0) z) 3)
2.1b
(- (pow (* x x) 3) (pow (* (* y 4.0) z) 3))
5.1b
(fma y (* (* 4.0 z) (fma x x (* (* y 4.0) z))) (pow x 4))
41.0b
(/ (- (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)))

rewrite58.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)
11.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)))

series355.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(pow (* (* y 4.0) z) 3)
99.0ms
(- (pow (* x x) 3) (pow (* (* y 4.0) z) 3))
82.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)))

simplify132.0ms

Algorithm
egg-herbie
Counts
217 → 217
Iterations

Useful iterations: 2 (100.0ms)

IterNodesCost
06633301
127602868
250022862

prune503.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes104.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0104
1104

end0.0ms

sample943.0ms

Algorithm
intervals
Results
682.0ms12170×body80valid