Details

Time bar (total: 3.9s)

sample21.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

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

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.6b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (+ z 6.012459259764103) z 3.350343815022304)
0.1b
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
5.2b
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
13.4b
(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)

series237.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(fma (+ z 6.012459259764103) z 3.350343815022304)
25.0ms
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
61.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
132.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify102.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0245408
1760361
23482358
35001356

prune257.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (+ z 6.012459259764103) z 3.350343815022304)
0.1b
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
5.2b
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
13.4b
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (* 1 (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)) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

series235.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(fma (+ z 6.012459259764103) z 3.350343815022304)
27.0ms
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
58.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
131.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

simplify118.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (112.0ms)

IterNodesCost
0249420
1814370
24030367
35002365

prune249.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

13.1b
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
13.1b
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
13.1b
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
13.4b
(fma (/ (/ y (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×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×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(fma (/ (/ y (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

series445.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
105.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
107.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
128.0ms
(fma (/ (/ y (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

simplify74.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (66.0ms)

IterNodesCost
0193562
1581496
22294473
35003459

prune279.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

13.1b
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
13.1b
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
13.1b
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
13.4b
(fma (/ (/ y (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (expm1 (log1p (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))))) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×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×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(fma (/ (/ y (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (expm1 (log1p (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))))) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

series709.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
112.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
105.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
384.0ms
(fma (/ (/ y (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (expm1 (log1p (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))))) (* 1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x)

simplify71.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (63.0ms)

IterNodesCost
0195586
1592513
22308488
35003474

prune309.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes130.0ms

Accuracy

99.6% (0.1b remaining)

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

bsearch62.0ms

Steps
ItersRangePoint
2
81461.56837266182
97589.81891588567
95573.78759798268
6
-1398402063.149054
-145619909.40767458
-196225401.49587274

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03310
13510
23510

end0.0ms

sample476.0ms

Algorithm
intervals
Results
314.0ms8000×body80valid