Bouland and Aaronson, Equation (25)
Time bar (total: 2.1s)
| 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 33 to 20 computations (39.4% saved)
| 1.1s | 8 256× | 0 | valid |
ival-mult: 551.0ms (62.8% of total)ival-add: 153.0ms (17.4% of total)ival-pow2: 79.0ms (9% of total)ival-sub: 75.0ms (8.5% of total)exact: 11.0ms (1.3% of total)ival-true: 5.0ms (0.6% of total)ival-assert: 3.0ms (0.3% of total)| 2× | egg-herbie |
| 21 268× | accelerator-lowering-fma.f32 |
| 21 268× | accelerator-lowering-fma.f64 |
| 4 248× | --lowering--.f32 |
| 4 248× | --lowering--.f64 |
| 3 998× | +-lowering-+.f64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 54 | 190 |
| 1 | 192 | 188 |
| 2 | 706 | 186 |
| 3 | 2940 | 186 |
| 4 | 6753 | 186 |
| 0 | 19 | 31 |
| 1 | 57 | 31 |
| 2 | 175 | 31 |
| 3 | 580 | 31 |
| 4 | 1944 | 31 |
| 5 | 3471 | 31 |
| 0 | 8055 | 26 |
| 1× | iter limit |
| 1× | node limit |
| 1× | node limit |
| Inputs |
|---|
(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))) 1) |
| Outputs |
|---|
(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))) 1) |
(fma.f64 (fma.f64 b b #s(literal 0 binary64)) (+.f64 (fma.f64 a a (fma.f64 b b #s(literal 0 binary64))) (fma.f64 a #s(literal -12 binary64) #s(literal 4 binary64))) (fma.f64 (fma.f64 a a #s(literal 0 binary64)) (fma.f64 a a (fma.f64 b b (fma.f64 a #s(literal 4 binary64) #s(literal 4 binary64)))) #s(literal -1 binary64))) |
| Inputs |
|---|
(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))) 1) |
(- (+ (pow (+ (* (neg a) (neg a)) (* b b)) 2) (* 4 (+ (* (* (neg a) (neg a)) (+ 1 (neg a))) (* (* b b) (- 1 (* 3 (neg a))))))) 1) |
(- (+ (pow (+ (* a a) (* (neg b) (neg b))) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* (neg b) (neg b)) (- 1 (* 3 a)))))) 1) |
(neg (- (+ (pow (+ (* (neg a) (neg a)) (* b b)) 2) (* 4 (+ (* (* (neg a) (neg a)) (+ 1 (neg a))) (* (* b b) (- 1 (* 3 (neg a))))))) 1)) |
(neg (- (+ (pow (+ (* a a) (* (neg b) (neg b))) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* (neg b) (neg b)) (- 1 (* 3 a)))))) 1)) |
(- (+ (pow (+ (* b b) (* a a)) 2) (* 4 (+ (* (* b b) (+ 1 b)) (* (* a a) (- 1 (* 3 b)))))) 1) |
| Outputs |
|---|
(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))) 1) |
(+ (* 4 (+ (+ (* a a) (pow a 3)) (* (* b b) (+ 1 (* a -3))))) (+ (pow (+ (* a a) (* b b)) 2) -1)) |
(- (+ (pow (+ (* (neg a) (neg a)) (* b b)) 2) (* 4 (+ (* (* (neg a) (neg a)) (+ 1 (neg a))) (* (* b b) (- 1 (* 3 (neg a))))))) 1) |
(+ (* 4 (+ (- (* a a) (pow a 3)) (* b (* b (+ 1 (* a 3)))))) (+ (pow (+ (* a a) (* b b)) 2) -1)) |
(- (+ (pow (+ (* a a) (* (neg b) (neg b))) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* (neg b) (neg b)) (- 1 (* 3 a)))))) 1) |
(+ (* 4 (+ (+ (* a a) (pow a 3)) (* (* b b) (+ 1 (* a -3))))) (+ (pow (+ (* a a) (* b b)) 2) -1)) |
(neg (- (+ (pow (+ (* (neg a) (neg a)) (* b b)) 2) (* 4 (+ (* (* (neg a) (neg a)) (+ 1 (neg a))) (* (* b b) (- 1 (* 3 (neg a))))))) 1)) |
(+ (* 4 (- (pow a 3) (+ (* a a) (* b (* b (+ 1 (* a 3))))))) (- 1 (pow (+ (* a a) (* b b)) 2))) |
(neg (- (+ (pow (+ (* a a) (* (neg b) (neg b))) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* (neg b) (neg b)) (- 1 (* 3 a)))))) 1)) |
(+ (* 4 (+ (* (* a a) (- -1 a)) (* (* b b) (+ (* a 3) -1)))) (- 1 (pow (+ (* a a) (* b b)) 2))) |
(- (+ (pow (+ (* b b) (* a a)) 2) (* 4 (+ (* (* b b) (+ 1 b)) (* (* a a) (- 1 (* 3 b)))))) 1) |
(+ (* 4 (+ (* a a) (+ (* b (+ (* (* a a) -3) b)) (pow b 3)))) (+ (pow (+ (* a a) (* b b)) 2) -1)) |
(abs b)
| 0.0ms | 3× | 0 | valid |
Compiled 153 to 21 computations (86.3% 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)ival-pow2: 0.0ms (0% of total)Loading profile data...