simple fma test
Time bar (total: 2.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 14 to 10 computations (28.6% saved)
| 646.0ms | 6 135× | 1 | valid |
| 105.0ms | 2 121× | 0 | valid |
ival-add: 193.0ms (40.4% of total)ival-mult: 104.0ms (21.8% of total)adjust: 89.0ms (18.6% of total)ival-sub: 75.0ms (15.7% of total)exact: 8.0ms (1.7% of total)ival-true: 6.0ms (1.3% of total)ival-assert: 3.0ms (0.6% of total)| 2× | egg-herbie |
| 23 408× | accelerator-lowering-fma.f32 |
| 23 408× | accelerator-lowering-fma.f64 |
| 4 272× | +-lowering-+.f64 |
| 4 272× | +-lowering-+.f32 |
| 2 324× | distribute-lft-in |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 133 |
| 1 | 123 | 129 |
| 2 | 334 | 126 |
| 3 | 1142 | 126 |
| 4 | 3336 | 126 |
| 5 | 4421 | 126 |
| 6 | 5060 | 126 |
| 7 | 5644 | 126 |
| 8 | 5794 | 126 |
| 9 | 5800 | 126 |
| 10 | 5800 | 126 |
| 11 | 5808 | 126 |
| 12 | 5808 | 126 |
| 13 | 6174 | 126 |
| 0 | 8 | 13 |
| 1 | 21 | 13 |
| 2 | 64 | 1 |
| 3 | 227 | 1 |
| 4 | 537 | 1 |
| 5 | 1922 | 1 |
| 6 | 3449 | 1 |
| 7 | 4632 | 1 |
| 8 | 5213 | 1 |
| 9 | 5343 | 1 |
| 10 | 5375 | 1 |
| 11 | 5375 | 1 |
| 12 | 5643 | 1 |
| 13 | 5816 | 1 |
| 14 | 5892 | 1 |
| 15 | 5908 | 1 |
| 16 | 5908 | 1 |
| 17 | 5924 | 1 |
| 18 | 5924 | 1 |
| 19 | 6052 | 1 |
| 20 | 6821 | 1 |
| 0 | 8593 | 1 |
| 1× | iter limit |
| 1× | node limit |
| 1× | saturated |
| Inputs |
|---|
(- (+ (* x y) z) (+ 1 (+ (* x y) z))) |
| Outputs |
|---|
(- (+ (* x y) z) (+ 1 (+ (* x y) z))) |
#s(literal -1 binary64) |
| Inputs |
|---|
(- (fma x y z) (+ 1 (+ (* x y) z))) |
(- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z))) |
(- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z))) |
(- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z)))) |
(neg (- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z)))) |
(neg (- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z)))) |
(neg (- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z))))) |
(- (fma y x z) (+ 1 (+ (* y x) z))) |
(- (fma z y x) (+ 1 (+ (* z y) x))) |
(- (fma x z y) (+ 1 (+ (* x z) y))) |
| Outputs |
|---|
(- (fma x y z) (+ 1 (+ (* x y) z))) |
(+ (fma x y z) (- -1 (+ z (* x y)))) |
(- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z))) |
(+ (- (* x y) z) (+ (fma (neg x) y z) -1)) |
(- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z))) |
(+ (* x y) (+ (fma x (neg y) z) (- -1 z))) |
(- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z)))) |
(+ (fma x y (neg z)) (+ z (- -1 (* x y)))) |
(neg (- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z)))) |
(+ (- z (* x y)) (- 1 (fma (neg x) y z))) |
(neg (- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z)))) |
(- (- z (+ (* x y) -1)) (fma x (neg y) z)) |
(neg (- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z))))) |
(+ (- 1 z) (- (* x y) (fma x y (neg z)))) |
(- (fma y x z) (+ 1 (+ (* y x) z))) |
(+ (fma y x z) (- -1 (+ z (* x y)))) |
(- (fma z y x) (+ 1 (+ (* z y) x))) |
(+ (fma z y x) (- (- -1 x) (* y z))) |
(- (fma x z y) (+ 1 (+ (* x z) y))) |
(+ (fma x z y) (- (- -1 (* x z)) y)) |
| 0.0ms | 2× | 0 | valid |
Compiled 37 to 10 computations (73% saved)
ival-sub: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)ival-add: 0.0ms (0% of total)ival-mult: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...