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