| Inputs |
|---|
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) y)) |
(*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) y) |
(+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) |
(/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) |
(fma.f64 b a (fma.f64 i c (*.f64 t z))) |
b |
a |
(fma.f64 i c (*.f64 t z)) |
i |
c |
(*.f64 t z) |
t |
z |
y |
x |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) z)) |
(*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) z) |
(+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) |
(/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) |
(fma.f64 b a (fma.f64 i c (*.f64 y x))) |
(fma.f64 i c (*.f64 y x)) |
(*.f64 y x) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) i)) |
(*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) i) |
(+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) |
(/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) |
(fma.f64 b a (fma.f64 t z (*.f64 y x))) |
(fma.f64 t z (*.f64 y x)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (+ (* a b) (+ (* c i) (* t z))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (+ (* a b) (+ (* c i) (+ (* t z) (* x y)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* y (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (+ (* x y) (* y (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))) |
#s(approx x #s(hole binary64 x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* z (+ t (+ (/ (* a b) z) (/ (* c i) z)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (+ (* x y) (* z (+ t (+ (/ (* a b) z) (/ (* c i) z))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (+ t (+ (/ (* a b) z) (/ (* c i) z))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (/ (+ (* a b) (* c i)) z))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (+ (* a b) (* c i)))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (+ (* a b) (+ (* c i) (* x y))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* c i))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (+ (* c i) (* x y)))) |
#s(approx (* y x) #s(hole binary64 (* x y))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* i (+ c (+ (/ (* a b) i) (/ (* t z) i)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (+ (* i (+ c (+ (/ (* a b) i) (/ (* t z) i)))) (* x y)))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (+ c (+ (/ (* a b) i) (/ (* t z) i))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (/ (+ (* a b) (* t z)) i))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (+ (* a b) (* t z)))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (+ (* a b) (+ (* t z) (* x y))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* t z))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (+ (* t z) (* x y)))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* x y))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* x y))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* x (+ y (/ (* y (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))) x))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 x)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* x (+ 1 (+ (/ (* a b) (* x y)) (+ (/ (* c i) (* x y)) (/ (* t z) (* x y)))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* x y))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* x (+ y (/ (* z (+ t (+ (/ (* a b) z) (/ (* c i) z)))) x))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (/ (* x y) z))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ y z) (+ (/ (* a b) (* x z)) (/ (* c i) (* x z)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (/ (* x y) z))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* x (+ (/ y z) (+ (/ (* a b) (* x z)) (/ (* c i) (* x z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* x y))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* x (+ y (+ (/ (* a b) x) (/ (* c i) x)))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* x y))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* x (+ y (/ (* c i) x))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* x y))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* x (+ y (/ (* i (+ c (+ (/ (* a b) i) (/ (* t z) i)))) x))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (/ (* x y) i))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* x (+ (/ c x) (+ (/ y i) (+ (/ (* a b) (* i x)) (/ (* t z) (* i x)))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (/ (* x y) i))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* x (+ (/ y i) (+ (/ (* a b) (* i x)) (/ (* t z) (* i x))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* x y))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* x (+ y (+ (/ (* a b) x) (/ (* t z) x)))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* x y))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* x (+ y (/ (* t z) x))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (* y (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))) x))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* -1 (* x (- (* -1 (/ (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y))) x)) 1))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (* z (+ t (+ (/ (* a b) z) (/ (* c i) z)))) x))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y z)) (* -1 (/ (+ t (+ (/ (* a b) z) (/ (* c i) z))) x))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y z)) (* -1 (/ (+ (/ (* a b) z) (/ (* c i) z)) x))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* c i)) x))))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (* c i) x))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (* i (+ c (+ (/ (* a b) i) (/ (* t z) i)))) x))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y i)) (* -1 (/ (+ c (+ (/ (* a b) i) (/ (* t z) i))) x))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y i)) (* -1 (/ (+ (/ (* a b) i) (/ (* t z) i)) x))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x))))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (+ (* a b) (+ (* c i) (* t z))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (+ (* a b) (+ (* c i) (+ (* t z) (* x y)))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (/ (+ (* a b) (+ (* c i) (* t z))) y))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (/ (+ (* a b) (+ (* c i) (+ (* t z) (* x y)))) y))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (/ (+ (* a b) (+ (* c i) (* t z))) y))) |
#s(approx y #s(hole binary64 y)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* y (+ x (/ (* z (+ t (+ (/ (* a b) z) (/ (* c i) z)))) y))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* y (+ (/ t y) (+ (/ x z) (+ (/ (* a b) (* y z)) (/ (* c i) (* y z)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* y (+ (/ x z) (+ (/ (* a b) (* y z)) (/ (* c i) (* y z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* y (+ x (+ (/ (* a b) y) (/ (* c i) y)))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* y (+ x (/ (* c i) y))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* y (+ x (/ (* i (+ c (+ (/ (* a b) i) (/ (* t z) i)))) y))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* y (+ (/ c y) (+ (/ x i) (+ (/ (* a b) (* i y)) (/ (* t z) (* i y)))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* y (+ (/ x i) (+ (/ (* a b) (* i y)) (/ (* t z) (* i y))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* y (+ x (+ (/ (* a b) y) (/ (* t z) y)))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* y (+ x (/ (* t z) y))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (* z (+ t (+ (/ (* a b) z) (/ (* c i) z)))) y))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x z)) (* -1 (/ (+ t (+ (/ (* a b) z) (/ (* c i) z))) y))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x z)) (* -1 (/ (+ (/ (* a b) z) (/ (* c i) z)) y))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* c i)) y))))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (* c i) y))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (* i (+ c (+ (/ (* a b) i) (/ (* t z) i)))) y))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x i)) (* -1 (/ (+ c (+ (/ (* a b) i) (/ (* t z) i))) y))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x i)) (* -1 (/ (+ (/ (* a b) i) (/ (* t z) i)) y))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y))))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y))))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (+ (* a b) (+ (* c i) (* x y))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* y (+ x (+ (/ (* a b) y) (/ (* c i) y)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (+ (* t z) (* y (+ x (+ (/ (* a b) y) (/ (* c i) y))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (+ x (+ (/ (* a b) y) (/ (* c i) y))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (/ (+ (* a b) (* c i)) y))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (+ (* a b) (* c i)))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (+ (* a b) (+ (* c i) (* t z))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* c i))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (+ (* c i) (* t z)))) |
#s(approx (* t z) #s(hole binary64 (* t z))) |
#s(approx z #s(hole binary64 z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (+ (* a b) (+ (* c i) (* x y))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (+ (* a b) (+ (* c i) (+ (* t z) (* x y)))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (/ (+ (* a b) (+ (* c i) (* x y))) z))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (/ (+ (* a b) (+ (* c i) (+ (* t z) (* x y)))) z))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (/ (+ (* a b) (+ (* c i) (* x y))) z))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* i (+ c (+ (/ (* a b) i) (/ (* x y) i)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (+ (* i (+ c (+ (/ (* a b) i) (/ (* x y) i)))) (* t z)))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (+ c (+ (/ (* a b) i) (/ (* x y) i))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (/ (+ (* a b) (* x y)) i))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (+ (* a b) (* x y)))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* t z))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* t z))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* z (+ t (/ (* y (+ x (+ (/ (* a b) y) (/ (* c i) y)))) z))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (/ (* t z) y))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* z (+ (/ t y) (+ (/ x z) (+ (/ (* a b) (* y z)) (/ (* c i) (* y z)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (/ (* t z) y))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* z (+ (/ t y) (+ (/ (* a b) (* y z)) (/ (* c i) (* y z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* t z))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* z (+ t (+ (/ (* a b) z) (/ (* c i) z)))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* t z))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* z (+ t (/ (* c i) z))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* t z))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 t)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* t z))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* z (+ t (/ (* i (+ c (+ (/ (* a b) i) (/ (* x y) i)))) z))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (/ (* t z) i))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* z (+ (/ c z) (+ (/ t i) (+ (/ (* a b) (* i z)) (/ (* x y) (* i z)))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (/ (* t z) i))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* z (+ (/ t i) (+ (/ (* a b) (* i z)) (/ (* x y) (* i z))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* t z))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* z (+ t (+ (/ (* a b) z) (/ (* x y) z)))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* z (+ t (/ (* x y) z))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (* y (+ x (+ (/ (* a b) y) (/ (* c i) y)))) z))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ t y)) (* -1 (/ (+ x (+ (/ (* a b) y) (/ (* c i) y))) z))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* -1 (* z (+ (* -1 (/ t y)) (* -1 (/ (+ (/ (* a b) y) (/ (* c i) y)) z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* c i)) z))))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (* c i) z))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (* i (+ c (+ (/ (* a b) i) (/ (* x y) i)))) z))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* -1 (* z (+ (* -1 (/ t i)) (* -1 (/ (+ c (+ (/ (* a b) i) (/ (* x y) i))) z))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* -1 (* z (+ (* -1 (/ t i)) (* -1 (/ (+ (/ (* a b) i) (/ (* x y) i)) z))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z))))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z))))))) |
#s(approx t #s(hole binary64 t)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* z (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (+ (* t z) (* z (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* t (+ z (+ (/ (* a b) t) (+ (/ (* c i) t) (/ (* x y) t))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* t (+ z (/ (* y (+ x (+ (/ (* a b) y) (/ (* c i) y)))) t))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* t (+ (/ x t) (+ (/ z y) (+ (/ (* a b) (* t y)) (/ (* c i) (* t y)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* t (+ (/ z y) (+ (/ (* a b) (* t y)) (/ (* c i) (* t y))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* t (+ z (+ (/ (* a b) t) (/ (* c i) t)))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* t (+ z (/ (* c i) t))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* t (+ z (/ (* z (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))) t))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* t (+ 1 (+ (/ (* a b) (* t z)) (+ (/ (* c i) (* t z)) (/ (* x y) (* t z)))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* t (+ z (/ (* i (+ c (+ (/ (* a b) i) (/ (* x y) i)))) t))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* t (+ (/ c t) (+ (/ z i) (+ (/ (* a b) (* i t)) (/ (* x y) (* i t)))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* t (+ (/ z i) (+ (/ (* a b) (* i t)) (/ (* x y) (* i t))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* t (+ z (+ (/ (* a b) t) (/ (* x y) t)))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* t (+ z (/ (* x y) t))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) t))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (* y (+ x (+ (/ (* a b) y) (/ (* c i) y)))) t))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* -1 (* t (+ (* -1 (/ z y)) (* -1 (/ (+ x (+ (/ (* a b) y) (/ (* c i) y))) t))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* -1 (* t (+ (* -1 (/ z y)) (* -1 (/ (+ (/ (* a b) y) (/ (* c i) y)) t))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* c i)) t))))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (* c i) t))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (* z (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))) t))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z))) t)) 1))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (* i (+ c (+ (/ (* a b) i) (/ (* x y) i)))) t))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* -1 (* t (+ (* -1 (/ z i)) (* -1 (/ (+ c (+ (/ (* a b) i) (/ (* x y) i))) t))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* -1 (* t (+ (* -1 (/ z i)) (* -1 (/ (+ (/ (* a b) i) (/ (* x y) i)) t))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t))))))) |
#s(approx (+ (* t z) (* y x)) #s(hole binary64 (* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t))))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (+ (* c i) (+ (* t z) (* x y))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* y (+ x (+ (/ (* c i) y) (/ (* t z) y)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (+ (* a b) (* y (+ x (+ (/ (* c i) y) (/ (* t z) y))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (+ x (+ (/ (* c i) y) (/ (* t z) y))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (/ (+ (* c i) (* t z)) y))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (+ (* c i) (* t z)))) |
#s(approx a #s(hole binary64 a)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* z (+ t (+ (/ (* c i) z) (/ (* x y) z)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (+ (* a b) (* z (+ t (+ (/ (* c i) z) (/ (* x y) z))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (+ t (+ (/ (* c i) z) (/ (* x y) z))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (/ (+ (* c i) (* x y)) z))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (+ (* c i) (* x y)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* i (+ c (+ (/ (* t z) i) (/ (* x y) i)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (+ (* a b) (* i (+ c (+ (/ (* t z) i) (/ (* x y) i))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (+ c (+ (/ (* t z) i) (/ (* x y) i))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (/ (+ (* t z) (* x y)) i))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (+ (* t z) (* x y)))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* a b))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* a (+ b (+ (/ (* c i) a) (+ (/ (* t z) a) (/ (* x y) a))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* a b))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* a (+ b (/ (* y (+ x (+ (/ (* c i) y) (/ (* t z) y)))) a))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (/ (* a b) y))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* a (+ (/ b y) (+ (/ x a) (+ (/ (* c i) (* a y)) (/ (* t z) (* a y)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (/ (* a b) y))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* a (+ (/ b y) (+ (/ (* c i) (* a y)) (/ (* t z) (* a y))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* a b))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* a (+ b (+ (/ (* c i) a) (/ (* t z) a)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* a b))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* a (+ b (/ (* z (+ t (+ (/ (* c i) z) (/ (* x y) z)))) a))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (/ (* a b) z))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* a (+ (/ b z) (+ (/ t a) (+ (/ (* c i) (* a z)) (/ (* x y) (* a z)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (/ (* a b) z))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* a (+ (/ b z) (+ (/ (* c i) (* a z)) (/ (* x y) (* a z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* a b))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* a (+ b (+ (/ (* c i) a) (/ (* x y) a)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* a b))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* a (+ b (/ (* i (+ c (+ (/ (* t z) i) (/ (* x y) i)))) a))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (/ (* a b) i))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* a (+ (/ b i) (+ (/ c a) (+ (/ (* t z) (* a i)) (/ (* x y) (* a i)))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (/ (* a b) i))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* a (+ (/ b i) (+ (/ (* t z) (* a i)) (/ (* x y) (* a i))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* a b))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* a (+ b (+ (/ (* t z) a) (/ (* x y) a)))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) a))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* a (+ (* -1 b) (* -1 (/ (* y (+ x (+ (/ (* c i) y) (/ (* t z) y)))) a))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* -1 (* a (+ (* -1 (/ b y)) (* -1 (/ (+ x (+ (/ (* c i) y) (/ (* t z) y))) a))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* -1 (* a (+ (* -1 (/ b y)) (* -1 (/ (+ (/ (* c i) y) (/ (* t z) y)) a))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (* t z)) a))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* a (+ (* -1 b) (* -1 (/ (* z (+ t (+ (/ (* c i) z) (/ (* x y) z)))) a))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* -1 (* a (+ (* -1 (/ b z)) (* -1 (/ (+ t (+ (/ (* c i) z) (/ (* x y) z))) a))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* -1 (* a (+ (* -1 (/ b z)) (* -1 (/ (+ (/ (* c i) z) (/ (* x y) z)) a))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (* x y)) a))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* a (+ (* -1 b) (* -1 (/ (* i (+ c (+ (/ (* t z) i) (/ (* x y) i)))) a))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* -1 (* a (+ (* -1 (/ b i)) (* -1 (/ (+ c (+ (/ (* t z) i) (/ (* x y) i))) a))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* -1 (* a (+ (* -1 (/ b i)) (* -1 (/ (+ (/ (* t z) i) (/ (* x y) i)) a))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a))))))) |
#s(approx b #s(hole binary64 b)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* b (+ a (+ (/ (* c i) b) (+ (/ (* t z) b) (/ (* x y) b))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* b (+ a (/ (* y (+ x (+ (/ (* c i) y) (/ (* t z) y)))) b))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* b (+ (/ a y) (+ (/ x b) (+ (/ (* c i) (* b y)) (/ (* t z) (* b y)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* b (+ (/ a y) (+ (/ (* c i) (* b y)) (/ (* t z) (* b y))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* b (+ a (+ (/ (* c i) b) (/ (* t z) b)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* b (+ a (/ (* z (+ t (+ (/ (* c i) z) (/ (* x y) z)))) b))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* b (+ (/ a z) (+ (/ t b) (+ (/ (* c i) (* b z)) (/ (* x y) (* b z)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* b (+ (/ a z) (+ (/ (* c i) (* b z)) (/ (* x y) (* b z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* b (+ a (+ (/ (* c i) b) (/ (* x y) b)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* b (+ a (/ (* i (+ c (+ (/ (* t z) i) (/ (* x y) i)))) b))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* b (+ (/ a i) (+ (/ c b) (+ (/ (* t z) (* b i)) (/ (* x y) (* b i)))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* b (+ (/ a i) (+ (/ (* t z) (* b i)) (/ (* x y) (* b i))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* b (+ a (+ (/ (* t z) b) (/ (* x y) b)))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) b))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* b (+ (* -1 a) (* -1 (/ (* y (+ x (+ (/ (* c i) y) (/ (* t z) y)))) b))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* -1 (* b (+ (* -1 (/ a y)) (* -1 (/ (+ x (+ (/ (* c i) y) (/ (* t z) y))) b))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* -1 (* b (+ (* -1 (/ a y)) (* -1 (/ (+ (/ (* c i) y) (/ (* t z) y)) b))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (* t z)) b))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* b (+ (* -1 a) (* -1 (/ (* z (+ t (+ (/ (* c i) z) (/ (* x y) z)))) b))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* -1 (* b (+ (* -1 (/ a z)) (* -1 (/ (+ t (+ (/ (* c i) z) (/ (* x y) z))) b))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* -1 (* b (+ (* -1 (/ a z)) (* -1 (/ (+ (/ (* c i) z) (/ (* x y) z)) b))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (* x y)) b))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* b (+ (* -1 a) (* -1 (/ (* i (+ c (+ (/ (* t z) i) (/ (* x y) i)))) b))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* -1 (* b (+ (* -1 (/ a i)) (* -1 (/ (+ c (+ (/ (* t z) i) (/ (* x y) i))) b))))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (* -1 (* b (+ (* -1 (/ a i)) (* -1 (/ (+ (/ (* t z) i) (/ (* x y) i)) b))))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) #s(hole binary64 (* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b))))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (+ (* a b) (+ (* t z) (* x y))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* y (+ x (+ (/ (* a b) y) (/ (* t z) y)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (+ (* c i) (* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (+ x (+ (/ (* a b) y) (/ (* t z) y))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (/ (+ (* a b) (* t z)) y))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (+ (* a b) (* t z)))) |
#s(approx c #s(hole binary64 c)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* z (+ t (+ (/ (* a b) z) (/ (* x y) z)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (+ (* c i) (* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (+ t (+ (/ (* a b) z) (/ (* x y) z))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (/ (+ (* a b) (* x y)) z))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (+ (* a b) (* x y)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* i (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (+ (* c i) (* i (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* c i))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* c (+ i (+ (/ (* a b) c) (+ (/ (* t z) c) (/ (* x y) c))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* c i))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* c (+ i (/ (* y (+ x (+ (/ (* a b) y) (/ (* t z) y)))) c))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (/ (* c i) y))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* c (+ (/ i y) (+ (/ x c) (+ (/ (* a b) (* c y)) (/ (* t z) (* c y)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (/ (* c i) y))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* c (+ (/ i y) (+ (/ (* a b) (* c y)) (/ (* t z) (* c y))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* c i))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* c (+ i (+ (/ (* a b) c) (/ (* t z) c)))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* c (+ i (/ (* t z) c))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* c i))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* c (+ i (/ (* z (+ t (+ (/ (* a b) z) (/ (* x y) z)))) c))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (/ (* c i) z))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* c (+ (/ i z) (+ (/ t c) (+ (/ (* a b) (* c z)) (/ (* x y) (* c z)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (/ (* c i) z))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* c (+ (/ i z) (+ (/ (* a b) (* c z)) (/ (* x y) (* c z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* c i))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* c (+ i (+ (/ (* a b) c) (/ (* x y) c)))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* c (+ i (/ (* x y) c))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* c i))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* c (+ i (/ (* i (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))) c))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 c)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* c (+ 1 (+ (/ (* a b) (* c i)) (+ (/ (* t z) (* c i)) (/ (* x y) (* c i)))))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) c))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (* y (+ x (+ (/ (* a b) y) (/ (* t z) y)))) c))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* -1 (* c (+ (* -1 (/ i y)) (* -1 (/ (+ x (+ (/ (* a b) y) (/ (* t z) y))) c))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* -1 (* c (+ (* -1 (/ i y)) (* -1 (/ (+ (/ (* a b) y) (/ (* t z) y)) c))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (* t z)) c))))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (* t z) c))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (* z (+ t (+ (/ (* a b) z) (/ (* x y) z)))) c))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* -1 (* c (+ (* -1 (/ i z)) (* -1 (/ (+ t (+ (/ (* a b) z) (/ (* x y) z))) c))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* -1 (* c (+ (* -1 (/ i z)) (* -1 (/ (+ (/ (* a b) z) (/ (* x y) z)) c))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (* x y)) c))))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (* x y) c))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* c (+ (* -1 i) (* -1 (/ (* i (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))) c))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (* -1 (* c (- (* -1 (/ (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i))) c)) 1))))) |
#s(approx i #s(hole binary64 i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (+ (* a b) (+ (* t z) (* x y))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (+ (* a b) (+ (* c i) (+ (* t z) (* x y)))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (/ (+ (* a b) (+ (* t z) (* x y))) i))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) #s(hole binary64 (/ (+ (* a b) (+ (* c i) (+ (* t z) (* x y)))) i))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) #s(hole binary64 (/ (+ (* a b) (+ (* t z) (* x y))) i))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* i (+ c (/ (* y (+ x (+ (/ (* a b) y) (/ (* t z) y)))) i))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* i (+ (/ c y) (+ (/ x i) (+ (/ (* a b) (* i y)) (/ (* t z) (* i y)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* i (+ (/ c y) (+ (/ (* a b) (* i y)) (/ (* t z) (* i y))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* i (+ c (+ (/ (* a b) i) (/ (* t z) i)))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* i (+ c (/ (* t z) i))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* i (+ c (/ (* z (+ t (+ (/ (* a b) z) (/ (* x y) z)))) i))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* i (+ (/ c z) (+ (/ t i) (+ (/ (* a b) (* i z)) (/ (* x y) (* i z)))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* i (+ (/ c z) (+ (/ (* a b) (* i z)) (/ (* x y) (* i z))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* i (+ c (+ (/ (* a b) i) (/ (* x y) i)))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* i (+ c (/ (* x y) i))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i))))))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (* y (+ x (+ (/ (* a b) y) (/ (* t z) y)))) i))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) #s(hole binary64 (* -1 (* i (+ (* -1 (/ c y)) (* -1 (/ (+ x (+ (/ (* a b) y) (/ (* t z) y))) i))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) #s(hole binary64 (* -1 (* i (+ (* -1 (/ c y)) (* -1 (/ (+ (/ (* a b) y) (/ (* t z) y)) i))))))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (* t z)) i))))))) |
#s(approx (+ (* i c) (* t z)) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (* t z) i))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (* z (+ t (+ (/ (* a b) z) (/ (* x y) z)))) i))))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) #s(hole binary64 (* -1 (* i (+ (* -1 (/ c z)) (* -1 (/ (+ t (+ (/ (* a b) z) (/ (* x y) z))) i))))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) #s(hole binary64 (* -1 (* i (+ (* -1 (/ c z)) (* -1 (/ (+ (/ (* a b) z) (/ (* x y) z)) i))))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (* x y)) i))))))) |
#s(approx (+ (* i c) (* y x)) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (* x y) i))))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) #s(hole binary64 (* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i))))))) |
| Outputs |
|---|
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) y)) |
(*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) y) |
(*.f64 y (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x)) |
(/.f64 (-.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (*.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y))) (-.f64 (*.f64 y x) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y))) |
(/.f64 (+.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (pow.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (-.f64 (*.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y)) (*.f64 (*.f64 y x) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y))))) |
(fma.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y (*.f64 y x)) |
(fma.f64 y (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) (*.f64 y x)) |
(fma.f64 y x (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y)) |
(fma.f64 x y (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y)) |
(-.f64 (*.f64 y x) (*.f64 (*.f64 #s(literal -1 binary64) y) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y))) |
(+.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y) (*.f64 y x)) |
(+.f64 (*.f64 y x) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y)) |
(/.f64 (-.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y)) (*.f64 x x)) (-.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x)) |
(/.f64 (-.f64 (*.f64 x x) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y))) (-.f64 x (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y))) |
(/.f64 (+.f64 (pow.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) (-.f64 (*.f64 x x) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x)))) |
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y)) (*.f64 x (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y))))) |
(+.f64 (+.f64 x (/.f64 (*.f64 b a) y)) (/.f64 (fma.f64 i c (*.f64 t z)) y)) |
(+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) |
(+.f64 x (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y)) |
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 b a) y) (/.f64 (*.f64 b a) y)) (*.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) (/.f64 (fma.f64 i c (*.f64 t z)) y))) (-.f64 (/.f64 (*.f64 b a) y) (/.f64 (fma.f64 i c (*.f64 t z)) y))) |
(/.f64 (+.f64 (pow.f64 (/.f64 (*.f64 b a) y) #s(literal 3 binary64)) (pow.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) #s(literal 3 binary64))) (+.f64 (*.f64 (/.f64 (*.f64 b a) y) (/.f64 (*.f64 b a) y)) (-.f64 (*.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) (/.f64 (fma.f64 i c (*.f64 t z)) y)) (*.f64 (/.f64 (*.f64 b a) y) (/.f64 (fma.f64 i c (*.f64 t z)) y))))) |
(/.f64 (neg.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z)))) (*.f64 #s(literal -1 binary64) y)) |
(/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) |
(fma.f64 a (/.f64 b y) (/.f64 (fma.f64 i c (*.f64 t z)) y)) |
(+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) (/.f64 (*.f64 t z) y)) |
(+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) (/.f64 (*.f64 b a) y)) |
(+.f64 (/.f64 (*.f64 b a) y) (/.f64 (fma.f64 i c (*.f64 t z)) y)) |
(/.f64 (-.f64 (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (fma.f64 i c (*.f64 t z)) (fma.f64 i c (*.f64 t z)))) (-.f64 (*.f64 b a) (fma.f64 i c (*.f64 t z)))) |
(/.f64 (+.f64 (pow.f64 (*.f64 b a) #s(literal 3 binary64)) (pow.f64 (fma.f64 i c (*.f64 t z)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 b a) (*.f64 b a)) (-.f64 (*.f64 (fma.f64 i c (*.f64 t z)) (fma.f64 i c (*.f64 t z))) (*.f64 (*.f64 b a) (fma.f64 i c (*.f64 t z)))))) |
(fma.f64 b a (fma.f64 i c (*.f64 t z))) |
(fma.f64 a b (fma.f64 i c (*.f64 t z))) |
(+.f64 (fma.f64 i c (*.f64 b a)) (*.f64 t z)) |
(+.f64 (fma.f64 i c (*.f64 t z)) (*.f64 b a)) |
(+.f64 (*.f64 b a) (fma.f64 i c (*.f64 t z))) |
b |
a |
(/.f64 (-.f64 (*.f64 (*.f64 i c) (*.f64 i c)) (*.f64 (*.f64 t z) (*.f64 t z))) (-.f64 (*.f64 i c) (*.f64 t z))) |
(/.f64 (+.f64 (pow.f64 (*.f64 i c) #s(literal 3 binary64)) (pow.f64 (*.f64 t z) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 i c) (*.f64 i c)) (-.f64 (*.f64 (*.f64 t z) (*.f64 t z)) (*.f64 (*.f64 i c) (*.f64 t z))))) |
(fma.f64 i c (*.f64 t z)) |
(fma.f64 c i (*.f64 t z)) |
(fma.f64 t z (*.f64 i c)) |
(fma.f64 z t (*.f64 i c)) |
(-.f64 (*.f64 i c) (*.f64 (*.f64 #s(literal -1 binary64) t) z)) |
(+.f64 (*.f64 t z) (*.f64 i c)) |
(+.f64 (*.f64 i c) (*.f64 t z)) |
i |
c |
(*.f64 t z) |
(*.f64 z t) |
t |
z |
y |
x |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) z)) |
(*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) z) |
(*.f64 z (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t)) |
(/.f64 (-.f64 (*.f64 (*.f64 t z) (*.f64 t z)) (*.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z))) (-.f64 (*.f64 t z) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z))) |
(/.f64 (+.f64 (pow.f64 (*.f64 t z) #s(literal 3 binary64)) (pow.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 t z) (*.f64 t z)) (-.f64 (*.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z)) (*.f64 (*.f64 t z) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z))))) |
(fma.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z (*.f64 t z)) |
(fma.f64 t z (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z)) |
(fma.f64 z (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) (*.f64 t z)) |
(fma.f64 z t (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z)) |
(-.f64 (*.f64 t z) (*.f64 (*.f64 #s(literal -1 binary64) z) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z))) |
(+.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z) (*.f64 t z)) |
(+.f64 (*.f64 t z) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z)) |
(/.f64 (-.f64 (*.f64 t t) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z))) (-.f64 t (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z))) |
(/.f64 (-.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z)) (*.f64 t t)) (-.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t)) |
(/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) #s(literal 3 binary64))) (+.f64 (*.f64 t t) (-.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z)) (*.f64 t (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z))))) |
(/.f64 (+.f64 (pow.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) (-.f64 (*.f64 t t) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t)))) |
(+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (fma.f64 i c (*.f64 y x)) z)) |
(+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) |
(+.f64 t (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z)) |
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 b a) z) (/.f64 (*.f64 b a) z)) (*.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) (/.f64 (fma.f64 i c (*.f64 y x)) z))) (-.f64 (/.f64 (*.f64 b a) z) (/.f64 (fma.f64 i c (*.f64 y x)) z))) |
(/.f64 (+.f64 (pow.f64 (/.f64 (*.f64 b a) z) #s(literal 3 binary64)) (pow.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) #s(literal 3 binary64))) (+.f64 (*.f64 (/.f64 (*.f64 b a) z) (/.f64 (*.f64 b a) z)) (-.f64 (*.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) (/.f64 (fma.f64 i c (*.f64 y x)) z)) (*.f64 (/.f64 (*.f64 b a) z) (/.f64 (fma.f64 i c (*.f64 y x)) z))))) |
(/.f64 (neg.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x)))) (*.f64 #s(literal -1 binary64) z)) |
(/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) |
(fma.f64 a (/.f64 b z) (/.f64 (fma.f64 i c (*.f64 y x)) z)) |
(+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) (/.f64 (*.f64 b a) z)) |
(+.f64 (/.f64 (fma.f64 (*.f64 b a) z (*.f64 z (*.f64 i c))) (*.f64 z z)) (/.f64 (*.f64 y x) z)) |
(+.f64 (/.f64 (*.f64 b a) z) (/.f64 (fma.f64 i c (*.f64 y x)) z)) |
(/.f64 (-.f64 (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (fma.f64 i c (*.f64 y x)) (fma.f64 i c (*.f64 y x)))) (-.f64 (*.f64 b a) (fma.f64 i c (*.f64 y x)))) |
(/.f64 (+.f64 (pow.f64 (*.f64 b a) #s(literal 3 binary64)) (pow.f64 (fma.f64 i c (*.f64 y x)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 b a) (*.f64 b a)) (-.f64 (*.f64 (fma.f64 i c (*.f64 y x)) (fma.f64 i c (*.f64 y x))) (*.f64 (*.f64 b a) (fma.f64 i c (*.f64 y x)))))) |
(fma.f64 b a (fma.f64 i c (*.f64 y x))) |
(fma.f64 a b (fma.f64 i c (*.f64 y x))) |
(+.f64 (fma.f64 i c (*.f64 b a)) (*.f64 y x)) |
(+.f64 (fma.f64 i c (*.f64 y x)) (*.f64 b a)) |
(+.f64 (*.f64 b a) (fma.f64 i c (*.f64 y x))) |
(/.f64 (-.f64 (*.f64 (*.f64 i c) (*.f64 i c)) (*.f64 (*.f64 y x) (*.f64 y x))) (-.f64 (*.f64 i c) (*.f64 y x))) |
(/.f64 (+.f64 (pow.f64 (*.f64 i c) #s(literal 3 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 i c) (*.f64 i c)) (-.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (*.f64 (*.f64 i c) (*.f64 y x))))) |
(fma.f64 i c (*.f64 y x)) |
(fma.f64 c i (*.f64 y x)) |
(fma.f64 y x (*.f64 i c)) |
(fma.f64 x y (*.f64 i c)) |
(-.f64 (*.f64 i c) (*.f64 (*.f64 #s(literal -1 binary64) x) y)) |
(-.f64 (*.f64 i c) (*.f64 (*.f64 #s(literal -1 binary64) y) x)) |
(+.f64 (*.f64 i c) (*.f64 y x)) |
(+.f64 (*.f64 y x) (*.f64 i c)) |
(*.f64 y x) |
(*.f64 x y) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) i)) |
(*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) i) |
(*.f64 i (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c)) |
(/.f64 (-.f64 (*.f64 (*.f64 i c) (*.f64 i c)) (*.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i))) (-.f64 (*.f64 i c) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i))) |
(/.f64 (+.f64 (pow.f64 (*.f64 i c) #s(literal 3 binary64)) (pow.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 i c) (*.f64 i c)) (-.f64 (*.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i)) (*.f64 (*.f64 i c) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i))))) |
(fma.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i (*.f64 i c)) |
(fma.f64 i (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) (*.f64 i c)) |
(fma.f64 i c (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i)) |
(fma.f64 c i (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i)) |
(-.f64 (*.f64 i c) (*.f64 (*.f64 #s(literal -1 binary64) i) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i))) |
(+.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i) (*.f64 i c)) |
(+.f64 (*.f64 i c) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i)) |
(/.f64 (-.f64 (*.f64 c c) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i))) (-.f64 c (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i))) |
(/.f64 (-.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i)) (*.f64 c c)) (-.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c)) |
(/.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) #s(literal 3 binary64))) (+.f64 (*.f64 c c) (-.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i)) (*.f64 c (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i))))) |
(/.f64 (+.f64 (pow.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) (-.f64 (*.f64 c c) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c)))) |
(+.f64 (+.f64 c (/.f64 (*.f64 b a) i)) (/.f64 (fma.f64 t z (*.f64 y x)) i)) |
(+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) |
(+.f64 c (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i)) |
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 b a) i) (/.f64 (*.f64 b a) i)) (*.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) (/.f64 (fma.f64 t z (*.f64 y x)) i))) (-.f64 (/.f64 (*.f64 b a) i) (/.f64 (fma.f64 t z (*.f64 y x)) i))) |
(/.f64 (+.f64 (pow.f64 (/.f64 (*.f64 b a) i) #s(literal 3 binary64)) (pow.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) #s(literal 3 binary64))) (+.f64 (*.f64 (/.f64 (*.f64 b a) i) (/.f64 (*.f64 b a) i)) (-.f64 (*.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) (/.f64 (fma.f64 t z (*.f64 y x)) i)) (*.f64 (/.f64 (*.f64 b a) i) (/.f64 (fma.f64 t z (*.f64 y x)) i))))) |
(/.f64 (neg.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x)))) (*.f64 #s(literal -1 binary64) i)) |
(/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) |
(fma.f64 a (/.f64 b i) (/.f64 (fma.f64 t z (*.f64 y x)) i)) |
(+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) (/.f64 (*.f64 b a) i)) |
(+.f64 (/.f64 (fma.f64 (*.f64 b a) i (*.f64 i (*.f64 t z))) (*.f64 i i)) (/.f64 (*.f64 y x) i)) |
(+.f64 (/.f64 (*.f64 b a) i) (/.f64 (fma.f64 t z (*.f64 y x)) i)) |
(/.f64 (-.f64 (*.f64 (fma.f64 t z (*.f64 y x)) (fma.f64 t z (*.f64 y x))) (*.f64 (*.f64 b a) (*.f64 b a))) (-.f64 (fma.f64 t z (*.f64 y x)) (*.f64 b a))) |
(/.f64 (-.f64 (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (fma.f64 t z (*.f64 y x)) (fma.f64 t z (*.f64 y x)))) (-.f64 (*.f64 b a) (fma.f64 t z (*.f64 y x)))) |
(/.f64 (+.f64 (pow.f64 (fma.f64 t z (*.f64 y x)) #s(literal 3 binary64)) (pow.f64 (*.f64 b a) #s(literal 3 binary64))) (+.f64 (*.f64 (fma.f64 t z (*.f64 y x)) (fma.f64 t z (*.f64 y x))) (-.f64 (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (fma.f64 t z (*.f64 y x)) (*.f64 b a))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 b a) #s(literal 3 binary64)) (pow.f64 (fma.f64 t z (*.f64 y x)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 b a) (*.f64 b a)) (-.f64 (*.f64 (fma.f64 t z (*.f64 y x)) (fma.f64 t z (*.f64 y x))) (*.f64 (*.f64 b a) (fma.f64 t z (*.f64 y x)))))) |
(fma.f64 b a (fma.f64 t z (*.f64 y x))) |
(fma.f64 a b (fma.f64 t z (*.f64 y x))) |
(fma.f64 y x (fma.f64 b a (*.f64 t z))) |
(fma.f64 x y (fma.f64 b a (*.f64 t z))) |
(-.f64 (fma.f64 t z (*.f64 y x)) (*.f64 (*.f64 #s(literal -1 binary64) a) b)) |
(+.f64 (fma.f64 b a (*.f64 t z)) (*.f64 y x)) |
(+.f64 (fma.f64 t z (*.f64 y x)) (*.f64 b a)) |
(+.f64 (*.f64 b a) (fma.f64 t z (*.f64 y x))) |
(+.f64 (*.f64 y x) (fma.f64 b a (*.f64 t z))) |
(/.f64 (-.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (*.f64 (*.f64 t z) (*.f64 t z))) (-.f64 (*.f64 y x) (*.f64 t z))) |
(/.f64 (-.f64 (*.f64 (*.f64 t z) (*.f64 t z)) (*.f64 (*.f64 y x) (*.f64 y x))) (-.f64 (*.f64 t z) (*.f64 y x))) |
(/.f64 (+.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (pow.f64 (*.f64 t z) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (-.f64 (*.f64 (*.f64 t z) (*.f64 t z)) (*.f64 (*.f64 y x) (*.f64 t z))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 t z) #s(literal 3 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 t z) (*.f64 t z)) (-.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (*.f64 (*.f64 t z) (*.f64 y x))))) |
(fma.f64 t z (*.f64 y x)) |
(fma.f64 z t (*.f64 y x)) |
(fma.f64 y x (*.f64 t z)) |
(fma.f64 x y (*.f64 t z)) |
(-.f64 (*.f64 t z) (*.f64 (*.f64 #s(literal -1 binary64) x) y)) |
(-.f64 (*.f64 t z) (*.f64 (*.f64 #s(literal -1 binary64) y) x)) |
(-.f64 (*.f64 y x) (*.f64 (*.f64 #s(literal -1 binary64) z) t)) |
(+.f64 (*.f64 t z) (*.f64 y x)) |
(+.f64 (*.f64 y x) (*.f64 t z)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a (fma.f64 i c (*.f64 t z)))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a (fma.f64 i c (fma.f64 t z (*.f64 y x))))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x)) |
#s(approx x x) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (fma.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) z (*.f64 y x))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (fma.f64 (*.f64 b a) z (*.f64 z (*.f64 i c))) (*.f64 z z))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (fma.f64 i c (*.f64 b a))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (fma.f64 b a (fma.f64 i c (*.f64 y x)))) |
#s(approx (+ (* i c) (* y x)) (*.f64 i c)) |
#s(approx (+ (* i c) (* y x)) (fma.f64 i c (*.f64 y x))) |
#s(approx (* y x) (*.f64 y x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (+.f64 c (/.f64 (*.f64 b a) i)) (/.f64 (*.f64 t z) i)) i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (fma.f64 (+.f64 (+.f64 c (/.f64 (*.f64 b a) i)) (/.f64 (*.f64 t z) i)) i (*.f64 y x))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (+.f64 (+.f64 c (/.f64 (*.f64 b a) i)) (/.f64 (*.f64 t z) i))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (/.f64 (fma.f64 (*.f64 b a) i (*.f64 i (*.f64 t z))) (*.f64 i i))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (fma.f64 b a (*.f64 t z))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (fma.f64 b a (fma.f64 t z (*.f64 y x)))) |
#s(approx (+ (* t z) (* y x)) (*.f64 t z)) |
#s(approx (+ (* t z) (* y x)) (fma.f64 t z (*.f64 y x))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 y x)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) x) y) x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 y x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y) x) y) x)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) x) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (+.f64 (+.f64 #s(literal 1 binary64) (/.f64 (/.f64 (*.f64 b a) x) y)) (/.f64 (fma.f64 i c (*.f64 t z)) (*.f64 y x))) x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 y x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (fma.f64 z (/.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) x) y) x)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (/.f64 (*.f64 y x) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) (*.f64 z x)) (/.f64 y z)) (/.f64 t x)) x)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (*.f64 y x) z)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) (*.f64 z x)) (/.f64 y z)) x)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 y x)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) x) y) x)) |
#s(approx (+ (* i c) (* y x)) (*.f64 y x)) |
#s(approx (+ (* i c) (* y x)) (*.f64 (+.f64 (/.f64 (*.f64 i c) x) y) x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 y x)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (fma.f64 i (+.f64 (/.f64 c x) (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i x))) y) x)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (/.f64 (*.f64 y x) i)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i x)) (/.f64 y i)) (/.f64 c x)) x)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (/.f64 (*.f64 y x) i)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i x)) (/.f64 y i)) x)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 y x)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) x) y) x)) |
#s(approx (+ (* t z) (* y x)) (*.f64 y x)) |
#s(approx (+ (* t z) (* y x)) (*.f64 (+.f64 (/.f64 (*.f64 t z) x) y) x)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (fma.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) x) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) y)) x) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) y) x) y)) x) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) #s(literal -1 binary64)) #s(literal 1 binary64)) x) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 #s(literal -1 binary64) x) (*.f64 #s(literal -1 binary64) (fma.f64 z (/.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) x) y)))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (*.f64 #s(literal -1 binary64) x) (fma.f64 (/.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) x) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 y z))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (*.f64 #s(literal -1 binary64) x) (fma.f64 (+.f64 (/.f64 (/.f64 (*.f64 b a) z) x) (/.f64 (/.f64 (*.f64 i c) z) x)) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 y z))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) x) y)) x) #s(literal -1 binary64))) |
#s(approx (+ (* i c) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 i c) x) y)) x) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 #s(literal -1 binary64) x) (*.f64 #s(literal -1 binary64) (fma.f64 i (+.f64 (/.f64 c x) (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i x))) y)))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (*.f64 #s(literal -1 binary64) x) (fma.f64 (+.f64 (/.f64 c x) (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i x))) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 y i))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (*.f64 #s(literal -1 binary64) x) (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i x)) (*.f64 #s(literal -1 binary64) (/.f64 y i))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) x) y)) x) #s(literal -1 binary64))) |
#s(approx (+ (* t z) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 t z) x) y)) x) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (fma.f64 b a (fma.f64 i c (*.f64 t z)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (fma.f64 b a (fma.f64 i c (fma.f64 t z (*.f64 y x))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (/.f64 (fma.f64 b a (fma.f64 i c (fma.f64 t z (*.f64 y x)))) y)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y)) |
#s(approx y y) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) y)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x) y)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (fma.f64 z (/.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) y) x) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (fma.f64 (/.f64 t y) y (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y) z))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y) z)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y)) |
#s(approx (+ (* i c) (* y x)) (*.f64 (+.f64 (/.f64 (*.f64 i c) y) x) y)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (fma.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) (/.f64 c y)) i x) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) (/.f64 x i)) (/.f64 c y)) y)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) (/.f64 x i)) y)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) y)) |
#s(approx (+ (* t z) (* y x)) (*.f64 (+.f64 (/.f64 (*.f64 t z) y) x) y)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x)) y) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y) x)) y) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (fma.f64 z (/.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) y) x)))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (*.f64 #s(literal -1 binary64) y) (fma.f64 (/.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) y) #s(literal -1 binary64) (*.f64 (/.f64 x z) #s(literal -1 binary64))))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (*.f64 #s(literal -1 binary64) y) (fma.f64 (+.f64 (/.f64 (/.f64 (*.f64 b a) z) y) (/.f64 (/.f64 (*.f64 i c) z) y)) #s(literal -1 binary64) (*.f64 (/.f64 x z) #s(literal -1 binary64))))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x)) y) #s(literal -1 binary64))) |
#s(approx (+ (* i c) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 i c) y) x)) y) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (fma.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) (/.f64 c y)) i x)))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (*.f64 #s(literal -1 binary64) y) (fma.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) (/.f64 c y)) #s(literal -1 binary64) (*.f64 (/.f64 x i) #s(literal -1 binary64))))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (*.f64 #s(literal -1 binary64) y) (fma.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) #s(literal -1 binary64) (*.f64 (/.f64 x i) #s(literal -1 binary64))))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x)) y) #s(literal -1 binary64))) |
#s(approx (+ (* t z) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 t z) y) x)) y) #s(literal -1 binary64))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a (fma.f64 i c (*.f64 y x)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (fma.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y (*.f64 t z))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (fma.f64 i c (*.f64 b a)) y)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 t z))) y)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (fma.f64 i c (*.f64 b a))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (fma.f64 b a (fma.f64 i c (*.f64 t z)))) |
#s(approx (+ (* i c) (* t z)) (*.f64 i c)) |
#s(approx (+ (* i c) (* t z)) (fma.f64 i c (*.f64 t z))) |
#s(approx (* t z) (*.f64 t z)) |
#s(approx z z) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (fma.f64 b a (fma.f64 i c (*.f64 y x)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (fma.f64 b a (fma.f64 i c (fma.f64 t z (*.f64 y x))))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (/.f64 (fma.f64 b a (fma.f64 i c (fma.f64 t z (*.f64 y x)))) z)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (fma.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i (*.f64 t z))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (fma.f64 b a (*.f64 y x))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 t z)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 t z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y) z) t) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (/.f64 (*.f64 t z) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (+.f64 (/.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) z) (/.f64 t y)) z)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (*.f64 t z) y)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (+.f64 (/.f64 (*.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) z)) (/.f64 t y)) z)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 t z)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (+.f64 (+.f64 t (/.f64 (*.f64 b a) z)) (/.f64 (*.f64 i c) z)) z)) |
#s(approx (+ (* i c) (* t z)) (*.f64 t z)) |
#s(approx (+ (* i c) (* t z)) (*.f64 (+.f64 (/.f64 (*.f64 i c) z) t) z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 t z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) t) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 t z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i) z) t) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (/.f64 (*.f64 t z) i)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) z) (/.f64 t i)) (/.f64 c z)) z)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (/.f64 (*.f64 t z) i)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (fma.f64 (/.f64 t i) z (*.f64 (/.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) z) z))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 t z)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) z)) |
#s(approx (+ (* t z) (* y x)) (*.f64 (fma.f64 x (/.f64 y z) t) z)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t)) z) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y) z) t)) z) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (*.f64 (fma.f64 (/.f64 t y) #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x)) z)) z) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (*.f64 (fma.f64 (/.f64 t y) #s(literal -1 binary64) (/.f64 (*.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) #s(literal -1 binary64)) z)) z) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (*.f64 #s(literal -1 binary64) z) (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 (*.f64 b a) z (*.f64 z (*.f64 i c))) (*.f64 z z)) (*.f64 #s(literal -1 binary64) t)))) |
#s(approx (+ (* i c) (* t z)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 i c) z) t)) z) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t)) z) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i) z) t)) z) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) z) #s(literal -1 binary64) (*.f64 (/.f64 t i) #s(literal -1 binary64))) z) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (*.f64 (fma.f64 (/.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) z) #s(literal -1 binary64) (*.f64 (/.f64 t i) #s(literal -1 binary64))) z) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t)) z) #s(literal -1 binary64))) |
#s(approx (+ (* t z) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x (/.f64 y z) t)) z) #s(literal -1 binary64))) |
#s(approx t t) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) t) z) t)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y) t) z) t)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) (*.f64 t y)) (/.f64 z y)) (/.f64 x t)) t)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) (*.f64 t y)) (/.f64 z y)) t)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) t) z) t)) |
#s(approx (+ (* i c) (* t z)) (*.f64 (+.f64 (/.f64 (*.f64 i c) t) z) t)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z) t) z) t)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (+.f64 (+.f64 #s(literal 1 binary64) (/.f64 (/.f64 (*.f64 b a) t) z)) (/.f64 (fma.f64 i c (*.f64 y x)) (*.f64 t z))) t)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i) t) z) t)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) t) (/.f64 z i)) (/.f64 c t)) t)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (fma.f64 (/.f64 z i) t (*.f64 (/.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) t) t))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) t) z) t)) |
#s(approx (+ (* t z) (* y x)) (*.f64 (+.f64 (/.f64 (*.f64 y x) t) z) t)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (fma.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) t) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) z)) t) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) y) t) z)) t) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) x) t) #s(literal -1 binary64) (*.f64 (/.f64 z y) #s(literal -1 binary64))) t) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 i c (*.f64 b a)) y) t) #s(literal -1 binary64) (*.f64 (/.f64 z y) #s(literal -1 binary64))) t) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 b a)) t) z)) t) #s(literal -1 binary64))) |
#s(approx (+ (* i c) (* t z)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 i c) t) z)) t) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) z) t) z)) t) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (/.f64 (fma.f64 b a (fma.f64 i c (*.f64 y x))) z) t) #s(literal -1 binary64)) #s(literal 1 binary64)) t) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i) t) z)) t) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) t) #s(literal -1 binary64) (*.f64 (/.f64 z i) #s(literal -1 binary64))) t) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (*.f64 (fma.f64 (/.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) t) #s(literal -1 binary64) (*.f64 (/.f64 z i) #s(literal -1 binary64))) t) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) t) z)) t) #s(literal -1 binary64))) |
#s(approx (+ (* t z) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 y x) t) z)) t) #s(literal -1 binary64))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 i c (fma.f64 t z (*.f64 y x)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) y)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (fma.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) y (*.f64 b a))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (fma.f64 i c (*.f64 t z)) y)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (fma.f64 i c (*.f64 t z))) |
#s(approx a a) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (fma.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) z (*.f64 b a))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (fma.f64 i c (*.f64 y x)) z)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (fma.f64 i c (*.f64 y x))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (fma.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) i (*.f64 b a))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (/.f64 (fma.f64 t z (*.f64 y x)) i)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (fma.f64 t z (*.f64 y x))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 b a)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 i c (fma.f64 t z (*.f64 y x))) a) b) a)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 b a)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) y) a) b) a)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (/.f64 (*.f64 b a) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) (*.f64 a y)) (/.f64 x a)) (/.f64 b y)) a)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (*.f64 b a) y)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) (*.f64 a y)) (/.f64 b y)) a)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 b a)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) a) b) a)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 b a)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) z) a) b) a)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (/.f64 (*.f64 b a) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) (*.f64 a z)) (/.f64 t a)) (/.f64 b z)) a)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (*.f64 b a) z)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) (*.f64 a z)) (/.f64 b z)) a)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 b a)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) a) b) a)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 b a)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) i) a) b) a)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (/.f64 (*.f64 b a) i)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) (*.f64 i a)) (/.f64 c a)) (/.f64 b i)) a)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (/.f64 (*.f64 b a) i)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) (*.f64 i a)) (/.f64 b i)) a)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 b a)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) a) b) a)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (fma.f64 (/.f64 (fma.f64 i c (fma.f64 t z (*.f64 y x))) a) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) b)) a) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) y) a) b)) a) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) a) #s(literal -1 binary64) (*.f64 (/.f64 b y) #s(literal -1 binary64))) a) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) a) #s(literal -1 binary64) (*.f64 (/.f64 b y) #s(literal -1 binary64))) a) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) a) b)) a) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) z) a) b)) a) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) a) #s(literal -1 binary64) (*.f64 (/.f64 b z) #s(literal -1 binary64))) a) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) a) #s(literal -1 binary64) (*.f64 (/.f64 b z) #s(literal -1 binary64))) a) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) a) b)) a) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) i) a) b)) a) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) a) #s(literal -1 binary64) (*.f64 (/.f64 b i) #s(literal -1 binary64))) a) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) a) #s(literal -1 binary64) (*.f64 (/.f64 b i) #s(literal -1 binary64))) a) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) a) b)) a) #s(literal -1 binary64))) |
#s(approx b b) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 i c (fma.f64 t z (*.f64 y x))) b) a) b)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) y) b) a) b)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) (*.f64 b y)) (/.f64 x b)) (/.f64 a y)) b)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) (*.f64 b y)) (/.f64 a y)) b)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) b) a) b)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) z) b) a) b)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) (*.f64 b z)) (/.f64 t b)) (/.f64 a z)) b)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) (*.f64 b z)) (/.f64 a z)) b)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) b) a) b)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) i) b) a) b)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) (*.f64 i b)) (/.f64 c b)) (/.f64 a i)) b)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) (*.f64 i b)) (/.f64 a i)) b)) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) b) a) b)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (fma.f64 (/.f64 (fma.f64 i c (fma.f64 t z (*.f64 y x))) b) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) a)) b) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) y) b) a)) b) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) x) b) #s(literal -1 binary64) (*.f64 (/.f64 a y) #s(literal -1 binary64))) b) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 i c (*.f64 t z)) y) b) #s(literal -1 binary64) (*.f64 (/.f64 a y) #s(literal -1 binary64))) b) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 t z)) b) a)) b) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) z) b) a)) b) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) t) b) #s(literal -1 binary64) (*.f64 (/.f64 a z) #s(literal -1 binary64))) b) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 i c (*.f64 y x)) z) b) #s(literal -1 binary64) (*.f64 (/.f64 a z) #s(literal -1 binary64))) b) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 i c (*.f64 y x)) b) a)) b) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) i) b) a)) b) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) c) b) #s(literal -1 binary64) (*.f64 (/.f64 a i) #s(literal -1 binary64))) b) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 t z (*.f64 y x)) i) b) #s(literal -1 binary64) (*.f64 (/.f64 a i) #s(literal -1 binary64))) b) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* t z) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 t z (*.f64 y x)) b) a)) b) #s(literal -1 binary64))) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a (fma.f64 t z (*.f64 y x)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) y)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (fma.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) y (*.f64 i c))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (fma.f64 b a (*.f64 t z)) y)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (fma.f64 b a (*.f64 t z))) |
#s(approx c c) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) z)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (fma.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) z (*.f64 i c))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (fma.f64 b a (*.f64 y x)) z)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (fma.f64 b a (*.f64 y x))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) i)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 i c)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) c) i) c)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 i c)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) y) c) i) c)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (/.f64 (*.f64 i c) y)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 c y)) (/.f64 x c)) (/.f64 i y)) c)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (/.f64 (*.f64 i c) y)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 c y)) (/.f64 i y)) c)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 i c)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) c) i) c)) |
#s(approx (+ (* i c) (* t z)) (*.f64 (+.f64 (/.f64 (*.f64 t z) c) i) c)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 i c)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) z) c) i) c)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (/.f64 (*.f64 i c) z)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) (*.f64 c z)) (/.f64 t c)) (/.f64 i z)) c)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (*.f64 i c) z)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) (*.f64 c z)) (/.f64 i z)) c)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 i c)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) c) i) c)) |
#s(approx (+ (* i c) (* y x)) (*.f64 (+.f64 (/.f64 (*.f64 y x) c) i) c)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 i c)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i) c) i) c)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) c) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (+.f64 (+.f64 #s(literal 1 binary64) (/.f64 (/.f64 (*.f64 b a) c) i)) (/.f64 (fma.f64 t z (*.f64 y x)) (*.f64 i c))) c)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (fma.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) c) #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) i)) c) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) y) c) i)) c) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) c) #s(literal -1 binary64) (*.f64 (/.f64 i y) #s(literal -1 binary64))) c) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) c) #s(literal -1 binary64) (*.f64 (/.f64 i y) #s(literal -1 binary64))) c) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) c) i)) c) #s(literal -1 binary64))) |
#s(approx (+ (* i c) (* t z)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 t z) c) i)) c) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) z) c) i)) c) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) c) #s(literal -1 binary64) (*.f64 (/.f64 i z) #s(literal -1 binary64))) c) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) c) #s(literal -1 binary64) (*.f64 (/.f64 i z) #s(literal -1 binary64))) c) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) c) i)) c) #s(literal -1 binary64))) |
#s(approx (+ (* i c) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 y x) c) i)) c) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) i) c) i)) c) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) #s(literal -1 binary64)) #s(literal 1 binary64)) c) #s(literal -1 binary64))) |
#s(approx i i) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (fma.f64 b a (fma.f64 t z (*.f64 y x)))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (fma.f64 b a (fma.f64 i c (fma.f64 t z (*.f64 y x))))) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i)) |
#s(approx (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) (/.f64 (fma.f64 b a (fma.f64 i c (fma.f64 t z (*.f64 y x)))) i)) |
#s(approx (/ (+ (* b a) (+ (* t z) (* y x))) i) (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) y) i) c) i)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) (/.f64 x i)) (/.f64 c y)) i)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) (*.f64 i y)) (/.f64 c y)) i)) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (+.f64 (+.f64 c (/.f64 (*.f64 b a) i)) (/.f64 (*.f64 t z) i)) i)) |
#s(approx (+ (* i c) (* t z)) (*.f64 (fma.f64 t (/.f64 z i) c) i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) z) i) c) i)) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (+.f64 (+.f64 (/.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) z) (/.f64 t i)) (/.f64 c z)) i)) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (/.f64 (*.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i) z)) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c) i)) |
#s(approx (+ (* i c) (* y x)) (*.f64 (fma.f64 x (/.f64 y i) c) i)) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c) i)) |
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c)) i) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) y) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) y) i) c)) i) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* t z))) y) x) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) x) i) #s(literal -1 binary64) (*.f64 (/.f64 c y) #s(literal -1 binary64))) i) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* t z))) y) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 b a (*.f64 t z)) y) i) #s(literal -1 binary64) (*.f64 (/.f64 c y) #s(literal -1 binary64))) i) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* t z))) (*.f64 (*.f64 #s(literal -1 binary64) i) (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 (*.f64 b a) i (*.f64 i (*.f64 t z))) (*.f64 i i)) (*.f64 #s(literal -1 binary64) c)))) |
#s(approx (+ (* i c) (* t z)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (fma.f64 t (/.f64 z i) c)) i) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) z) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (*.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) z) i) c)) i) #s(literal -1 binary64))) |
#s(approx (+ (/ (+ (* b a) (+ (* i c) (* y x))) z) t) (*.f64 (*.f64 (fma.f64 (/.f64 (+.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) t) i) #s(literal -1 binary64) (*.f64 (/.f64 c z) #s(literal -1 binary64))) i) #s(literal -1 binary64))) |
#s(approx (/ (+ (* b a) (+ (* i c) (* y x))) z) (*.f64 (*.f64 (fma.f64 (/.f64 (/.f64 (fma.f64 b a (*.f64 y x)) z) i) #s(literal -1 binary64) (*.f64 (/.f64 c z) #s(literal -1 binary64))) i) #s(literal -1 binary64))) |
#s(approx (+ (* b a) (+ (* i c) (* y x))) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (fma.f64 x (/.f64 y i) (/.f64 (*.f64 b a) i)) c)) i) #s(literal -1 binary64))) |
#s(approx (+ (* i c) (* y x)) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x (/.f64 y i) c)) i) #s(literal -1 binary64))) |
#s(approx (* (+ (/ (+ (* b a) (+ (* t z) (* y x))) i) c) i) (*.f64 (*.f64 (*.f64 #s(literal -1 binary64) (+.f64 (/.f64 (fma.f64 b a (fma.f64 t z (*.f64 y x))) i) c)) i) #s(literal -1 binary64))) |