
Time bar (total: 829.0ms)
| 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 9 to 5 computations (44.4% saved)
ival-mult, time spent: 0.0ms, 0.0% of total-timeconst, time spent: 0.0ms, 0.0% of total-time| 441.0ms | 5167× | 256 | valid |
| 275.0ms | 3088× | 256 | infinite |
| 0.0ms | 1× | 256 | valid |
ival-mult, time spent: 206.0ms, 96.0% of total-timeconst, time spent: 8.0ms, 4.0% of total-time| 1× | egg-herbie |
| 112× | fma-define |
| 34× | distribute-lft-neg-in |
| 32× | associate-*r* |
| 28× | fma-neg |
| 24× | unsub-neg |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 128 |
| 1 | 39 | 80 |
| 2 | 115 | 44 |
| 3 | 205 | 44 |
| 4 | 260 | 44 |
| 5 | 316 | 44 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)) |
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))) |
| Outputs |
|---|
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) |
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64))) |
(pow.f64 d1 #s(literal 4 binary64)) |
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) |
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64))) |
(pow.f64 d1 #s(literal 4 binary64)) |
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) |
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64))) |
(pow.f64 d1 #s(literal 4 binary64)) |
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))) |
(neg.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) |
(*.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 3 binary64))) |
(neg.f64 (pow.f64 d1 #s(literal 4 binary64))) |
(abs d1)
Compiled 21 to 5 computations (76.2% saved)
ival-mult, time spent: 5.0ms, 87.0% of total-timeconst, time spent: 0.0ms, 0.0% of total-timeLoading profile data...