Details

Time bar (total: 4.6s)

sample36.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify89.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (6.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

localize17.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)
2.6b
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
13.2b
(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)

series270.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(fma (+ z 6.012459259764103) z 3.350343815022304)
41.0ms
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
66.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
130.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify109.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0245408
1760361
23482358
35001356

prune257.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304)))
12.6b
(sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))
12.6b
(sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))
13.2b
(fma (/ (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
258×times-frac
145×add-sqr-sqrt
143×add-cube-cbrt *-un-lft-identity
138×sqrt-prod
22×associate-/l*
9×add-exp-log add-cbrt-cube
8×div-inv
6×pow1 associate-/r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-2neg clear-num fma-udef associate-/l/
Counts
4 → 217
Calls
4 calls:
10.0ms
(/ (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304)))
1.0ms
(sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))
3.0ms
(sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(fma (/ (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

series293.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304)))
52.0ms
(sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))
51.0ms
(sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))
131.0ms
(fma (/ (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify79.0ms

Algorithm
egg-herbie
Counts
229 → 229
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
07143355
126342956
250012888

prune606.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize18.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.2b
(fma (* (/ 1 (/ (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) 1)) (/ y (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (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))
1.0ms
(cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))
0.0ms
(fma (* (/ 1 (/ (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) 1)) (/ y (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

series420.0ms

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

simplify79.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (71.0ms)

IterNodesCost
0198575
1598513
22522488
35001466

prune310.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

1.8b
(exp (log (fma (+ z 6.012459259764103) z 3.350343815022304)))
2.6b
(/ y (exp (log (fma (+ z 6.012459259764103) z 3.350343815022304))))
13.1b
(log (fma (+ z 6.012459259764103) z 3.350343815022304))
13.2b
(fma (/ y (exp (log (fma (+ z 6.012459259764103) z 3.350343815022304)))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

rewrite12.0ms

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

series281.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(exp (log (fma (+ z 6.012459259764103) z 3.350343815022304)))
63.0ms
(/ y (exp (log (fma (+ z 6.012459259764103) z 3.350343815022304))))
68.0ms
(log (fma (+ z 6.012459259764103) z 3.350343815022304))
131.0ms
(fma (/ y (exp (log (fma (+ z 6.012459259764103) z 3.350343815022304)))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify127.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 3 (117.0ms)

IterNodesCost
0352720
11070618
24365587
35001583

prune316.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes158.0ms

Accuracy

99.4% (0.1b remaining)

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

bsearch143.0ms

Steps
ItersRangePoint
9
0.8894813891870064
5702493.407928515
5240042.359536213
8
-4.108928205638907e+18
-1018083199604230.8
-10803300379083948.0

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03411
13411

end0.0ms

sample921.0ms

Algorithm
intervals
Results
749.0ms8000×body80valid