exp-w (used to crash)
Time bar (total: 6.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 50% | 50% | 50% | 0.1% | 0% | 0% | 0% | 3 |
| 50% | 50% | 50% | 0.1% | 0% | 0% | 0% | 4 |
| 50% | 50% | 50% | 0.1% | 0% | 0% | 0% | 5 |
| 51.6% | 50% | 46.8% | 0.1% | 0% | 0% | 3.1% | 6 |
| 51.6% | 50% | 46.8% | 0.1% | 0% | 0% | 3.1% | 7 |
| 52.5% | 50% | 45.3% | 0.1% | 0% | 0% | 4.7% | 8 |
| 52.5% | 50% | 45.3% | 0.1% | 0% | 0% | 4.7% | 9 |
| 53.7% | 50% | 43.1% | 0.1% | 0% | 1.4% | 5.5% | 10 |
| 53.7% | 50% | 43% | 0.1% | 0% | 1.5% | 5.5% | 11 |
| 54% | 50% | 42.6% | 0.1% | 0% | 1.5% | 5.9% | 12 |
Compiled 11 to 8 computations (27.3% saved)
| 3.6s | 3323× | body | 8192 | exit |
| 788.0ms | 2321× | body | 1024 | invalid |
| 742.0ms | 5891× | body | 256 | valid |
| 268.0ms | 940× | body | 256 | invalid |
| 247.0ms | 2365× | body | 256 | infinite |
| 219.0ms | 1154× | body | 512 | invalid |
| 134.0ms | 1149× | body | 256 | unsamplable |
| 3.0ms | 1× | body | 8192 | invalid |
| 0.0ms | 1× | body | 2048 | invalid |
| 1× | egg-herbie |
| 418× | fma-def |
| 407× | *-commutative |
| 390× | distribute-lft-neg-in |
| 384× | distribute-rgt-neg-in |
| 374× | distribute-lft-in |
| 251× | No Errors |
| 5× | (pow.f64 l (exp.f64 w)) |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 254 |
| 1 | 70 | 252 |
| 2 | 183 | 234 |
| 3 | 514 | 234 |
| 4 | 2300 | 234 |
| 5 | 4832 | 234 |
| 6 | 7320 | 234 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w))) |
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w))) |
(*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w)))) |
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w))) |
(neg.f64 (*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w))))) |
(neg.f64 (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w)))) |
(*.f64 (exp.f64 (neg.f64 l)) (pow.f64 w (exp.f64 l))) |
| Outputs |
|---|
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w))) |
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w))) |
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
(*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w)))) |
(*.f64 (exp.f64 w) (pow.f64 l (exp.f64 (neg.f64 w)))) |
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w))) |
(/.f64 (pow.f64 (neg.f64 l) (exp.f64 w)) (exp.f64 w)) |
(neg.f64 (*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w))))) |
(*.f64 (neg.f64 (exp.f64 w)) (pow.f64 l (exp.f64 (neg.f64 w)))) |
(*.f64 (exp.f64 w) (neg.f64 (pow.f64 l (exp.f64 (neg.f64 w))))) |
(*.f64 (pow.f64 l (exp.f64 (neg.f64 w))) (neg.f64 (exp.f64 w))) |
(neg.f64 (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w)))) |
(*.f64 (exp.f64 (neg.f64 w)) (neg.f64 (pow.f64 (neg.f64 l) (exp.f64 w)))) |
(*.f64 (pow.f64 (neg.f64 l) (exp.f64 w)) (/.f64 -1 (exp.f64 w))) |
(/.f64 (neg.f64 (pow.f64 (neg.f64 l) (exp.f64 w))) (exp.f64 w)) |
(/.f64 (pow.f64 (neg.f64 l) (exp.f64 w)) (neg.f64 (exp.f64 w))) |
(*.f64 (exp.f64 (neg.f64 l)) (pow.f64 w (exp.f64 l))) |
(/.f64 (pow.f64 w (exp.f64 l)) (exp.f64 l)) |
Compiled 24 to 8 computations (66.7% saved)
Loading profile data...