FastMath test5
Time bar (total: 2.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 100% | 100% | 0% | 0% | 0% | 0% | 0% | 1 |
Compiled 21 to 10 computations (52.4% saved)
ival-mult, time spent: 0.0ms, 0.0% of total-timeconst, time spent: 0.0ms, 0.0% of total-time| 547.0ms | 4607× | 256 | valid |
| 970.0ms | 3648× | 256 | infinite |
| 0.0ms | 1× | 256 | valid |
ival-mult, time spent: 633.0ms, 99.0% of total-timeconst, time spent: 9.0ms, 1.0% of total-time| 1× | egg-herbie |
| 598× | fma-define |
| 382× | associate-*r* |
| 158× | associate-*l* |
| 116× | distribute-lft-neg-in |
| 108× | distribute-lft-neg-out |
| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 0 | 0 | - | 0 | - | (*.f64 d1 d1) |
| 0 | 0 | - | 0 | - | (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) |
| 0 | 0 | - | 0 | - | (*.f64 d1 (*.f64 d1 d1)) |
| 0 | 0 | - | 0 | - | d1 |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1) |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 264 |
| 1 | 86 | 176 |
| 2 | 322 | 104 |
| 3 | 820 | 44 |
| 4 | 989 | 44 |
| 5 | 1328 | 44 |
| 6 | 1329 | 44 |
| 7 | 1329 | 44 |
| 8 | 1329 | 44 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1)) |
(neg.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))) |
| Outputs |
|---|
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))) |
(*.f64 d1 (*.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))) |
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5)) |
(pow.f64 d1 10) |
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))) |
(*.f64 d1 (*.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))) |
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5)) |
(pow.f64 d1 10) |
(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1)) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))) |
(*.f64 d1 (*.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))) |
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5)) |
(pow.f64 d1 10) |
(neg.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))) |
(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (pow.f64 (neg.f64 d1) 3) (*.f64 d1 d1)) (pow.f64 (neg.f64 d1) 3))) (neg.f64 (neg.f64 d1))) |
(*.f64 d1 (*.f64 (neg.f64 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))) |
(*.f64 (pow.f64 d1 6) (neg.f64 (pow.f64 d1 4))) |
(neg.f64 (pow.f64 d1 10)) |
(abs d1)
| 37.0ms | 294× | 256 | valid |
| 36.0ms | 217× | 256 | infinite |
| 0.0ms | 1× | 256 | infinite |
Compiled 202 to 29 computations (85.6% saved)
ival-mult, time spent: 29.0ms, 98.0% of total-timeconst, time spent: 1.0ms, 3.0% of total-timeCompiled 37 to 24 computations (35.1% saved)
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (pow.f64 d1 10) |
| ▶ | 99.9% | (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
Compiled 24 to 12 computations (50% saved)
Found 4 expressions with local error:
| New | Accuracy | Program |
|---|---|---|
| ✓ | 99.9% | (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) |
| ✓ | 99.9% | (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) |
| ✓ | 99.9% | (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) |
| ✓ | 99.9% | (*.f64 d1 (*.f64 d1 d1)) |
| 24.0ms | 147× | 256 | valid |
| 18.0ms | 108× | 256 | infinite |
| 0.0ms | 1× | 256 | infinite |
Compiled 96 to 13 computations (86.5% saved)
ival-mult, time spent: 14.0ms, 72.0% of total-timeival-pow, time spent: 5.0ms, 26.0% of total-timeconst, time spent: 1.0ms, 5.0% of total-time| Inputs |
|---|
#<alt (*.f64 d1 (*.f64 d1 d1))> |
#<alt (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))> |
#<alt (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)> |
#<alt (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)> |
| Outputs |
|---|
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 3)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 7)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 4)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
#<alt (pow.f64 d1 5)> |
12 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | d1 | @ | 0 | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 1.0ms | d1 | @ | -inf | (* d1 (* d1 d1)) |
| 0.0ms | d1 | @ | 0 | (* d1 (* d1 d1)) |
| 0.0ms | d1 | @ | 0 | (* (* (* d1 (* d1 d1)) d1) d1) |
| 0.0ms | d1 | @ | inf | (* d1 (* d1 d1)) |
| 1× | batch-egg-rewrite |
| 1122× | unpow-prod-down |
| 782× | prod-exp |
| 636× | log-prod |
| 454× | pow-prod-down |
| 440× | log1p-expm1-u |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 88 |
| 1 | 131 | 49 |
| 2 | 1451 | 40 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 d1 (*.f64 d1 d1)) |
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) |
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) |
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) |
| Outputs |
|---|
(+.f64 0 (pow.f64 d1 3)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3))))) |
(-.f64 (+.f64 1 (pow.f64 d1 3)) 1) |
(pow.f64 d1 3) |
(pow.f64 (pow.f64 d1 2) 3/2) |
(pow.f64 (pow.f64 d1 3) 1) |
(pow.f64 (cbrt.f64 d1) 9) |
(pow.f64 (pow.f64 d1 6) 1/2) |
(pow.f64 (pow.f64 d1 9) 1/3) |
(pow.f64 (pow.f64 d1 3/2) 2) |
(pow.f64 (sqrt.f64 d1) 6) |
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 3)) |
(pow.f64 (exp.f64 3) (log.f64 d1)) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 (log.f64 d1) 3)) 2)) (cbrt.f64 (*.f64 (log.f64 d1) 3))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 3))) (sqrt.f64 (*.f64 (log.f64 d1) 3))) |
(sqrt.f64 (pow.f64 d1 6)) |
(log.f64 (exp.f64 (pow.f64 d1 3))) |
(cbrt.f64 (pow.f64 d1 9)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 3))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 3))) |
(exp.f64 (*.f64 (log.f64 d1) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3)) |
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2)) |
(+.f64 0 (pow.f64 d1 7)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 7))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 7))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 7)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 7))))) |
(-.f64 (+.f64 1 (pow.f64 d1 7)) 1) |
(pow.f64 d1 7) |
(pow.f64 (pow.f64 d1 2) 7/2) |
(pow.f64 (pow.f64 d1 3) 7/3) |
(pow.f64 (pow.f64 d1 7) 1) |
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3) |
(pow.f64 (pow.f64 (pow.f64 d1 7) 2) 1/2) |
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3) |
(pow.f64 (pow.f64 d1 7/2) 2) |
(pow.f64 (E.f64) (log.f64 (pow.f64 d1 7))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 d1 7))) 2)) (cbrt.f64 (log.f64 (pow.f64 d1 7)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (pow.f64 d1 7)))) (sqrt.f64 (log.f64 (pow.f64 d1 7)))) |
(sqrt.f64 (pow.f64 (pow.f64 d1 7) 2)) |
(log.f64 (exp.f64 (pow.f64 d1 7))) |
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 7))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 7))) |
(exp.f64 (log.f64 (pow.f64 d1 7))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 7))) 3)) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (pow.f64 d1 7))) 1/3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 7/2)) 2)) |
(+.f64 0 (pow.f64 d1 4)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4))))) |
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1) |
(pow.f64 d1 4) |
(pow.f64 (pow.f64 d1 2) 2) |
(pow.f64 (pow.f64 d1 3) 4/3) |
(pow.f64 (pow.f64 d1 4) 1) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3) |
(pow.f64 (cbrt.f64 d1) 12) |
(pow.f64 (pow.f64 d1 6) 2/3) |
(pow.f64 (pow.f64 d1 8) 1/2) |
(pow.f64 (pow.f64 d1 12) 1/3) |
(pow.f64 (sqrt.f64 d1) 8) |
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1)))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 4 (log.f64 d1)))) (sqrt.f64 (*.f64 4 (log.f64 d1)))) |
(sqrt.f64 (pow.f64 d1 8)) |
(log.f64 (exp.f64 (pow.f64 d1 4))) |
(cbrt.f64 (pow.f64 d1 12)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 4))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 4))) |
(exp.f64 (*.f64 4 (log.f64 d1))) |
(exp.f64 (*.f64 (log.f64 d1) 4)) |
(exp.f64 (*.f64 (*.f64 2 (log.f64 d1)) 2)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3)) |
(+.f64 0 (pow.f64 d1 5)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5))))) |
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1) |
(pow.f64 d1 5) |
(pow.f64 (pow.f64 d1 2) 5/2) |
(pow.f64 (pow.f64 d1 3) 5/3) |
(pow.f64 (pow.f64 d1 5) 1) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3) |
(pow.f64 (cbrt.f64 d1) 15) |
(pow.f64 (pow.f64 d1 10) 1/2) |
(pow.f64 (pow.f64 d1 15) 1/3) |
(pow.f64 (pow.f64 d1 5/2) 2) |
(pow.f64 (sqrt.f64 d1) 10) |
(pow.f64 (E.f64) (*.f64 5 (log.f64 d1))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 5 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 5 (log.f64 d1)))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 5 (log.f64 d1)))) (sqrt.f64 (*.f64 5 (log.f64 d1)))) |
(sqrt.f64 (pow.f64 d1 10)) |
(log.f64 (exp.f64 (pow.f64 d1 5))) |
(cbrt.f64 (pow.f64 d1 15)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 5))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 5))) |
(exp.f64 (*.f64 5 (log.f64 d1))) |
(exp.f64 (*.f64 (log.f64 d1) 5)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2)) |
| 1× | egg-herbie |
| 1936× | prod-exp |
| 720× | distribute-lft-in |
| 690× | fma-neg |
| 592× | distribute-rgt-in |
| 568× | associate-+r- |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 240 | 17179871382 |
| 1 | 381 | 17179871382 |
| 2 | 588 | 17179871382 |
| 3 | 1266 | 17179871382 |
| 4 | 4119 | 17179871382 |
| 5 | 7440 | 17179871382 |
| 1× | node limit |
| Inputs |
|---|
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(+.f64 0 (pow.f64 d1 3)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3))))) |
(-.f64 (+.f64 1 (pow.f64 d1 3)) 1) |
(pow.f64 d1 3) |
(pow.f64 (pow.f64 d1 2) 3/2) |
(pow.f64 (pow.f64 d1 3) 1) |
(pow.f64 (cbrt.f64 d1) 9) |
(pow.f64 (pow.f64 d1 6) 1/2) |
(pow.f64 (pow.f64 d1 9) 1/3) |
(pow.f64 (pow.f64 d1 3/2) 2) |
(pow.f64 (sqrt.f64 d1) 6) |
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 3)) |
(pow.f64 (exp.f64 3) (log.f64 d1)) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 (log.f64 d1) 3)) 2)) (cbrt.f64 (*.f64 (log.f64 d1) 3))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 3))) (sqrt.f64 (*.f64 (log.f64 d1) 3))) |
(sqrt.f64 (pow.f64 d1 6)) |
(log.f64 (exp.f64 (pow.f64 d1 3))) |
(cbrt.f64 (pow.f64 d1 9)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 3))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 3))) |
(exp.f64 (*.f64 (log.f64 d1) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3)) |
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2)) |
(+.f64 0 (pow.f64 d1 7)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 7))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 7))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 7)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 7))))) |
(-.f64 (+.f64 1 (pow.f64 d1 7)) 1) |
(pow.f64 d1 7) |
(pow.f64 (pow.f64 d1 2) 7/2) |
(pow.f64 (pow.f64 d1 3) 7/3) |
(pow.f64 (pow.f64 d1 7) 1) |
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3) |
(pow.f64 (pow.f64 (pow.f64 d1 7) 2) 1/2) |
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3) |
(pow.f64 (pow.f64 d1 7/2) 2) |
(pow.f64 (E.f64) (log.f64 (pow.f64 d1 7))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 d1 7))) 2)) (cbrt.f64 (log.f64 (pow.f64 d1 7)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (pow.f64 d1 7)))) (sqrt.f64 (log.f64 (pow.f64 d1 7)))) |
(sqrt.f64 (pow.f64 (pow.f64 d1 7) 2)) |
(log.f64 (exp.f64 (pow.f64 d1 7))) |
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 7))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 7))) |
(exp.f64 (log.f64 (pow.f64 d1 7))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 7))) 3)) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (pow.f64 d1 7))) 1/3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 7/2)) 2)) |
(+.f64 0 (pow.f64 d1 4)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4))))) |
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1) |
(pow.f64 d1 4) |
(pow.f64 (pow.f64 d1 2) 2) |
(pow.f64 (pow.f64 d1 3) 4/3) |
(pow.f64 (pow.f64 d1 4) 1) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3) |
(pow.f64 (cbrt.f64 d1) 12) |
(pow.f64 (pow.f64 d1 6) 2/3) |
(pow.f64 (pow.f64 d1 8) 1/2) |
(pow.f64 (pow.f64 d1 12) 1/3) |
(pow.f64 (sqrt.f64 d1) 8) |
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1)))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 4 (log.f64 d1)))) (sqrt.f64 (*.f64 4 (log.f64 d1)))) |
(sqrt.f64 (pow.f64 d1 8)) |
(log.f64 (exp.f64 (pow.f64 d1 4))) |
(cbrt.f64 (pow.f64 d1 12)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 4))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 4))) |
(exp.f64 (*.f64 4 (log.f64 d1))) |
(exp.f64 (*.f64 (log.f64 d1) 4)) |
(exp.f64 (*.f64 (*.f64 2 (log.f64 d1)) 2)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3)) |
(+.f64 0 (pow.f64 d1 5)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5))))) |
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1) |
(pow.f64 d1 5) |
(pow.f64 (pow.f64 d1 2) 5/2) |
(pow.f64 (pow.f64 d1 3) 5/3) |
(pow.f64 (pow.f64 d1 5) 1) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3) |
(pow.f64 (cbrt.f64 d1) 15) |
(pow.f64 (pow.f64 d1 10) 1/2) |
(pow.f64 (pow.f64 d1 15) 1/3) |
(pow.f64 (pow.f64 d1 5/2) 2) |
(pow.f64 (sqrt.f64 d1) 10) |
(pow.f64 (E.f64) (*.f64 5 (log.f64 d1))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 5 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 5 (log.f64 d1)))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 5 (log.f64 d1)))) (sqrt.f64 (*.f64 5 (log.f64 d1)))) |
(sqrt.f64 (pow.f64 d1 10)) |
(log.f64 (exp.f64 (pow.f64 d1 5))) |
(cbrt.f64 (pow.f64 d1 15)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 5))) |
(log1p.f64 (expm1.f64 (pow.f64 d1 5))) |
(exp.f64 (*.f64 5 (log.f64 d1))) |
(exp.f64 (*.f64 (log.f64 d1) 5)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2)) |
| Outputs |
|---|
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(+.f64 0 (pow.f64 d1 3)) |
(pow.f64 d1 3) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3))))) |
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3))))) |
(-.f64 (+.f64 1 (pow.f64 d1 3)) 1) |
(pow.f64 d1 3) |
(pow.f64 d1 3) |
(pow.f64 (pow.f64 d1 2) 3/2) |
(pow.f64 d1 3) |
(pow.f64 (pow.f64 d1 3) 1) |
(pow.f64 d1 3) |
(pow.f64 (cbrt.f64 d1) 9) |
(pow.f64 (pow.f64 d1 6) 1/2) |
(sqrt.f64 (pow.f64 d1 6)) |
(pow.f64 (pow.f64 d1 9) 1/3) |
(cbrt.f64 (pow.f64 d1 9)) |
(pow.f64 (pow.f64 d1 3/2) 2) |
(pow.f64 d1 3) |
(pow.f64 (sqrt.f64 d1) 6) |
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 3)) |
(pow.f64 (E.f64) (*.f64 3 (log.f64 d1))) |
(pow.f64 (exp.f64 3) (log.f64 d1)) |
(pow.f64 d1 3) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 (log.f64 d1) 3)) 2)) (cbrt.f64 (*.f64 (log.f64 d1) 3))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 3 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 3 (log.f64 d1)))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 3))) (sqrt.f64 (*.f64 (log.f64 d1) 3))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 3 (log.f64 d1)))) (sqrt.f64 (*.f64 3 (log.f64 d1)))) |
(sqrt.f64 (pow.f64 d1 6)) |
(log.f64 (exp.f64 (pow.f64 d1 3))) |
(pow.f64 d1 3) |
(cbrt.f64 (pow.f64 d1 9)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 3))) |
(pow.f64 d1 3) |
(log1p.f64 (expm1.f64 (pow.f64 d1 3))) |
(pow.f64 d1 3) |
(exp.f64 (*.f64 (log.f64 d1) 3)) |
(pow.f64 d1 3) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3)) |
(cbrt.f64 (pow.f64 d1 9)) |
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2)) |
(pow.f64 d1 3) |
(+.f64 0 (pow.f64 d1 7)) |
(pow.f64 d1 7) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 7))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 7))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 7)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 7))))) |
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 7))))) |
(-.f64 (+.f64 1 (pow.f64 d1 7)) 1) |
(pow.f64 d1 7) |
(pow.f64 d1 7) |
(pow.f64 (pow.f64 d1 2) 7/2) |
(pow.f64 (pow.f64 d1 3) 7/3) |
(pow.f64 (pow.f64 d1 7) 1) |
(pow.f64 d1 7) |
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3) |
(pow.f64 d1 7) |
(pow.f64 (pow.f64 (pow.f64 d1 7) 2) 1/2) |
(pow.f64 d1 7) |
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3) |
(pow.f64 d1 7) |
(pow.f64 (pow.f64 d1 7/2) 2) |
(pow.f64 d1 7) |
(pow.f64 (E.f64) (log.f64 (pow.f64 d1 7))) |
(pow.f64 d1 7) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 d1 7))) 2)) (cbrt.f64 (log.f64 (pow.f64 d1 7)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (pow.f64 d1 7)))) (sqrt.f64 (log.f64 (pow.f64 d1 7)))) |
(sqrt.f64 (pow.f64 (pow.f64 d1 7) 2)) |
(pow.f64 d1 7) |
(log.f64 (exp.f64 (pow.f64 d1 7))) |
(pow.f64 d1 7) |
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3)) |
(pow.f64 d1 7) |
(expm1.f64 (log1p.f64 (pow.f64 d1 7))) |
(pow.f64 d1 7) |
(log1p.f64 (expm1.f64 (pow.f64 d1 7))) |
(pow.f64 d1 7) |
(exp.f64 (log.f64 (pow.f64 d1 7))) |
(pow.f64 d1 7) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 7))) 3)) |
(pow.f64 d1 7) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (pow.f64 d1 7))) 1/3)) |
(pow.f64 d1 7) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 7/2)) 2)) |
(pow.f64 d1 7) |
(+.f64 0 (pow.f64 d1 4)) |
(pow.f64 d1 4) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4))))) |
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4))))) |
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1) |
(pow.f64 d1 4) |
(pow.f64 d1 4) |
(pow.f64 (pow.f64 d1 2) 2) |
(pow.f64 d1 4) |
(pow.f64 (pow.f64 d1 3) 4/3) |
(pow.f64 (pow.f64 d1 4) 1) |
(pow.f64 d1 4) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3) |
(pow.f64 (cbrt.f64 d1) 12) |
(pow.f64 (pow.f64 d1 6) 2/3) |
(pow.f64 (pow.f64 d1 8) 1/2) |
(sqrt.f64 (pow.f64 d1 8)) |
(pow.f64 (pow.f64 d1 12) 1/3) |
(cbrt.f64 (pow.f64 d1 12)) |
(pow.f64 (sqrt.f64 d1) 8) |
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1)))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 4 (log.f64 d1)))) (sqrt.f64 (*.f64 4 (log.f64 d1)))) |
(sqrt.f64 (pow.f64 d1 8)) |
(log.f64 (exp.f64 (pow.f64 d1 4))) |
(pow.f64 d1 4) |
(cbrt.f64 (pow.f64 d1 12)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 4))) |
(pow.f64 d1 4) |
(log1p.f64 (expm1.f64 (pow.f64 d1 4))) |
(pow.f64 d1 4) |
(exp.f64 (*.f64 4 (log.f64 d1))) |
(pow.f64 d1 4) |
(exp.f64 (*.f64 (log.f64 d1) 4)) |
(pow.f64 d1 4) |
(exp.f64 (*.f64 (*.f64 2 (log.f64 d1)) 2)) |
(pow.f64 d1 4) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3)) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3)) |
(cbrt.f64 (pow.f64 d1 12)) |
(+.f64 0 (pow.f64 d1 5)) |
(pow.f64 d1 5) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5))))) |
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5))))) |
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1) |
(pow.f64 d1 5) |
(pow.f64 d1 5) |
(pow.f64 (pow.f64 d1 2) 5/2) |
(pow.f64 d1 5) |
(pow.f64 (pow.f64 d1 3) 5/3) |
(pow.f64 (pow.f64 d1 5) 1) |
(pow.f64 d1 5) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3) |
(pow.f64 (cbrt.f64 d1) 15) |
(pow.f64 (pow.f64 d1 10) 1/2) |
(sqrt.f64 (pow.f64 d1 10)) |
(pow.f64 (pow.f64 d1 15) 1/3) |
(cbrt.f64 (pow.f64 d1 15)) |
(pow.f64 (pow.f64 d1 5/2) 2) |
(pow.f64 d1 5) |
(pow.f64 (sqrt.f64 d1) 10) |
(pow.f64 (E.f64) (*.f64 5 (log.f64 d1))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 5 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 5 (log.f64 d1)))) |
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 5 (log.f64 d1)))) (sqrt.f64 (*.f64 5 (log.f64 d1)))) |
(sqrt.f64 (pow.f64 d1 10)) |
(log.f64 (exp.f64 (pow.f64 d1 5))) |
(pow.f64 d1 5) |
(cbrt.f64 (pow.f64 d1 15)) |
(expm1.f64 (log1p.f64 (pow.f64 d1 5))) |
(pow.f64 d1 5) |
(log1p.f64 (expm1.f64 (pow.f64 d1 5))) |
(pow.f64 d1 5) |
(exp.f64 (*.f64 5 (log.f64 d1))) |
(pow.f64 d1 5) |
(exp.f64 (*.f64 (log.f64 d1) 5)) |
(pow.f64 d1 5) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3)) |
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3)) |
(cbrt.f64 (pow.f64 d1 15)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2)) |
(pow.f64 d1 5) |
Compiled 1915 to 1078 computations (43.7% saved)
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 110 | 0 | 110 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 0 | 0 |
| Total | 110 | 2 | 112 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (pow.f64 d1 10) |
| ✓ | 99.9% | (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
Compiled 47 to 23 computations (51.1% saved)
| Inputs |
|---|
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
(pow.f64 d1 10) |
| Outputs |
|---|
(pow.f64 d1 10) |
2 calls:
| 3.0ms | d1 |
| 2.0ms | (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | d1 |
| 100.0% | 1 | (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
Compiled 22 to 10 computations (54.5% saved)
Total 0.0b remaining (0%)
Threshold costs 0b (0%)
| Inputs |
|---|
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
| Outputs |
|---|
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
2 calls:
| 2.0ms | d1 |
| 2.0ms | (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
| Accuracy | Segments | Branch |
|---|---|---|
| 99.9% | 1 | d1 |
| 99.9% | 1 | (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
Compiled 22 to 10 computations (54.5% saved)
| 1× | egg-herbie |
| 14× | *-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 95 |
| 1 | 22 | 95 |
| 1× | done |
| 1× | saturated |
| Inputs |
|---|
(pow.f64 d1 10) |
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
| Outputs |
|---|
(pow.f64 d1 10) |
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))))) |
Compiled 24 to 12 computations (50% saved)
| 598× | fma-define |
| 382× | associate-*r* |
| 158× | associate-*l* |
| 116× | distribute-lft-neg-in |
| 108× | distribute-lft-neg-out |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 264 |
| 1 | 86 | 176 |
| 2 | 322 | 104 |
| 3 | 820 | 44 |
| 4 | 989 | 44 |
| 5 | 1328 | 44 |
| 6 | 1329 | 44 |
| 7 | 1329 | 44 |
| 8 | 1329 | 44 |
| 1× | saturated |
Compiled 180 to 28 computations (84.4% saved)
(abs d1)
Compiled 118 to 64 computations (45.8% saved)
Loading profile data...