Main:bigenough1 from B
Time bar (total: 767.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 7 to 4 computations (42.9% saved)
ival-add, time spent: 0.0ms, 0.0% of total-timeival-mult, time spent: 0.0ms, 0.0% of total-timeconst, time spent: 0.0ms, 0.0% of total-time| 466.0ms | 6173× | 256 | valid |
| 186.0ms | 2082× | 256 | infinite |
| 0.0ms | 1× | 256 | valid |
ival-mult, time spent: 74.0ms, 53.0% of total-timeival-add, time spent: 55.0ms, 40.0% of total-timeconst, time spent: 9.0ms, 7.0% of total-time| 1× | egg-herbie |
| 216× | fma-define |
| 208× | fma-neg |
| 50× | associate-*r* |
| 50× | unsub-neg |
| 42× | distribute-lft-neg-in |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 94 |
| 1 | 33 | 76 |
| 2 | 99 | 74 |
| 3 | 304 | 74 |
| 4 | 503 | 74 |
| 5 | 617 | 74 |
| 6 | 622 | 74 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 x (*.f64 x x)) |
(+.f64 x (*.f64 x x)) |
(+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x))) |
(neg.f64 (+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x)))) |
| Outputs |
|---|
(+.f64 x (*.f64 x x)) |
(*.f64 (+.f64 x #s(literal 1 binary64)) x) |
(fma.f64 x x x) |
(+.f64 x (*.f64 x x)) |
(*.f64 (+.f64 x #s(literal 1 binary64)) x) |
(fma.f64 x x x) |
(+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x))) |
(+.f64 (neg.f64 x) (*.f64 x x)) |
(*.f64 x (+.f64 #s(literal -1 binary64) x)) |
(*.f64 x (+.f64 x #s(literal -1 binary64))) |
(neg.f64 (+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x)))) |
(neg.f64 (+.f64 (neg.f64 x) (*.f64 x x))) |
(*.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64)) x) |
(*.f64 x (-.f64 #s(literal 1 binary64) x)) |
Compiled 13 to 4 computations (69.2% saved)
ival-add, time spent: 2.0ms, 49.0% of total-timeival-mult, time spent: 2.0ms, 49.0% of total-timeconst, time spent: 0.0ms, 0.0% of total-timeLoading profile data...