
Time bar (total: 678.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 6 computations (14.3% saved)
| 604.0ms | 8256× | body | 256 | valid |
| 1× | egg-herbie |
| 37× | fma-def |
| 12× | *-commutative |
| 12× | +-commutative |
| 11× | associate--r+ |
| 9× | associate-+l- |
| 256× | No Errors |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 52 |
| 1 | 30 | 40 |
| 2 | 58 | 40 |
| 3 | 97 | 40 |
| 4 | 141 | 40 |
| 5 | 167 | 40 |
| 6 | 174 | 40 |
| 7 | 180 | 40 |
| 8 | 184 | 40 |
| 9 | 185 | 40 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 x (/.f64 1 3)) |
(+.f64 x (/.f64 1 3)) |
(+.f64 (neg.f64 x) (/.f64 1 3)) |
(neg.f64 (+.f64 (neg.f64 x) (/.f64 1 3))) |
| Outputs |
|---|
(+.f64 x (/.f64 1 3)) |
(+.f64 x 1/3) |
(+.f64 x (/.f64 1 3)) |
(+.f64 x 1/3) |
(+.f64 (neg.f64 x) (/.f64 1 3)) |
(+.f64 1/3 (neg.f64 x)) |
(-.f64 1/3 x) |
(neg.f64 (+.f64 (neg.f64 x) (/.f64 1 3))) |
(+.f64 (neg.f64 (neg.f64 x)) -1/3) |
(+.f64 x -1/3) |
Compiled 13 to 11 computations (15.4% saved)
Loading profile data...