FastMath repmul
Time bar (total: 833.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 9 to 5 computations (44.4% saved)
| 396.0ms | 5158× | body | 256 | valid |
| 214.0ms | 3098× | body | 256 | infinite |
| 1× | egg-herbie |
| 631× | fma-neg |
| 533× | unswap-sqr |
| 474× | associate-*r* |
| 426× | associate-+l- |
| 362× | +-commutative |
| 256× | No Errors |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 128 |
| 1 | 40 | 80 |
| 2 | 107 | 44 |
| 3 | 187 | 44 |
| 4 | 405 | 44 |
| 5 | 833 | 44 |
| 6 | 1806 | 44 |
| 7 | 3126 | 44 |
| 8 | 4828 | 44 |
| 9 | 5833 | 44 |
| 10 | 6869 | 44 |
| 11 | 7408 | 44 |
| 12 | 7992 | 44 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)) |
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))) |
| Outputs |
|---|
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) |
(*.f64 d1 (pow.f64 d1 3)) |
(pow.f64 d1 4) |
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) |
(*.f64 d1 (pow.f64 d1 3)) |
(pow.f64 d1 4) |
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)) |
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) |
(*.f64 d1 (pow.f64 d1 3)) |
(pow.f64 d1 4) |
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))) |
(neg.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) |
(*.f64 (pow.f64 d1 3) (neg.f64 d1)) |
(neg.f64 (pow.f64 d1 4)) |
(abs d1)
Compiled 18 to 5 computations (72.2% saved)
Loading profile data...