Details

Time bar (total: 3.9s)

sample45.0ms

Algorithm
intervals
Results
32.0ms256×body80valid

simplify85.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
0387
1727
21676
33546
46466
59216
610606
713316
817926
918606
1018616
1118616

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.4b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (+ z 6.012459259764103) z 3.350343815022304)
0.0b
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
4.3b
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
20.5b
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* fma-udef associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 59
Calls
4 calls:
0.0ms
(fma (+ z 6.012459259764103) z 3.350343815022304)
0.0ms
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
2.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

series248.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(fma (+ z 6.012459259764103) z 3.350343815022304)
31.0ms
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
59.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
138.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify105.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (98.0ms)

IterNodesCost
0245408
1760361
23482358
35001356

prune255.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x))

series37.0ms

Counts
1 → 3
Calls
1 calls:
37.0ms
(fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x))

simplify53.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
03662
17852
228552
3184952
4500252

prune37.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

18.0b
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
18.0b
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
18.0b
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
20.5b
(fma (* (* (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×times-frac
25×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 div-inv
1×fma-udef
Counts
4 → 82
Calls
4 calls:
1.0ms
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
1.0ms
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
1.0ms
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
0.0ms
(fma (* (* (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

series712.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
184.0ms
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
186.0ms
(cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))
155.0ms
(fma (* (* (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify80.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 3 (67.0ms)

IterNodesCost
02811164
17351096
226951012
35003964

prune437.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 0.08333333333333322 (* 0.0027777777775171986 z))
0.1b
(fma y (- 0.08333333333333322 (* 0.0027777777775171986 z)) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×fma-neg prod-diff
2×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
1×sub-neg flip3-- diff-log flip-- fma-udef
Counts
2 → 30
Calls
2 calls:
2.0ms
(- 0.08333333333333322 (* 0.0027777777775171986 z))
0.0ms
(fma y (- 0.08333333333333322 (* 0.0027777777775171986 z)) x)

series70.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(- 0.08333333333333322 (* 0.0027777777775171986 z))
35.0ms
(fma y (- 0.08333333333333322 (* 0.0027777777775171986 z)) x)

simplify122.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 3 (37.0ms)

IterNodesCost
0125162
1334137
21333136
34664122
45001122

prune77.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes205.0ms

Accuracy

99.4% (0.1b remaining)

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

bsearch152.0ms

Steps
ItersRangePoint
8
1380249632226409.0
1.4524949464983345e+19
1879276473453759.8
7
-1.903026018846269e+29
-3.314665875535389e+27
-3.371361550341391e+27

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04013
14013

end0.0ms

sample1.1s

Algorithm
intervals
Results
922.0ms8000×body80valid