
Time bar (total: 740.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)
| 405.0ms | 5533× | body | 256 | valid |
| 176.0ms | 2723× | body | 256 | infinite |
| 1× | egg-herbie |
| 530× | fma-def |
| 510× | distribute-lft-in |
| 477× | distribute-lft-neg-in |
| 372× | +-commutative |
| 326× | *-commutative |
| 256× | No Errors |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 92 |
| 1 | 31 | 44 |
| 2 | 75 | 44 |
| 3 | 134 | 44 |
| 4 | 265 | 44 |
| 5 | 447 | 44 |
| 6 | 828 | 44 |
| 7 | 1140 | 44 |
| 8 | 1786 | 44 |
| 9 | 3089 | 44 |
| 10 | 5344 | 44 |
| 11 | 7330 | 44 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (*.f64 x x) x) |
(*.f64 (*.f64 x x) x) |
(*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)) |
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))) |
| Outputs |
|---|
(*.f64 (*.f64 x x) x) |
(*.f64 x (*.f64 x x)) |
(pow.f64 x 3) |
(*.f64 (*.f64 x x) x) |
(*.f64 x (*.f64 x x)) |
(pow.f64 x 3) |
(*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)) |
(*.f64 (neg.f64 x) (*.f64 x x)) |
(pow.f64 (neg.f64 x) 3) |
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))) |
(*.f64 x (*.f64 x x)) |
(pow.f64 x 3) |
(negabs x)
Compiled 11 to 4 computations (63.6% saved)
Loading profile data...