Beckmann Distribution sample, tan2theta, alphax == alphay
Time bar (total: 2.3s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0.2% | 99.8% | 0% | 0% | 0% | 0 |
| 0% | 0% | 0.2% | 99.8% | 0% | 0% | 0% | 1 |
| 0% | 0% | 0.2% | 99.8% | 0% | 0% | 0% | 2 |
| 50% | 0.1% | 0.1% | 99.8% | 0% | 0% | 0% | 3 |
| 50% | 0.1% | 0.1% | 99.8% | 0% | 0% | 0% | 4 |
| 75% | 0.1% | 0% | 99.8% | 0% | 0% | 0% | 5 |
| 75% | 0.1% | 0% | 99.8% | 0% | 0% | 0% | 6 |
| 87.5% | 0.1% | 0% | 99.8% | 0% | 0% | 0% | 7 |
| 87.5% | 0.1% | 0% | 99.8% | 0% | 0% | 0% | 8 |
| 93.8% | 0.2% | 0% | 99.8% | 0% | 0% | 0% | 9 |
| 93.8% | 0.2% | 0% | 99.8% | 0% | 0% | 0% | 10 |
| 96.9% | 0.2% | 0% | 99.8% | 0% | 0% | 0% | 11 |
| 96.9% | 0.2% | 0% | 99.8% | 0% | 0% | 0% | 12 |
Compiled 26 to 19 computations (26.9% saved)
| 1.8s | 8256× | body | 256 | valid |
| 1× | egg-herbie |
| 1480× | fma-def |
| 1070× | associate-+r+ |
| 1042× | *-commutative |
| 912× | associate-+r- |
| 912× | associate-+l+ |
| 231× | (log.f32 (-.f32 1 u0)) |
| 25× | No Errors |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 27 | 268 |
| 1 | 81 | 222 |
| 2 | 186 | 222 |
| 3 | 413 | 222 |
| 4 | 1220 | 222 |
| 5 | 1625 | 222 |
| 6 | 1705 | 222 |
| 7 | 1925 | 222 |
| 8 | 3201 | 222 |
| 9 | 5038 | 222 |
| 10 | 6190 | 222 |
| 11 | 6702 | 222 |
| 12 | 7013 | 222 |
| 13 | 7140 | 222 |
| 14 | 7190 | 222 |
| 15 | 7208 | 222 |
| 16 | 7208 | 222 |
| 17 | 7245 | 222 |
| 18 | 7269 | 222 |
| 19 | 7269 | 222 |
| 20 | 7269 | 222 |
| 1× | node limit |
| Inputs |
|---|
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0))) |
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0))) |
(*.f32 (*.f32 (neg.f32 (neg.f32 alpha)) (neg.f32 alpha)) (log.f32 (-.f32 1 u0))) |
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 (neg.f32 u0)))) |
(neg.f32 (*.f32 (*.f32 (neg.f32 (neg.f32 alpha)) (neg.f32 alpha)) (log.f32 (-.f32 1 u0)))) |
(neg.f32 (*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 (neg.f32 u0))))) |
(*.f32 (*.f32 (neg.f32 u0) u0) (log.f32 (-.f32 1 alpha))) |
| Outputs |
|---|
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0))) |
(*.f32 alpha (*.f32 (neg.f32 alpha) (log.f32 (-.f32 1 u0)))) |
(*.f32 alpha (*.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))) |
(*.f32 alpha (*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))) |
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0))) |
(*.f32 alpha (*.f32 (neg.f32 alpha) (log.f32 (-.f32 1 u0)))) |
(*.f32 alpha (*.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))) |
(*.f32 alpha (*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))) |
(*.f32 (*.f32 (neg.f32 (neg.f32 alpha)) (neg.f32 alpha)) (log.f32 (-.f32 1 u0))) |
(*.f32 alpha (*.f32 (neg.f32 alpha) (log.f32 (-.f32 1 u0)))) |
(*.f32 alpha (*.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))) |
(*.f32 alpha (*.f32 alpha (neg.f32 (log1p.f32 (neg.f32 u0))))) |
(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 (neg.f32 u0)))) |
(*.f32 (*.f32 alpha (neg.f32 alpha)) (log.f32 (-.f32 1 (neg.f32 u0)))) |
(*.f32 alpha (*.f32 (neg.f32 alpha) (log1p.f32 u0))) |
(*.f32 (neg.f32 alpha) (*.f32 alpha (log1p.f32 u0))) |
(neg.f32 (*.f32 (*.f32 (neg.f32 (neg.f32 alpha)) (neg.f32 alpha)) (log.f32 (-.f32 1 u0)))) |
(*.f32 (*.f32 alpha (neg.f32 alpha)) (neg.f32 (log.f32 (-.f32 1 u0)))) |
(*.f32 alpha (*.f32 alpha (log1p.f32 (neg.f32 u0)))) |
(neg.f32 (*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 (neg.f32 u0))))) |
(*.f32 (*.f32 alpha (neg.f32 alpha)) (neg.f32 (log.f32 (-.f32 1 (neg.f32 u0))))) |
(*.f32 alpha (*.f32 alpha (log1p.f32 u0))) |
(*.f32 (*.f32 (neg.f32 u0) u0) (log.f32 (-.f32 1 alpha))) |
(*.f32 (neg.f32 u0) (*.f32 u0 (log.f32 (-.f32 1 alpha)))) |
(*.f32 (neg.f32 u0) (*.f32 u0 (log1p.f32 (neg.f32 alpha)))) |
(*.f32 u0 (*.f32 (neg.f32 u0) (log1p.f32 (neg.f32 alpha)))) |
(abs alpha)
Compiled 28 to 15 computations (46.4% saved)
Loading profile data...