FastMath repmul
Time bar (total: 4.8s)
| 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 18 to 10 computations (44.4% saved)
| 444.0ms | 8256× | 0 | valid-sollya |
| 353.0ms | 8256× | 0 | valid-rival-baseline |
| 438.0ms | 8256× | 0 | valid-rival |
| 1× | egg-herbie |
| 56× | fma-define |
| 17× | distribute-lft-neg-in |
| 16× | associate-*r* |
| 14× | fma-neg |
| 12× | unsub-neg |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 128 |
| 1 | 39 | 80 |
| 2 | 115 | 44 |
| 3 | 205 | 44 |
| 4 | 260 | 44 |
| 5 | 316 | 44 |
| 1× | saturated |
| 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 d1 (*.f64 d1 (*.f64 d1 d1))) |
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64))) |
(pow.f64 d1 #s(literal 4 binary64)) |
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) |
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64))) |
(pow.f64 d1 #s(literal 4 binary64)) |
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) |
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64))) |
(pow.f64 d1 #s(literal 4 binary64)) |
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))) |
(neg.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) |
(*.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 3 binary64))) |
(neg.f64 (pow.f64 d1 #s(literal 4 binary64))) |
(abs d1)
Compiled 8 to 4 computations (50% saved)
Compiled 1 to 1 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 99.9% | (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
Compiled 16 to 8 computations (50% saved)
| 1× | egg-herbie |
| 2× | *-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 31 |
| 1 | 10 | 31 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
| Outputs |
|---|
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1) |
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) |
| 1× | fuel |
Compiled 8 to 4 computations (50% saved)
(abs d1)
Compiled 72 to 38 computations (47.2% saved)
Loading profile data...