Time bar (total: 7.2s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.7% | 0.3% | 0 |
| 0% | 99.7% | 0.3% | 1 |
| 0% | 99.7% | 0.3% | 2 |
| 0% | 99.7% | 0.3% | 3 |
| 0% | 99.7% | 0.3% | 4 |
| 0% | 99.7% | 0.3% | 5 |
| 0% | 99.7% | 0.3% | 6 |
| 0% | 99.7% | 0.3% | 7 |
| 0% | 99.7% | 0.3% | 8 |
| 0% | 99.7% | 0.3% | 9 |
| 0% | 99.7% | 0.3% | 10 |
| 0% | 99.7% | 0.3% | 11 |
| 0% | 99.7% | 0.3% | 12 |
| 0% | 99.7% | 0.3% | 13 |
| 0% | 99.7% | 0.3% | 14 |
Compiled 27 to 19 computations (29.6% saved)
| 1.4s | 8256× | body | 128 | valid |
| 778.0ms | 4890× | body | 128 | invalid |
Compiled 54 to 38 computations (29.6% saved)
| 2× | egg-herbie |
| 1024× | fma-neg_binary64 |
| 531× | fma-def_binary64 |
| 420× | cancel-sign-sub-inv_binary64 |
| 298× | associate-*r*_binary64 |
| 288× | associate-*l*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 141 | 616 |
| 1 | 485 | 616 |
| 2 | 1566 | 528 |
| 3 | 4974 | 528 |
| 0 | 7 | 7 |
| 1 | 7 | 7 |
| 1× | unsound |
| 1× | node limit |
| Inputs |
|---|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
| Outputs |
|---|
0 |
1 |
0 |
2 |
3 |
4 |
3 |
5 |
6 |
| Inputs |
|---|
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 y 9) x) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 z 9) y) (*.f64 (*.f64 (*.f64 x 4) t) a)) b) (*.f64 x c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 t 9) y) (*.f64 (*.f64 (*.f64 z 4) x) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 a 9) y) (*.f64 (*.f64 (*.f64 z 4) t) x)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 b 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) x) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 c 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z x)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) z) (*.f64 (*.f64 (*.f64 y 4) t) a)) b) (*.f64 y c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) t) (*.f64 (*.f64 (*.f64 z 4) y) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) a) (*.f64 (*.f64 (*.f64 z 4) t) y)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) b) (*.f64 (*.f64 (*.f64 z 4) t) a)) y) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) c) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z y)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 t 4) z) a)) b) (*.f64 t c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 a 4) t) z)) b) (*.f64 a c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 b 4) t) a)) z) (*.f64 b c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 c 4) t) a)) b) (*.f64 c z)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) a) t)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) b) a)) t) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) c) a)) b) (*.f64 z t)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) b)) a) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) c)) b) (*.f64 z a)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) c) (*.f64 z b)) |
| Outputs |
|---|
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z (*.f64 4 t)) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 a)))) b) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 z (*.f64 t (*.f64 a -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 y 9) x) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z (*.f64 4 t)) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 a)))) b) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 z (*.f64 t (*.f64 a -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 z 9) y) (*.f64 (*.f64 (*.f64 x 4) t) a)) b) (*.f64 x c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 9 z)) (*.f64 a (*.f64 t (*.f64 x 4))))) (*.f64 x c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 9 (*.f64 y z)) (*.f64 x (*.f64 t (*.f64 4 a))))) (*.f64 x c)) |
(/.f64 (fma.f64 9 (*.f64 y z) (fma.f64 a (*.f64 t (*.f64 x -4)) b)) (*.f64 x c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 t 9) y) (*.f64 (*.f64 (*.f64 z 4) x) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 9 t)) (*.f64 (*.f64 z 4) (*.f64 x a)))) (*.f64 z c)) |
(/.f64 (-.f64 (*.f64 9 (*.f64 y t)) (fma.f64 (*.f64 z 4) (*.f64 x a) (neg.f64 b))) (*.f64 z c)) |
(/.f64 (fma.f64 9 (*.f64 y t) (fma.f64 a (*.f64 x (*.f64 z -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 a 9) y) (*.f64 (*.f64 (*.f64 z 4) t) x)) b) (*.f64 z c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 9 a)) (*.f64 x (*.f64 z (*.f64 4 t))))) (*.f64 z c)) |
(/.f64 (fma.f64 9 (*.f64 y a) (fma.f64 x (*.f64 z (*.f64 t -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 b 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) x) (*.f64 z c)) |
(/.f64 (+.f64 x (-.f64 (*.f64 y (*.f64 9 b)) (*.f64 (*.f64 z (*.f64 4 t)) a))) (*.f64 z c)) |
(/.f64 (+.f64 x (-.f64 (*.f64 9 (*.f64 b y)) (*.f64 z (*.f64 t (*.f64 4 a))))) (*.f64 z c)) |
(/.f64 (fma.f64 9 (*.f64 y b) (fma.f64 z (*.f64 t (*.f64 a -4)) x)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 c 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z x)) |
(/.f64 (-.f64 (*.f64 y (*.f64 9 c)) (-.f64 (*.f64 (*.f64 z (*.f64 4 t)) a) b)) (*.f64 x z)) |
(/.f64 (-.f64 (*.f64 y (*.f64 9 c)) (-.f64 (*.f64 z (*.f64 t (*.f64 4 a))) b)) (*.f64 x z)) |
(/.f64 (fma.f64 9 (*.f64 y c) (fma.f64 z (*.f64 t (*.f64 a -4)) b)) (*.f64 x z)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) z) (*.f64 (*.f64 (*.f64 y 4) t) a)) b) (*.f64 y c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 z)) (*.f64 a (*.f64 y (*.f64 4 t))))) (*.f64 y c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 z)) (*.f64 y (*.f64 t (*.f64 4 a))))) (*.f64 y c)) |
(/.f64 (fma.f64 x (*.f64 9 z) (fma.f64 a (*.f64 t (*.f64 y -4)) b)) (*.f64 y c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) t) (*.f64 (*.f64 (*.f64 z 4) y) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 (*.f64 x 9) t) (*.f64 (*.f64 z 4) (*.f64 y a)))) (*.f64 z c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 (*.f64 x 9) t) (*.f64 y (*.f64 z (*.f64 4 a))))) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 t) (fma.f64 a (*.f64 z (*.f64 y -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) a) (*.f64 (*.f64 (*.f64 z 4) t) y)) b) (*.f64 z c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 a)) (*.f64 y (*.f64 z (*.f64 4 t))))) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 a) (fma.f64 y (*.f64 z (*.f64 t -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) b) (*.f64 (*.f64 (*.f64 z 4) t) a)) y) (*.f64 z c)) |
(/.f64 (+.f64 y (-.f64 (*.f64 (*.f64 x 9) b) (*.f64 (*.f64 z (*.f64 4 t)) a))) (*.f64 z c)) |
(/.f64 (-.f64 (*.f64 9 (*.f64 x b)) (fma.f64 (*.f64 z (*.f64 4 t)) a (neg.f64 y))) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 b) (fma.f64 z (*.f64 t (*.f64 a -4)) y)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) c) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z y)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 c)) (*.f64 (*.f64 z (*.f64 4 t)) a))) (*.f64 y z)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 c)) (*.f64 z (*.f64 t (*.f64 4 a))))) (*.f64 y z)) |
(/.f64 (fma.f64 x (*.f64 9 c) (fma.f64 z (*.f64 t (*.f64 a -4)) b)) (*.f64 y z)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 t 4) z) a)) b) (*.f64 t c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z (*.f64 4 t)) a)) b) (*.f64 t c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 a)))) b) (*.f64 t c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 z (*.f64 t (*.f64 a -4)) b)) (*.f64 t c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 a 4) t) z)) b) (*.f64 a c)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 a))))) (*.f64 a c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 a)))) b) (*.f64 a c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 z (*.f64 t (*.f64 a -4)) b)) (*.f64 a c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 b 4) t) a)) z) (*.f64 b c)) |
(/.f64 (+.f64 z (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 a (*.f64 t (*.f64 4 b))))) (*.f64 b c)) |
(/.f64 (+.f64 z (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 a (*.f64 4 (*.f64 t b))))) (*.f64 b c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 a (*.f64 t (*.f64 b -4)) z)) (*.f64 b c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 c 4) t) a)) b) (*.f64 c z)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 a (*.f64 t (*.f64 4 c))))) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 a (*.f64 t (*.f64 c -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) a) t)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z (*.f64 4 t)) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 a)))) b) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 z (*.f64 t (*.f64 a -4)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) b) a)) t) (*.f64 z c)) |
(/.f64 (+.f64 t (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z 4) (*.f64 b a)))) (*.f64 z c)) |
(/.f64 (+.f64 t (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 4 (*.f64 a b))))) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 a (*.f64 z (*.f64 b -4)) t)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) c) a)) b) (*.f64 z t)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z 4) (*.f64 a c)))) (*.f64 z t)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 c (*.f64 z (*.f64 4 a))))) (*.f64 z t)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 a (*.f64 z (*.f64 c -4)) b)) (*.f64 z t)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) b)) a) (*.f64 z c)) |
(/.f64 (+.f64 a (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z 4) (*.f64 t b)))) (*.f64 z c)) |
(/.f64 (+.f64 a (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 4 (*.f64 t b))))) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 b (*.f64 z (*.f64 t -4)) a)) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) c)) b) (*.f64 z a)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z 4) (*.f64 t c)))) (*.f64 z a)) |
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 c))))) (*.f64 z a)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 (*.f64 z -4) (*.f64 t c) b)) (*.f64 z a)) |
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) c) (*.f64 z b)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z (*.f64 4 t)) a)) c) (*.f64 z b)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 z (*.f64 t (*.f64 4 a)))) c) (*.f64 z b)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 z (*.f64 t (*.f64 a -4)) c)) (*.f64 z b)) |
(sort x y)
(sort t a)
Compiled 26 to 18 computations (30.8% saved)
| 1× | egg-herbie |
| 828× | fma-def_binary64 |
| 465× | cancel-sign-sub-inv_binary64 |
| 457× | fma-neg_binary64 |
| 354× | associate-/l*_binary64 |
| 249× | associate-/l/_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 28 |
| 1 | 42 | 28 |
| 2 | 125 | 24 |
| 3 | 433 | 24 |
| 4 | 1215 | 23 |
| 5 | 2928 | 21 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
| Outputs |
|---|
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 9 y)) (*.f64 (*.f64 z 4) (*.f64 t a))) b) (*.f64 z c)) |
(/.f64 (-.f64 (*.f64 (*.f64 x 9) y) (fma.f64 (*.f64 z 4) (*.f64 t a) (neg.f64 b))) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 a (*.f64 z (*.f64 t -4)) b)) (*.f64 z c)) |
(/.f64 (fma.f64 x (*.f64 9 y) (fma.f64 t (*.f64 z (*.f64 -4 a)) b)) (*.f64 z c)) |
(/.f64 (+.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) (*.f64 t (*.f64 a -4))) c) |
(/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
|---|---|---|
| 17.8b | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) | |
| ▶ | 13.0b | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
Compiled 137 to 92 computations (32.8% saved)
Found 3 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.4b | (fma.f64 x (*.f64 9 y) b) |
| ✓ | 3.0b | (/.f64 (fma.f64 x (*.f64 9 y) b) z) |
| ✓ | 9.3b | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
42 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 9.0ms | c | @ | 0 | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
| 6.0ms | c | @ | -inf | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
| 5.0ms | b | @ | 0 | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
| 5.0ms | t | @ | 0 | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
| 5.0ms | c | @ | inf | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
| 1× | batch-egg-rewrite |
| 334× | prod-diff_binary64 |
| 302× | log1p-udef_binary64 |
| 166× | add-sqr-sqrt_binary64 |
| 163× | *-un-lft-identity_binary64 |
| 163× | pow1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 40 |
| 1 | 330 | 40 |
| 2 | 4074 | 40 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) |
(/.f64 (fma.f64 x (*.f64 9 y) b) z) |
(fma.f64 x (*.f64 9 y) b) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (pow.f64 c -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) (*.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (pow.f64 c -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 2)) (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (*.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (pow.f64 c -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) (sqrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (/.f64 1 (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 c -1) (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) 1) (/.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 1) (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (*.f64 c c))) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) (cbrt.f64 (*.f64 c c))) (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (cbrt.f64 (*.f64 c c))) (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) (sqrt.f64 c)) (/.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 3) (pow.f64 c 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) 1)))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (*.f64 9 y) b) (pow.f64 z -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fma.f64 x (*.f64 9 y) b) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (*.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) (pow.f64 z -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 2)) (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (*.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (pow.f64 z -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 x (*.f64 9 y) b)) (/.f64 1 (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 z -1) (fma.f64 x (*.f64 9 y) b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) 1) (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (*.f64 z z))) (/.f64 (fma.f64 x (*.f64 9 y) b) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (cbrt.f64 (*.f64 z z))) (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (cbrt.f64 (*.f64 z z))) (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (fma.f64 x (*.f64 9 y) b) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (fma.f64 x (*.f64 9 y) b)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 1)))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 b (*.f64 x (*.f64 9 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 9 y)) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 9 y)) 1) b)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (*.f64 9 y) b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (*.f64 9 y) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x (*.f64 9 y) b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (cbrt.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (sqrt.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 9 y)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (*.f64 x (*.f64 9 y)) (*.f64 x (*.f64 9 y))) (-.f64 (*.f64 b b) (*.f64 (*.f64 x (*.f64 9 y)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x (*.f64 9 y)) (*.f64 x (*.f64 9 y))) (*.f64 b b)) (-.f64 (*.f64 x (*.f64 9 y)) b))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (*.f64 9 y) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (*.f64 9 y) b))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 9 y) b)) 1)))))) |
| 1× | egg-herbie |
| 436× | fma-neg_binary64 |
| 406× | cancel-sign-sub-inv_binary64 |
| 306× | fma-def_binary64 |
| 291× | associate-/l*_binary64 |
| 245× | div-sub_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 42 | 3303 |
| 1 | 112 | 2971 |
| 2 | 304 | 2835 |
| 3 | 829 | 2637 |
| 4 | 2086 | 2637 |
| 5 | 4480 | 2637 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 (-.f64 (/.f64 b z) (*.f64 4 (*.f64 a t))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 (-.f64 (/.f64 b z) (*.f64 4 (*.f64 a t))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 (-.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (*.f64 4 (*.f64 a t))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 b (*.f64 c z)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 b (*.f64 c z)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) (*.f64 c z)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
| Outputs |
|---|
(/.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) c) |
(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c) |
(/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) c) |
(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(/.f64 (*.f64 -4 (*.f64 a t)) c) |
(*.f64 (*.f64 (/.f64 a c) t) -4) |
(*.f64 (/.f64 -4 c) (*.f64 a t)) |
(*.f64 t (/.f64 a (/.f64 c -4))) |
(*.f64 a (/.f64 t (/.f64 c -4))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(/.f64 (*.f64 -4 (*.f64 a t)) c) |
(*.f64 (*.f64 (/.f64 a c) t) -4) |
(*.f64 (/.f64 -4 c) (*.f64 a t)) |
(*.f64 t (/.f64 a (/.f64 c -4))) |
(*.f64 a (/.f64 t (/.f64 c -4))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) c) |
(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c) |
(/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) c) |
(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(/.f64 (*.f64 -4 (*.f64 a t)) c) |
(*.f64 (*.f64 (/.f64 a c) t) -4) |
(*.f64 (/.f64 -4 c) (*.f64 a t)) |
(*.f64 t (/.f64 a (/.f64 c -4))) |
(*.f64 a (/.f64 t (/.f64 c -4))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(/.f64 (*.f64 -4 (*.f64 a t)) c) |
(*.f64 (*.f64 (/.f64 a c) t) -4) |
(*.f64 (/.f64 -4 c) (*.f64 a t)) |
(*.f64 t (/.f64 a (/.f64 c -4))) |
(*.f64 a (/.f64 t (/.f64 c -4))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (/.f64 b z) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (+.f64 (/.f64 b z) (*.f64 -4 (*.f64 a t))) c) |
(/.f64 (+.f64 (/.f64 b z) (*.f64 (*.f64 a t) -4)) c) |
(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c) |
(/.f64 (fma.f64 t (*.f64 a -4) (/.f64 b z)) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) |
(*.f64 (/.f64 x (/.f64 c y)) (/.f64 9 z)) |
(*.f64 9 (*.f64 x (/.f64 y (*.f64 z c)))) |
(*.f64 9 (*.f64 y (/.f64 x (*.f64 z c)))) |
(*.f64 y (*.f64 9 (/.f64 x (*.f64 z c)))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) |
(*.f64 (/.f64 x (/.f64 c y)) (/.f64 9 z)) |
(*.f64 9 (*.f64 x (/.f64 y (*.f64 z c)))) |
(*.f64 9 (*.f64 y (/.f64 x (*.f64 z c)))) |
(*.f64 y (*.f64 9 (/.f64 x (*.f64 z c)))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (/.f64 b z) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (+.f64 (/.f64 b z) (*.f64 -4 (*.f64 a t))) c) |
(/.f64 (+.f64 (/.f64 b z) (*.f64 (*.f64 a t) -4)) c) |
(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c) |
(/.f64 (fma.f64 t (*.f64 a -4) (/.f64 b z)) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) |
(*.f64 (/.f64 x (/.f64 c y)) (/.f64 9 z)) |
(*.f64 9 (*.f64 x (/.f64 y (*.f64 z c)))) |
(*.f64 9 (*.f64 y (/.f64 x (*.f64 z c)))) |
(*.f64 y (*.f64 9 (/.f64 x (*.f64 z c)))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
(*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) |
(*.f64 (/.f64 x (/.f64 c y)) (/.f64 9 z)) |
(*.f64 9 (*.f64 x (/.f64 y (*.f64 z c)))) |
(*.f64 9 (*.f64 y (/.f64 x (*.f64 z c)))) |
(*.f64 y (*.f64 9 (/.f64 x (*.f64 z c)))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (*.f64 4 (*.f64 a t))) c) |
(/.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (*.f64 -4 (*.f64 a t))) c) |
(/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c) |
(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 (*.f64 9 x) (/.f64 z y))) c) |
(/.f64 (fma.f64 a (*.f64 t -4) (/.f64 (*.f64 9 x) (/.f64 z y))) c) |
(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (*.f64 a (*.f64 t -4))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 b (*.f64 c z)) |
(/.f64 b (*.f64 z c)) |
(/.f64 (/.f64 b c) z) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 b (*.f64 c z)) |
(/.f64 b (*.f64 z c)) |
(/.f64 (/.f64 b c) z) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) (*.f64 c z)) |
(/.f64 (fma.f64 9 (*.f64 y x) b) (*.f64 z c)) |
(/.f64 (fma.f64 y (*.f64 9 x) b) (*.f64 z c)) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(/.f64 (*.f64 -4 (*.f64 a t)) c) |
(*.f64 (*.f64 (/.f64 a c) t) -4) |
(*.f64 (/.f64 -4 c) (*.f64 a t)) |
(*.f64 t (/.f64 a (/.f64 c -4))) |
(*.f64 a (/.f64 t (/.f64 c -4))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -4 (/.f64 (*.f64 a t) c)) |
(/.f64 (*.f64 -4 (*.f64 a t)) c) |
(*.f64 (*.f64 (/.f64 a c) t) -4) |
(*.f64 (/.f64 -4 c) (*.f64 a t)) |
(*.f64 t (/.f64 a (/.f64 c -4))) |
(*.f64 a (/.f64 t (/.f64 c -4))) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (-.f64 (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) (*.f64 4 (*.f64 a t))) c) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(*.f64 -1 (/.f64 (-.f64 (*.f64 4 (*.f64 a t)) (+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z))) c)) |
(+.f64 (/.f64 b (*.f64 z c)) (-.f64 (*.f64 9 (*.f64 (/.f64 y c) (/.f64 x z))) (/.f64 (*.f64 4 (*.f64 a t)) c))) |
(+.f64 (/.f64 (/.f64 b c) z) (/.f64 (fma.f64 9 (/.f64 y (/.f64 z x)) (*.f64 (*.f64 a t) -4)) c)) |
(fma.f64 9 (*.f64 x (/.f64 y (*.f64 z c))) (/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)) |
(/.f64 (fma.f64 (/.f64 9 z) (*.f64 y x) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 (fma.f64 x (*.f64 9 (/.f64 y z)) (fma.f64 t (*.f64 a -4) (/.f64 b z))) c) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(*.f64 9 (/.f64 y (/.f64 z x))) |
(/.f64 (*.f64 9 x) (/.f64 z y)) |
(*.f64 x (*.f64 9 (/.f64 y z))) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(*.f64 9 (/.f64 y (/.f64 z x))) |
(/.f64 (*.f64 9 x) (/.f64 z y)) |
(*.f64 x (*.f64 9 (/.f64 y z))) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(*.f64 9 (/.f64 y (/.f64 z x))) |
(/.f64 (*.f64 9 x) (/.f64 z y)) |
(*.f64 x (*.f64 9 (/.f64 y z))) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(*.f64 9 (/.f64 y (/.f64 z x))) |
(/.f64 (*.f64 9 x) (/.f64 z y)) |
(*.f64 x (*.f64 9 (/.f64 y z))) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(*.f64 9 (/.f64 (*.f64 y x) z)) |
(*.f64 9 (/.f64 y (/.f64 z x))) |
(/.f64 (*.f64 9 x) (/.f64 z y)) |
(*.f64 x (*.f64 9 (/.f64 y z))) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(/.f64 b z) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(+.f64 (*.f64 9 (/.f64 (*.f64 y x) z)) (/.f64 b z)) |
(fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) |
(fma.f64 9 (/.f64 y (/.f64 z x)) (/.f64 b z)) |
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) |
(fma.f64 x (*.f64 9 (/.f64 y z)) (/.f64 b z)) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
(/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z) |
(/.f64 (fma.f64 9 (*.f64 y x) b) z) |
(/.f64 (fma.f64 y (*.f64 9 x) b) z) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(*.f64 9 (*.f64 y x)) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
b |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
(+.f64 (*.f64 9 (*.f64 y x)) b) |
(fma.f64 9 (*.f64 y x) b) |
(fma.f64 y (*.f64 9 x) b) |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 109 | 9 | 118 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 110 | 10 | 120 |
| Status | Error | Program |
|---|---|---|
| 13.0b | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 b (*.f64 x (*.f64 9 y))) z)) c) | |
| 42.9b | (*.f64 a (/.f64 t (/.f64 c -4))) | |
| 13.0b | (*.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (pow.f64 c -1)) | |
| 27.4b | (/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (*.f64 a (*.f64 t -4))) c) | |
| 17.8b | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) | |
| ▶ | 9.4b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
| 34.1b | (*.f64 (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 2))) | |
| 44.8b | (/.f64 (/.f64 b c) z) | |
| 44.3b | (*.f64 y (*.f64 9 (/.f64 x (*.f64 z c)))) | |
| 13.2b | (pow.f64 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) -1) |
Compiled 2785 to 1655 computations (40.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.2b | (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
| ✓ | 3.4b | (/.f64 b (*.f64 c z)) |
| ✓ | 4.6b | (/.f64 (*.f64 a t) c) |
| ✓ | 9.2b | (/.f64 (*.f64 y x) (*.f64 c z)) |
42 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 5.0ms | x | @ | inf | (/.f64 (*.f64 y x) (*.f64 c z)) |
| 4.0ms | y | @ | inf | (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
| 3.0ms | c | @ | 0 | (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
| 3.0ms | b | @ | inf | (/.f64 b (*.f64 c z)) |
| 3.0ms | x | @ | -inf | (/.f64 (*.f64 y x) (*.f64 c z)) |
| 1× | batch-egg-rewrite |
| 174× | add-sqr-sqrt_binary64 |
| 173× | *-un-lft-identity_binary64 |
| 173× | pow1_binary64 |
| 165× | times-frac_binary64 |
| 162× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 37 |
| 1 | 344 | 37 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 a t) c) |
(/.f64 b (*.f64 c z)) |
(*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z))) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 y c) (/.f64 x z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (/.f64 1 (/.f64 c (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (*.f64 x (/.f64 (/.f64 1 c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 y (/.f64 (/.f64 1 c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y x) (/.f64 (/.f64 1 c) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (/.f64 y c) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (/.f64 y c) (/.f64 x z))) (cbrt.f64 (pow.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 2)) (cbrt.f64 (*.f64 (/.f64 y c) (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (*.f64 (cbrt.f64 (*.f64 y x)) (/.f64 (/.f64 1 c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (/.f64 y c) (/.f64 x z))) (sqrt.f64 (*.f64 (/.f64 y c) (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 y x)) (*.f64 (sqrt.f64 (*.f64 y x)) (/.f64 (/.f64 1 c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (neg.f64 x)) (/.f64 1 (*.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y c) (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x z) (/.f64 y c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 c) z) (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 c) (/.f64 (*.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (/.f64 c x)) (/.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y 1) (/.f64 x (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x c) (/.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x 1) (/.f64 y (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 y x)) (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 y x)) 1) (/.f64 (sqrt.f64 (*.f64 y x)) (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 y x)) c) (/.f64 (sqrt.f64 (*.f64 y x)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 z) (/.f64 y (/.f64 c x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 (*.f64 y x) (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (*.f64 c z))) (/.f64 (*.f64 y x) (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y z) (/.f64 x c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) c) (/.f64 (cbrt.f64 (*.f64 y x)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 y x)) z) (/.f64 (sqrt.f64 (*.f64 y x)) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) z) (/.f64 (cbrt.f64 (*.f64 y x)) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (*.f64 c z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 x (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 y (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (cbrt.f64 (*.f64 (/.f64 y c) (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 y x)) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (sqrt.f64 (*.f64 c z))) (/.f64 x (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (sqrt.f64 (*.f64 c z))) (/.f64 y (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (sqrt.f64 (*.f64 c z))) (/.f64 (cbrt.f64 (*.f64 y x)) (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 y c) (/.f64 x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (/.f64 y c) (/.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (/.f64 y (/.f64 c x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 y x) (*.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 y c)) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 y c) (/.f64 x z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 (*.f64 c z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 y c) (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 y c) (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 y c) (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 y c) (/.f64 x z))) 1)))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 a c) t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a (/.f64 1 (/.f64 c t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a (*.f64 t (/.f64 1 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 t (*.f64 a (/.f64 1 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 a t) (/.f64 1 c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 a c) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (/.f64 a c) t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (/.f64 a c) t)) (pow.f64 (cbrt.f64 (*.f64 (/.f64 a c) t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 a c) t)) 2) (cbrt.f64 (*.f64 (/.f64 a c) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 a t) 2)) (*.f64 (cbrt.f64 (*.f64 a t)) (/.f64 1 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (/.f64 a c) t)) (sqrt.f64 (*.f64 (/.f64 a c) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 a t)) (*.f64 (sqrt.f64 (*.f64 a t)) (/.f64 1 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t (neg.f64 a)) (/.f64 1 (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 c) (*.f64 a t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (*.f64 c c))) (/.f64 (*.f64 a t) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (*.f64 a t) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a 1) (/.f64 t c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 t 1) (/.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a c) t)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 a t) 2)) 1) (/.f64 (cbrt.f64 (*.f64 a t)) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 a t)) 1) (/.f64 (sqrt.f64 (*.f64 a t)) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a (cbrt.f64 (*.f64 c c))) (/.f64 t (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 t (cbrt.f64 (*.f64 c c))) (/.f64 a (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 a t) 2)) (cbrt.f64 (*.f64 c c))) (cbrt.f64 (*.f64 (/.f64 a c) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 a t)) (cbrt.f64 (*.f64 c c))) (/.f64 (sqrt.f64 (*.f64 a t)) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a (sqrt.f64 c)) (/.f64 t (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 t (sqrt.f64 c)) (/.f64 a (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 a t) 2)) (sqrt.f64 c)) (/.f64 (cbrt.f64 (*.f64 a t)) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 a c) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 a c) t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 a c) t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (/.f64 a c) t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c (*.f64 a t)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 a t) (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (/.f64 a c) t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 (/.f64 a c) t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 a c) t))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 a c) t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 a t) 3) (pow.f64 c 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 a c) t)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 a c) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 a c) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 a c) t)) 1)))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 b (*.f64 c z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 b (/.f64 (/.f64 1 c) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 b (*.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 b (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 b (*.f64 c z))) (cbrt.f64 (pow.f64 (/.f64 b (*.f64 c z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 b (*.f64 c z)) 2)) (cbrt.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 b) 2) (*.f64 (cbrt.f64 b) (/.f64 (/.f64 1 c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 b (*.f64 c z))) (sqrt.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 b) (*.f64 (sqrt.f64 b) (/.f64 (/.f64 1 c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 b) (/.f64 1 (*.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 c) z) b)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 c) (/.f64 b z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 b c) (/.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 b) 2) 1) (/.f64 (cbrt.f64 b) (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 b) 1) (/.f64 (sqrt.f64 b) (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 b) c) (/.f64 (sqrt.f64 b) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 b) 2) c) (/.f64 (cbrt.f64 b) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 b) z) (/.f64 (sqrt.f64 b) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 z) (/.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 b) 2) z) (/.f64 (cbrt.f64 b) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 b (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 b) 2) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (cbrt.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 b) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 (sqrt.f64 b) (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (*.f64 c z))) (/.f64 b (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 b) 2) (sqrt.f64 (*.f64 c z))) (/.f64 (cbrt.f64 b) (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 b (*.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 b (*.f64 c z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 b (*.f64 c z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 b (*.f64 c z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (/.f64 b c)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 b (*.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 b (*.f64 c z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 b (*.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 b (*.f64 c z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 b 3) (pow.f64 (*.f64 c z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 b (*.f64 c z))) 1)))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 9 (/.f64 z (/.f64 y (/.f64 c x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 c z) (*.f64 (*.f64 y x) 9)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y x) 9) (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (*.f64 y x) 9)) (*.f64 c (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 y x) 9) c) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 y x) 9) z) c)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 y x) 9) 1) (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 y x) 9) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (cbrt.f64 (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 y x) 9) (sqrt.f64 (*.f64 c z))) (sqrt.f64 (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y 9) (/.f64 c (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (neg.f64 x)) 9) (*.f64 c (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 y (/.f64 c x)) 9) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 9 y) (/.f64 c (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 9 (*.f64 y (neg.f64 x))) (*.f64 c (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 9 (/.f64 y (/.f64 c x))) z)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 81 (pow.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 9) (*.f64 (/.f64 y c) (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (/.f64 y c) (/.f64 x z)) 9)) 1)))))) |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| 1× | saturated |
| Inputs |
|---|
| Outputs |
|---|
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 160 | 5 | 165 |
| Fresh | 2 | 7 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 163 | 12 | 175 |
| Status | Error | Program |
|---|---|---|
| 9.4b | (-.f64 (+.f64 (*.f64 b (/.f64 (/.f64 1 c) z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) | |
| 13.0b | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 b (*.f64 x (*.f64 9 y))) z)) c) | |
| 42.9b | (*.f64 a (/.f64 t (/.f64 c -4))) | |
| 13.0b | (*.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (pow.f64 c -1)) | |
| 27.4b | (/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (*.f64 a (*.f64 t -4))) c) | |
| 17.8b | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) | |
| 44.8b | (/.f64 (/.f64 b c) z) | |
| ▶ | 6.9b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
| 11.1b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (*.f64 (/.f64 x c) (/.f64 y z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) | |
| 8.9b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (/.f64 (*.f64 y 9) (/.f64 c (/.f64 x z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) | |
| 10.6b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (*.f64 (/.f64 a c) t))) | |
| 13.2b | (pow.f64 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) -1) |
Compiled 5122 to 1972 computations (61.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 3.3b | (*.f64 x (/.f64 (/.f64 1 c) z)) |
| 3.4b | (/.f64 b (*.f64 c z)) | |
| ✓ | 4.6b | (*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))) |
| 4.6b | (/.f64 (*.f64 a t) c) |
21 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 4.0ms | y | @ | 0 | (*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))) |
| 3.0ms | y | @ | -inf | (*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))) |
| 3.0ms | x | @ | -inf | (*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))) |
| 2.0ms | c | @ | inf | (*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))) |
| 2.0ms | y | @ | inf | (*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))) |
| 1× | batch-egg-rewrite |
| 551× | log-prod_binary64 |
| 191× | pow1/3_binary64 |
| 183× | expm1-udef_binary64 |
| 183× | log1p-udef_binary64 |
| 173× | pow3_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 23 |
| 1 | 207 | 17 |
| 2 | 2716 | 17 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 y (*.f64 x (/.f64 (/.f64 1 c) z))) |
(*.f64 x (/.f64 (/.f64 1 c) z)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (/.f64 (/.f64 x c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (/.f64 (/.f64 x c) z))) (cbrt.f64 (pow.f64 (exp.f64 y) (/.f64 (/.f64 x c) z))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (/.f64 (/.f64 x c) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (/.f64 (/.f64 x c) z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (/.f64 (/.f64 x c) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 (/.f64 x c) z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y x) (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x c) y) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (/.f64 x c)) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y x) 1) (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y x) (/.f64 1 c)) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y x) (/.f64 -1 c)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (/.f64 (/.f64 x c) z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (/.f64 (/.f64 x c) z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (/.f64 (/.f64 x c) z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (/.f64 (/.f64 x c) z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 (/.f64 x c) z) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (/.f64 (/.f64 x c) z) 3) (pow.f64 y 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (/.f64 (/.f64 x c) z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (/.f64 (/.f64 x c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 (/.f64 x c) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (/.f64 (/.f64 x c) z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 (/.f64 x c) z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (/.f64 x c) z) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (/.f64 (/.f64 x c) z))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (/.f64 (/.f64 x c) z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (/.f64 (/.f64 x c) z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 y (/.f64 (/.f64 x c) z))) 1)))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (/.f64 x c) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (/.f64 x c) z))) (cbrt.f64 (exp.f64 (/.f64 (/.f64 x c) z))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (/.f64 x c) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (/.f64 x c) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (/.f64 x c) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 x c) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (/.f64 x c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x c) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 x c)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 x c) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 x c) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 x c) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 -1 c) x) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (/.f64 -1 c)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 x c) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 x c) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (/.f64 x c) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 x c) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 1 (*.f64 c z)) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 c z)) 3) (pow.f64 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (/.f64 x c)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (/.f64 x c) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (/.f64 x c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 x c) z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 x c) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (/.f64 1 (*.f64 c z)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 c z)) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 x c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 x c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 x c) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 x c) z)) 1)))))) |
| 1× | egg-herbie |
| 14× | associate-/l*_binary64 |
| 9× | associate-*r/_binary64 |
| 9× | associate-/r/_binary64 |
| 7× | *-commutative_binary64 |
| 6× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 732 |
| 1 | 20 | 732 |
| 2 | 41 | 732 |
| 3 | 69 | 732 |
| 4 | 79 | 732 |
| 5 | 79 | 732 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
| Outputs |
|---|
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
(/.f64 x (*.f64 c z)) |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 139 | 1 | 140 |
| Fresh | 1 | 10 | 11 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 141 | 11 | 152 |
| Status | Error | Program |
|---|---|---|
| 9.4b | (-.f64 (+.f64 (*.f64 b (/.f64 (/.f64 1 c) z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) | |
| 13.0b | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 b (*.f64 x (*.f64 9 y))) z)) c) | |
| 42.9b | (*.f64 a (/.f64 t (/.f64 c -4))) | |
| 13.0b | (*.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (pow.f64 c -1)) | |
| 27.4b | (/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (*.f64 a (*.f64 t -4))) c) | |
| 17.8b | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) | |
| ▶ | 7.1b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (*.f64 y (/.f64 x (*.f64 c z))))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
| 44.8b | (/.f64 (/.f64 b c) z) | |
| 8.9b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (/.f64 (*.f64 y 9) (/.f64 c (/.f64 x z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) | |
| 10.6b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (*.f64 (/.f64 a c) t))) | |
| 13.2b | (pow.f64 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) -1) |
Compiled 4558 to 2159 computations (52.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
|---|---|---|
| 3.4b | (/.f64 b (*.f64 c z)) | |
| ✓ | 3.7b | (/.f64 x (*.f64 c z)) |
| ✓ | 4.6b | (*.f64 y (/.f64 x (*.f64 c z))) |
| 4.6b | (/.f64 (*.f64 a t) c) |
21 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 4.0ms | y | @ | -inf | (*.f64 y (/.f64 x (*.f64 c z))) |
| 3.0ms | z | @ | 0 | (*.f64 y (/.f64 x (*.f64 c z))) |
| 3.0ms | x | @ | -inf | (*.f64 y (/.f64 x (*.f64 c z))) |
| 2.0ms | z | @ | inf | (/.f64 x (*.f64 c z)) |
| 2.0ms | y | @ | inf | (*.f64 y (/.f64 x (*.f64 c z))) |
| 1× | batch-egg-rewrite |
| 866× | log1p-expm1-u_binary64 |
| 866× | expm1-log1p-u_binary64 |
| 86× | *-un-lft-identity_binary64 |
| 86× | add-sqr-sqrt_binary64 |
| 86× | pow1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 17 |
| 1 | 166 | 17 |
| 2 | 2286 | 17 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 x (*.f64 c z)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 y x) (*.f64 c z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 y (/.f64 c (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 c z) (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y x) (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 y x)) (*.f64 c (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y x) c) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y x) z) c)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y x) 1) (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y x) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (cbrt.f64 (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y x) (sqrt.f64 (*.f64 c z))) (sqrt.f64 (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) y) (*.f64 c (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x c) y) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (neg.f64 x)) (*.f64 c (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (/.f64 x c)) z)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 y x) (*.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 y x) (*.f64 c z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (*.f64 y x) (*.f64 c z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 c z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (*.f64 y x) (*.f64 c z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (*.f64 y x) (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (*.f64 y x) (*.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 y x) (*.f64 c z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x (*.f64 c z)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 x (*.f64 c z)) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 y x) (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (*.f64 y x) (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (*.f64 y x) (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (*.f64 y x) (*.f64 c z))) 1)))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 x (*.f64 c z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (/.f64 1 (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 x (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 1 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 x (*.f64 c z))) (pow.f64 (cbrt.f64 (/.f64 x (*.f64 c z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 x (*.f64 c z))) 2) (cbrt.f64 (/.f64 x (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (/.f64 1 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 x (*.f64 c z))) (sqrt.f64 (/.f64 x (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 x) (/.f64 1 (*.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 c z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x c) (/.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) c) (/.f64 (sqrt.f64 x) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 c) (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) c) (/.f64 (cbrt.f64 x) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) z) (/.f64 (sqrt.f64 x) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 z) (/.f64 x c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) z) (/.f64 (cbrt.f64 x) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 x (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (cbrt.f64 (/.f64 x (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (*.f64 c z))) (/.f64 x (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 (*.f64 c z))) (/.f64 (cbrt.f64 x) (sqrt.f64 (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (*.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 x (*.f64 c z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 x (*.f64 c z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 x (*.f64 c z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c (/.f64 x z)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 x (*.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 x (*.f64 c z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 x (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 x (*.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 x (*.f64 c z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 x 3) (pow.f64 (*.f64 c z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 x (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 x (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 x (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 x (*.f64 c z))) 1)))))) |
| 1× | egg-herbie |
| 14× | associate-/l*_binary64 |
| 9× | associate-*r/_binary64 |
| 9× | associate-/r/_binary64 |
| 7× | *-commutative_binary64 |
| 6× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 480 |
| 1 | 17 | 480 |
| 2 | 38 | 480 |
| 3 | 67 | 480 |
| 4 | 79 | 480 |
| 5 | 79 | 480 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
| Outputs |
|---|
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
(/.f64 (*.f64 y x) (*.f64 c z)) |
(*.f64 (/.f64 y c) (/.f64 x z)) |
(*.f64 x (/.f64 y (*.f64 c z))) |
(*.f64 y (/.f64 x (*.f64 c z))) |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 152 | 0 | 152 |
| Fresh | 0 | 10 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 152 | 11 | 163 |
| Status | Error | Program |
|---|---|---|
| 9.4b | (-.f64 (+.f64 (*.f64 b (/.f64 (/.f64 1 c) z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) | |
| 13.0b | (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 b (*.f64 x (*.f64 9 y))) z)) c) | |
| 42.9b | (*.f64 a (/.f64 t (/.f64 c -4))) | |
| 13.0b | (*.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (pow.f64 c -1)) | |
| 27.4b | (/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (*.f64 a (*.f64 t -4))) c) | |
| 17.8b | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) | |
| ✓ | 7.1b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (*.f64 y (/.f64 x (*.f64 c z))))) (*.f64 4 (/.f64 (*.f64 a t) c))) |
| 44.8b | (/.f64 (/.f64 b c) z) | |
| 8.9b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (/.f64 (*.f64 y 9) (/.f64 c (/.f64 x z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) | |
| 10.6b | (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (/.f64 (*.f64 y x) (*.f64 c z)))) (*.f64 4 (*.f64 (/.f64 a c) t))) | |
| 13.2b | (pow.f64 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) -1) |
Compiled 4437 to 1664 computations (62.5% saved)
Total 5.1b remaining (96.7%)
Threshold costs 0b (0%)
Compiled 17898 to 12436 computations (30.5% saved)
| 4× | left-value |
4 calls:
| 0.0ms | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
| 0.0ms | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
| 0.0ms | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
| 0.0ms | (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) |
| Iters | Point | Range | ||||
|---|---|---|---|---|---|---|
1e+288 | ∈ [ | 7.802428621587222e+287 | , | 1.3621490522333691e+307 | ] | |
2e-9 | ∈ [ | 1.0114412173849556e-9 | , | 7.163907791909296e-7 | ] | |
-1e-33 | ∈ [ | -1.5271976472811728e-33 | , | -1.3876721662478144e-36 | ] | |
-2e+301 | ∈ [ | -2.139405095177265e+301 | , | -1.4350515320385003e+299 | ] | |
Compiled 26 to 18 computations (30.8% saved)
| 1× | egg-herbie |
| 23× | *-commutative_binary64 |
| 16× | +-commutative_binary64 |
| 12× | sub-neg_binary64 |
| 10× | distribute-rgt-neg-in_binary64 |
| 9× | distribute-lft-neg-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 279 |
| 1 | 86 | 279 |
| 2 | 114 | 279 |
| 3 | 135 | 279 |
| 4 | 154 | 279 |
| 5 | 162 | 279 |
| 6 | 164 | 279 |
| 1× | saturated |
| Inputs |
|---|
(if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -20000000000000001050095205104088404974089371622163183098317082310236049159778163915727427501608957280874088876657677563538850464707208611512895843695734139656967744018531516074756604675895761801187379064699415998901622380779352817601493054855602849891585175776401136856762313389443927737309188010803200) (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (/.f64 (*.f64 y 9) (/.f64 c (/.f64 x z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -1461501637330903/1461501637330902918203684832716283019655932542976) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 4835703278458517/2417851639229258349412352) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z)) c) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 1000000000000000007630473539575035660514778335511710750780086664439969510636494954611131549135839186513983455555395220895687860544809584999829725260594873271087399626486606146442550988840016917394626449536395208620267012778077787723395914064607119962069483324573977857832138825282954985472) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (*.f64 (/.f64 x z) (/.f64 y c)))) (*.f64 4 (/.f64 (*.f64 a t) c))))))) |
| Outputs |
|---|
(if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -20000000000000001050095205104088404974089371622163183098317082310236049159778163915727427501608957280874088876657677563538850464707208611512895843695734139656967744018531516074756604675895761801187379064699415998901622380779352817601493054855602849891585175776401136856762313389443927737309188010803200) (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (/.f64 (*.f64 y 9) (/.f64 c (/.f64 x z)))) (*.f64 4 (/.f64 (*.f64 a t) c))) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -1461501637330903/1461501637330902918203684832716283019655932542976) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 4835703278458517/2417851639229258349412352) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 (*.f64 9 (*.f64 y x)) b) z)) c) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 1000000000000000007630473539575035660514778335511710750780086664439969510636494954611131549135839186513983455555395220895687860544809584999829725260594873271087399626486606146442550988840016917394626449536395208620267012778077787723395914064607119962069483324573977857832138825282954985472) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (-.f64 (+.f64 (/.f64 b (*.f64 c z)) (*.f64 9 (*.f64 (/.f64 x z) (/.f64 y c)))) (*.f64 4 (/.f64 (*.f64 a t) c))))))) |
(if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -20000000000000001050095205104088404974089371622163183098317082310236049159778163915727427501608957280874088876657677563538850464707208611512895843695734139656967744018531516074756604675895761801187379064699415998901622380779352817601493054855602849891585175776401136856762313389443927737309188010803200) (+.f64 (+.f64 (/.f64 b (*.f64 z c)) (/.f64 (*.f64 9 y) (/.f64 c (/.f64 x z)))) (*.f64 -4 (/.f64 (*.f64 t a) c))) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -1461501637330903/1461501637330902918203684832716283019655932542976) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 4835703278458517/2417851639229258349412352) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)) c) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 1000000000000000007630473539575035660514778335511710750780086664439969510636494954611131549135839186513983455555395220895687860544809584999829725260594873271087399626486606146442550988840016917394626449536395208620267012778077787723395914064607119962069483324573977857832138825282954985472) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (+.f64 (+.f64 (/.f64 b (*.f64 z c)) (*.f64 9 (*.f64 (/.f64 x z) (/.f64 y c)))) (*.f64 -4 (/.f64 (*.f64 t a) c))))))) |
(if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -20000000000000001050095205104088404974089371622163183098317082310236049159778163915727427501608957280874088876657677563538850464707208611512895843695734139656967744018531516074756604675895761801187379064699415998901622380779352817601493054855602849891585175776401136856762313389443927737309188010803200) (+.f64 (+.f64 (/.f64 b (*.f64 z c)) (/.f64 (*.f64 9 y) (/.f64 c (/.f64 x z)))) (*.f64 (/.f64 (*.f64 t a) c) -4)) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -1461501637330903/1461501637330902918203684832716283019655932542976) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 4835703278458517/2417851639229258349412352) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)) c) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 1000000000000000007630473539575035660514778335511710750780086664439969510636494954611131549135839186513983455555395220895687860544809584999829725260594873271087399626486606146442550988840016917394626449536395208620267012778077787723395914064607119962069483324573977857832138825282954985472) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (+.f64 (+.f64 (/.f64 b (*.f64 z c)) (*.f64 9 (*.f64 (/.f64 x z) (/.f64 y c)))) (*.f64 (/.f64 (*.f64 t a) c) -4)))))) |
| 1× | fuel |
Compiled 1436 to 837 computations (41.7% saved)
Loading profile data...