Details

Time bar (total: 4.2s)

sample22.0ms

Algorithm
intervals
Results
10.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

prune12.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 16.9b

Counts
2 → 2

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.1b
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
16.8b
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

rewrite6.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:
1.0ms
(fma (+ z 6.012459259764103) z 3.350343815022304)
1.0ms
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
3.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
1.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

series249.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(fma (+ z 6.012459259764103) z 3.350343815022304)
26.0ms
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
64.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
134.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify103.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0245408
1760361
23482358
35001356

prune244.0ms

Filtered
71 candidates to 59 candidates (83.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New68371
Fresh011
Picked011
Done000
Total68573

Merged error: 0.0b

Counts
73 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

5.1b
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
16.8b
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)
16.8b
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)
16.8b
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

rewrite6.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:
3.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
1.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)
1.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)
1.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

series480.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(/ y (fma (+ z 6.012459259764103) z 3.350343815022304))
141.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)
144.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)
135.0ms
(fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)

simplify96.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (88.0ms)

IterNodesCost
0209520
1674461
22867456
35001450

prune295.0ms

Filtered
71 candidates to 62 candidates (87.3%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New71071
Fresh033
Picked011
Done011
Total71576

Merged error: 0.0b

Counts
76 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* z 0.0692910599291889) 0.4917317610505968)
0.1b
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
4.7b
(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
19.7b
(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×add-exp-log add-cbrt-cube
10×add-cube-cbrt *-un-lft-identity
8×pow1
6×associate-*r* associate-*l* add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×times-frac prod-exp associate-/r* cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative associate-/l/ unswap-sqr
1×+-commutative distribute-rgt-in fma-def frac-2neg distribute-lft-in clear-num sum-log div-inv associate-/l*
Counts
4 → 87
Calls
4 calls:
4.0ms
(+ (* z 0.0692910599291889) 0.4917317610505968)
7.0ms
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
10.0ms
(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
15.0ms
(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series279.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(+ (* z 0.0692910599291889) 0.4917317610505968)
69.0ms
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
52.0ms
(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
124.0ms
(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify75.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0505679
12301571
25003552

prune264.0ms

Filtered
99 candidates to 78 candidates (78.8%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New98199
Fresh112
Picked011
Done022
Total995104

Merged error: 0b

Counts
104 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

13.8b
(* (/ y (* (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))) (/ (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) 1) (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
16.2b
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
16.2b
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
16.2b
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
52×add-exp-log
28×add-cbrt-cube
22×prod-exp
20×cbrt-div
17×div-exp
16×add-sqr-sqrt
15×associate-*l* cbrt-unprod
12×cbrt-undiv cbrt-prod add-cube-cbrt *-un-lft-identity associate-*r*
10×flip3-+ times-frac associate-/r/ flip-+
6×pow1
5×frac-times
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 1-exp associate-*r/ associate-*l/
2×div-inv unswap-sqr
1×pow-prod-down *-commutative
Counts
4 → 109
Calls
4 calls:
31.0ms
(* (/ y (* (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))) (/ (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) 1) (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
6.0ms
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
6.0ms
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
6.0ms
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series470.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(* (/ y (* (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))) (/ (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) 1) (cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
112.0ms
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
113.0ms
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))
117.0ms
(cbrt (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify79.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
06491959
127261636
250011444

prune426.0ms

Filtered
121 candidates to 93 candidates (76.9%)
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1210121
Fresh011
Picked011
Done033
Total1215126

Merged error: 0b

Counts
126 → 5

regimes212.0ms

Accuracy

98.5% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 16.8b

bsearch147.0ms

Steps
ItersRangePoint
9
4.1340642299952195e-15
2.731921632534707e-06
2.6774044712547526e-06
10
-3.3083011695310274e+34
-2.5823448180896324e+23
-6.467109093744247e+24

simplify11.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0289
1289

end0.0ms

sample489.0ms

Algorithm
intervals
Results
322.0ms8000×body80valid

Profiling

Loading profile data...