
Time bar (total: 1.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 1 |
| 100% | 50% | 0% | 0% | 0% | 50% | 0% | 2 |
Compiled 6 to 4 computations (33.3% saved)
| 1.1s | 8221× | body | 256 | valid |
| 3.0ms | 35× | body | 256 | infinite |
| 1× | egg-herbie |
| 979× | associate-+r+ |
| 746× | associate-+l- |
| 698× | associate-+r- |
| 640× | associate-+l+ |
| 627× | fma-def |
| 256× | No Errors |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 88 |
| 1 | 26 | 80 |
| 2 | 51 | 80 |
| 3 | 135 | 80 |
| 4 | 480 | 80 |
| 5 | 1246 | 80 |
| 6 | 2287 | 80 |
| 7 | 3680 | 80 |
| 8 | 4199 | 80 |
| 9 | 4469 | 80 |
| 10 | 4713 | 80 |
| 11 | 4925 | 80 |
| 12 | 5015 | 80 |
| 13 | 5015 | 80 |
| 14 | 5343 | 80 |
| 15 | 5559 | 80 |
| 16 | 5597 | 80 |
| 17 | 5605 | 80 |
| 18 | 5613 | 80 |
| 19 | 5613 | 80 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 x (log.f64 x)) |
(*.f64 x (log.f64 x)) |
(*.f64 (neg.f64 x) (log.f64 (neg.f64 x))) |
(neg.f64 (*.f64 (neg.f64 x) (log.f64 (neg.f64 x)))) |
| Outputs |
|---|
(*.f64 x (log.f64 x)) |
(*.f64 x (log.f64 x)) |
(*.f64 (neg.f64 x) (log.f64 (neg.f64 x))) |
(*.f64 x (neg.f64 (log.f64 (neg.f64 x)))) |
(neg.f64 (*.f64 (neg.f64 x) (log.f64 (neg.f64 x)))) |
(*.f64 (neg.f64 (neg.f64 x)) (log.f64 (neg.f64 x))) |
(*.f64 x (log.f64 (neg.f64 x))) |
Compiled 9 to 4 computations (55.6% saved)
Loading profile data...