
Time bar (total: 2.1s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 0 |
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 1 |
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 2 |
| 50% | 0.8% | 0.8% | 98.5% | 0% | 0% | 0% | 3 |
| 50% | 0.8% | 0.8% | 98.5% | 0% | 0% | 0% | 4 |
| 75% | 1.2% | 0.4% | 98.5% | 0% | 0% | 0% | 5 |
| 75% | 1.2% | 0.4% | 98.5% | 0% | 0% | 0% | 6 |
| 87.5% | 1.4% | 0.2% | 98.5% | 0% | 0% | 0% | 7 |
| 87.5% | 1.4% | 0.2% | 98.5% | 0% | 0% | 0% | 8 |
| 93.8% | 1.4% | 0.1% | 98.5% | 0% | 0% | 0% | 9 |
| 93.8% | 1.4% | 0.1% | 98.5% | 0% | 0% | 0% | 10 |
| 96.9% | 1.5% | 0% | 98.5% | 0% | 0% | 0% | 11 |
| 96.9% | 1.5% | 0% | 98.5% | 0% | 0% | 0% | 12 |
Compiled 27 to 21 computations (22.2% saved)
| 1.6s | 8256× | body | 256 | valid |
| 1× | egg-herbie |
| 2806× | fma-neg |
| 2526× | associate-+r+ |
| 1214× | fma-def |
| 1048× | distribute-lft-in |
| 792× | distribute-rgt-in |
| 226× | (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))) |
| 30× | No Errors |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 247 |
| 1 | 83 | 181 |
| 2 | 169 | 181 |
| 3 | 319 | 181 |
| 4 | 614 | 181 |
| 5 | 860 | 181 |
| 6 | 933 | 181 |
| 7 | 1069 | 181 |
| 8 | 1875 | 181 |
| 9 | 4095 | 181 |
| 10 | 4747 | 181 |
| 11 | 4928 | 181 |
| 12 | 5201 | 181 |
| 13 | 5353 | 181 |
| 14 | 5371 | 181 |
| 15 | 5896 | 181 |
| 16 | 7220 | 181 |
| 17 | 7304 | 181 |
| 18 | 7370 | 181 |
| 19 | 7414 | 181 |
| 20 | 7414 | 181 |
| 21 | 7502 | 181 |
| 22 | 7856 | 181 |
| 23 | 7856 | 181 |
| 1× | node limit |
| Inputs |
|---|
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))) |
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))) |
(*.f32 (neg.f32 s) (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))) |
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 (neg.f32 u)))))) |
(neg.f32 (*.f32 (neg.f32 s) (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))) |
(neg.f32 (*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 (neg.f32 u))))))) |
(*.f32 u (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 s))))) |
| Outputs |
|---|
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))) |
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u))))) |
(*.f32 s (neg.f32 (log1p.f32 (*.f32 u -4)))) |
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))) |
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u))))) |
(*.f32 s (neg.f32 (log1p.f32 (*.f32 u -4)))) |
(*.f32 (neg.f32 s) (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))) |
(*.f32 (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u)))) (neg.f32 s)) |
(*.f32 s (log1p.f32 (*.f32 u -4))) |
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 (neg.f32 u)))))) |
(*.f32 s (neg.f32 (log.f32 (+.f32 1 (*.f32 -4 (neg.f32 u)))))) |
(*.f32 s (neg.f32 (log1p.f32 (*.f32 4 u)))) |
(neg.f32 (*.f32 (neg.f32 s) (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))) |
(*.f32 s (neg.f32 (log.f32 (-.f32 1 (*.f32 4 u))))) |
(*.f32 s (neg.f32 (log1p.f32 (*.f32 u -4)))) |
(neg.f32 (*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 (neg.f32 u))))))) |
(*.f32 s (neg.f32 (neg.f32 (log.f32 (+.f32 1 (*.f32 -4 (neg.f32 u))))))) |
(*.f32 s (log1p.f32 (*.f32 4 u))) |
(*.f32 u (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 s))))) |
(*.f32 u (neg.f32 (log.f32 (+.f32 1 (*.f32 -4 s))))) |
(*.f32 u (neg.f32 (log1p.f32 (*.f32 s -4)))) |
(*.f32 (neg.f32 u) (log1p.f32 (*.f32 s -4))) |
(negabs s)
Compiled 40 to 32 computations (20% saved)
Loading profile data...