(-.f64 (*.f64 x y) (*.f64 z t))

(*.f64 x y)

x

y

(*.f64 z t)

z

t

(neg.f64 (-.f64 (*.f64 t z) (*.f64 y x)))

(fma.f64 (neg.f64 t) z (*.f64 y x))

(fma.f64 (neg.f64 y) (neg.f64 x) (*.f64 (neg.f64 z) t))

(fma.f64 (neg.f64 x) (neg.f64 y) (*.f64 (neg.f64 z) t))

(fma.f64 (neg.f64 z) t (*.f64 y x))

(fma.f64 t (neg.f64 z) (*.f64 y x))

(fma.f64 z (neg.f64 t) (*.f64 y x))

(fma.f64 y x (*.f64 (neg.f64 z) t))

(fma.f64 x y (*.f64 (neg.f64 z) t))

(-.f64 (*.f64 (neg.f64 z) t) (*.f64 (neg.f64 y) x))

(-.f64 (*.f64 y x) (*.f64 t z))

(+.f64 (*.f64 (neg.f64 z) t) (*.f64 y x))

(+.f64 (*.f64 y x) (*.f64 (neg.f64 z) t))

(*.f64 (neg.f64 y) (neg.f64 x))

(*.f64 (neg.f64 x) (neg.f64 y))

(*.f64 y x)

(*.f64 x y)

(neg.f64 (*.f64 (neg.f64 y) x))

x

y

(*.f64 (neg.f64 t) (neg.f64 z))

(*.f64 (neg.f64 z) (neg.f64 t))

(*.f64 t z)

(*.f64 z t)

(neg.f64 (*.f64 (neg.f64 z) t))

z

t

#s(approx (- (* x y) (* z t)) (*.f64 #s(literal -1 binary64) (*.f64 t z)))

(*.f64 #s(literal -1 binary64) (*.f64 t z))

#s(literal -1 binary64)

(*.f64 t z)

t

z

(fma.f64 y x (*.f64 (neg.f64 z) t))

y

x

(*.f64 (neg.f64 z) t)

(neg.f64 z)

(fma.f64 (neg.f64 z) t (*.f64 y x))

(*.f64 y x)

#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))

(*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64))

(*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64))

(*.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64))

(*.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64))

(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64))

(*.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)))

(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)))

(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)))

(*.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t))

(*.f64 (neg.f64 t) z)

(*.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64))

(*.f64 (neg.f64 z) t)

(*.f64 #s(literal -1 binary64) (*.f64 t z))

(*.f64 (*.f64 t z) #s(literal -1 binary64))

(*.f64 t (neg.f64 z))

(*.f64 z (neg.f64 t))

(/.f64 (*.f64 (*.f64 (neg.f64 z) t) #s(literal 8 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 (*.f64 (neg.f64 z) t) #s(literal 4 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 (neg.f64 z) t)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 z) t)) #s(literal 4 binary64))

(/.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1 binary64)) #s(literal 2 binary64))

(/.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal -1 binary64)) #s(literal -2 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal -4 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 16 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) (+.f64 z z)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal -2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) z) (+.f64 t t)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (+.f64 z z) t)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (+.f64 z z) t)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal -2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal 2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 (+.f64 t t) (*.f64 #s(literal -2 binary64) z)) #s(literal 4 binary64))

(/.f64 (*.f64 (+.f64 z z) (*.f64 #s(literal -2 binary64) t)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 16 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 2 binary64))

(/.f64 (*.f64 (+.f64 z z) t) #s(literal -2 binary64))

(/.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64))

(neg.f64 (*.f64 t z))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) #s(literal 0 binary64))

(fma.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) #s(literal 0 binary64))

(fma.f64 (neg.f64 t) z #s(literal 0 binary64))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64) (*.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64)))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) #s(literal 0 binary64))

(fma.f64 (neg.f64 z) t #s(literal 0 binary64))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) #s(literal 0 binary64))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) #s(literal 0 binary64))

(fma.f64 t (neg.f64 z) #s(literal 0 binary64))

(fma.f64 z (neg.f64 t) #s(literal 0 binary64))

(-.f64 (*.f64 (neg.f64 z) t) #s(literal 0 binary64))

(+.f64 (*.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64)) (*.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64)))

(+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)))

(+.f64 #s(literal 0 binary64) (*.f64 (neg.f64 z) t))

(+.f64 (*.f64 (neg.f64 z) t) #s(literal 0 binary64))

#s(literal -1 binary64)

(*.f64 (/.f64 (*.f64 (+.f64 z z) t) #s(literal 8 binary64)) #s(literal 4 binary64))

(*.f64 (/.f64 (*.f64 (+.f64 z z) t) #s(literal 4 binary64)) #s(literal 2 binary64))

(*.f64 (/.f64 (*.f64 t z) #s(literal -1 binary64)) #s(literal -1 binary64))

(*.f64 (/.f64 (*.f64 t z) #s(literal 2 binary64)) #s(literal 2 binary64))

(*.f64 (*.f64 (+.f64 z z) t) #s(literal 1/2 binary64))

(*.f64 #s(literal -2 binary64) (/.f64 (*.f64 t z) #s(literal -2 binary64)))

(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 t z)))

(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 t z) #s(literal 2 binary64)))

(*.f64 #s(literal 1 binary64) (*.f64 t z))

(*.f64 (neg.f64 t) (neg.f64 z))

(*.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64))

(*.f64 (neg.f64 z) (neg.f64 t))

(*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 z) t))

(*.f64 (*.f64 t z) #s(literal 1 binary64))

(*.f64 t z)

(*.f64 z t)

(/.f64 (*.f64 (*.f64 t z) #s(literal 8 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 (*.f64 t z) #s(literal 4 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 t z)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 t z)) #s(literal 4 binary64))

(/.f64 (/.f64 (*.f64 (+.f64 z z) t) #s(literal 1 binary64)) #s(literal 2 binary64))

(/.f64 (/.f64 (*.f64 (+.f64 z z) t) #s(literal -1 binary64)) #s(literal -2 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 (+.f64 z z) t)) #s(literal 16 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (+.f64 z z) t)) #s(literal 8 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) (*.f64 #s(literal -2 binary64) z)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) z) (*.f64 #s(literal -2 binary64) t)) #s(literal 4 binary64))

(/.f64 (*.f64 (+.f64 t t) (+.f64 z z)) #s(literal 4 binary64))

(/.f64 (*.f64 (+.f64 z z) (+.f64 t t)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal 8 binary64)) #s(literal 16 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal 4 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal -2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (+.f64 z z) t)) #s(literal -4 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (+.f64 z z) t)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal -2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal 2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal -2 binary64))

(/.f64 (*.f64 (+.f64 z z) t) #s(literal 2 binary64))

(/.f64 (*.f64 t z) #s(literal 1 binary64))

(neg.f64 (*.f64 (neg.f64 z) t))

(fma.f64 (/.f64 (*.f64 (+.f64 z z) t) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 (+.f64 z z) t) #s(literal 4 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 t z) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 t z) #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (*.f64 (+.f64 z z) t) #s(literal 1/2 binary64) #s(literal 0 binary64))

(fma.f64 #s(literal 1/2 binary64) (*.f64 t z) (*.f64 #s(literal 1/2 binary64) (*.f64 t z)))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 t z) #s(literal -2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 t z)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 t z) #s(literal 2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 1 binary64) (*.f64 t z) #s(literal 0 binary64))

(fma.f64 (neg.f64 t) (neg.f64 z) #s(literal 0 binary64))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64) #s(literal 0 binary64))

(fma.f64 (neg.f64 z) (neg.f64 t) #s(literal 0 binary64))

(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 z) t) #s(literal 0 binary64))

(fma.f64 (*.f64 t z) #s(literal 1/2 binary64) (*.f64 (*.f64 t z) #s(literal 1/2 binary64)))

(fma.f64 (*.f64 t z) #s(literal 1 binary64) #s(literal 0 binary64))

(fma.f64 t z #s(literal 0 binary64))

(fma.f64 z t #s(literal 0 binary64))

(-.f64 (*.f64 t z) #s(literal 0 binary64))

(+.f64 (*.f64 (*.f64 t z) #s(literal 1/2 binary64)) (*.f64 (*.f64 t z) #s(literal 1/2 binary64)))

(+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 t z)) (*.f64 #s(literal 1/2 binary64) (*.f64 t z)))

(+.f64 #s(literal 0 binary64) (*.f64 t z))

(+.f64 (*.f64 t z) #s(literal 0 binary64))

t

z

(/.f64 (fma.f64 (*.f64 y x) #s(literal 2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 2 binary64))

(/.f64 (-.f64 (*.f64 (*.f64 y x) #s(literal 2 binary64)) (*.f64 (+.f64 z z) t)) #s(literal 2 binary64))

(neg.f64 (-.f64 (*.f64 t z) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) (*.f64 y x))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) (*.f64 y x))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) (*.f64 y x))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) (*.f64 y x))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) (*.f64 y x))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) (*.f64 y x))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (*.f64 y x))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) (*.f64 y x))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) (*.f64 y x))

(fma.f64 (neg.f64 t) z (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (neg.f64 t) z (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (neg.f64 t) z (*.f64 y x))

(fma.f64 (neg.f64 x) (neg.f64 y) (*.f64 (neg.f64 z) t))

(fma.f64 (neg.f64 y) (neg.f64 x) (*.f64 (neg.f64 z) t))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) (*.f64 y x))

(fma.f64 (neg.f64 z) t (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (neg.f64 z) t (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (neg.f64 z) t (*.f64 y x))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) (*.f64 y x))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) (*.f64 y x))

(fma.f64 t (neg.f64 z) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 t (neg.f64 z) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 t (neg.f64 z) (*.f64 y x))

(fma.f64 z (neg.f64 t) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 z (neg.f64 t) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 z (neg.f64 t) (*.f64 y x))

(fma.f64 y x (*.f64 (neg.f64 z) t))

(fma.f64 x y (*.f64 (neg.f64 z) t))

(-.f64 (*.f64 y x) (*.f64 t z))

(-.f64 (*.f64 (neg.f64 z) t) (*.f64 (neg.f64 y) x))

(-.f64 (-.f64 (*.f64 y x) (*.f64 t z)) #s(literal 0 binary64))

(+.f64 (*.f64 y x) (*.f64 (neg.f64 z) t))

(+.f64 (*.f64 (neg.f64 z) t) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(+.f64 (*.f64 (neg.f64 z) t) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(+.f64 (*.f64 (neg.f64 z) t) (*.f64 y x))

(+.f64 (-.f64 (*.f64 y x) (*.f64 t z)) #s(literal 0 binary64))

y

x

(*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64))

(*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64))

(*.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64))

(*.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64))

(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64))

(*.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)))

(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)))

(*.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)))

(*.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t))

(*.f64 (neg.f64 t) z)

(*.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64))

(*.f64 (neg.f64 z) t)

(*.f64 #s(literal -1 binary64) (*.f64 t z))

(*.f64 (*.f64 t z) #s(literal -1 binary64))

(*.f64 t (neg.f64 z))

(*.f64 z (neg.f64 t))

(/.f64 (*.f64 (*.f64 (neg.f64 z) t) #s(literal 8 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 (*.f64 (neg.f64 z) t) #s(literal 4 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 (neg.f64 z) t)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (neg.f64 z) t)) #s(literal 4 binary64))

(/.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1 binary64)) #s(literal 2 binary64))

(/.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal -1 binary64)) #s(literal -2 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal -4 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 16 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) (+.f64 z z)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal -2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) z) (+.f64 t t)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (+.f64 z z) t)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (+.f64 z z) t)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal -2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (+.f64 z z) t) #s(literal 2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 (+.f64 t t) (*.f64 #s(literal -2 binary64) z)) #s(literal 4 binary64))

(/.f64 (*.f64 (+.f64 z z) (*.f64 #s(literal -2 binary64) t)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 16 binary64))

(/.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 2 binary64))

(/.f64 (*.f64 (+.f64 z z) t) #s(literal -2 binary64))

(/.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64))

(neg.f64 (*.f64 t z))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) #s(literal 0 binary64))

(fma.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) #s(literal 0 binary64))

(fma.f64 (neg.f64 t) z #s(literal 0 binary64))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64) (*.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64)))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) #s(literal 0 binary64))

(fma.f64 (neg.f64 z) t #s(literal 0 binary64))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) #s(literal 0 binary64))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) #s(literal 0 binary64))

(fma.f64 t (neg.f64 z) #s(literal 0 binary64))

(fma.f64 z (neg.f64 t) #s(literal 0 binary64))

(-.f64 (*.f64 (neg.f64 z) t) #s(literal 0 binary64))

(+.f64 (*.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64)) (*.f64 (*.f64 (neg.f64 z) t) #s(literal 1/2 binary64)))

(+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)))

(+.f64 #s(literal 0 binary64) (*.f64 (neg.f64 z) t))

(+.f64 (*.f64 (neg.f64 z) t) #s(literal 0 binary64))

(*.f64 (/.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 8 binary64)) #s(literal 4 binary64))

(*.f64 (/.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 4 binary64)) #s(literal 2 binary64))

(*.f64 (/.f64 (neg.f64 z) #s(literal -1 binary64)) #s(literal -1 binary64))

(*.f64 (/.f64 (neg.f64 z) #s(literal 2 binary64)) #s(literal 2 binary64))

(*.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 1/2 binary64))

(*.f64 #s(literal -2 binary64) (/.f64 (neg.f64 z) #s(literal -2 binary64)))

(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (neg.f64 z)))

(*.f64 #s(literal 2 binary64) (/.f64 (neg.f64 z) #s(literal 2 binary64)))

(*.f64 #s(literal 1 binary64) (neg.f64 z))

(*.f64 (neg.f64 z) #s(literal 1 binary64))

(*.f64 #s(literal -1 binary64) z)

(*.f64 z #s(literal -1 binary64))

(/.f64 (*.f64 (neg.f64 z) #s(literal 8 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 (neg.f64 z) #s(literal 4 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (neg.f64 z)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (neg.f64 z)) #s(literal 4 binary64))

(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64))

(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) z) #s(literal -1 binary64)) #s(literal -2 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 #s(literal -2 binary64) z)) #s(literal 16 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) z)) #s(literal 8 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 8 binary64)) #s(literal 16 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 4 binary64)) #s(literal 8 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (+.f64 z z)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (+.f64 z z)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) z) #s(literal -2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) z)) #s(literal -4 binary64))

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) z)) #s(literal 4 binary64))

(/.f64 (*.f64 (+.f64 z z) #s(literal -2 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (+.f64 z z) #s(literal 2 binary64)) #s(literal -4 binary64))

(/.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 2 binary64))

(/.f64 (+.f64 z z) #s(literal -2 binary64))

(/.f64 (neg.f64 z) #s(literal 1 binary64))

(neg.f64 z)

(fma.f64 (/.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 4 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (neg.f64 z) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (neg.f64 z) #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (*.f64 #s(literal -2 binary64) z) #s(literal 1/2 binary64) #s(literal 0 binary64))

(fma.f64 #s(literal 1/2 binary64) (neg.f64 z) (*.f64 #s(literal 1/2 binary64) (neg.f64 z)))

(fma.f64 #s(literal -2 binary64) (/.f64 (neg.f64 z) #s(literal -2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (neg.f64 z)) #s(literal 0 binary64))

(fma.f64 #s(literal 2 binary64) (/.f64 (neg.f64 z) #s(literal 2 binary64)) #s(literal 0 binary64))

(fma.f64 #s(literal 1 binary64) (neg.f64 z) #s(literal 0 binary64))

(fma.f64 (neg.f64 z) #s(literal 1/2 binary64) (*.f64 (neg.f64 z) #s(literal 1/2 binary64)))

(fma.f64 (neg.f64 z) #s(literal 1 binary64) #s(literal 0 binary64))

(fma.f64 #s(literal -1 binary64) z #s(literal 0 binary64))

(fma.f64 z #s(literal -1 binary64) #s(literal 0 binary64))

(-.f64 (neg.f64 z) #s(literal 0 binary64))

(+.f64 (*.f64 (neg.f64 z) #s(literal 1/2 binary64)) (*.f64 (neg.f64 z) #s(literal 1/2 binary64)))

(+.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 z)) (*.f64 #s(literal 1/2 binary64) (neg.f64 z)))

(+.f64 #s(literal 0 binary64) (neg.f64 z))

(+.f64 (neg.f64 z) #s(literal 0 binary64))

(/.f64 (fma.f64 (*.f64 y x) #s(literal 2 binary64) (*.f64 (*.f64 #s(literal -2 binary64) t) z)) #s(literal 2 binary64))

(/.f64 (-.f64 (*.f64 (*.f64 y x) #s(literal 2 binary64)) (*.f64 (+.f64 z z) t)) #s(literal 2 binary64))

(neg.f64 (-.f64 (*.f64 t z) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 8 binary64)) #s(literal 4 binary64) (*.f64 y x))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 4 binary64)) #s(literal 2 binary64) (*.f64 y x))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)) #s(literal -1 binary64) (*.f64 y x))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) #s(literal 2 binary64) (*.f64 y x))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (*.f64 (*.f64 #s(literal -2 binary64) t) z) #s(literal 1/2 binary64) (*.f64 y x))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal -2 binary64)) (*.f64 y x))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 (neg.f64 z) t)) (*.f64 y x))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 (neg.f64 z) t) #s(literal 2 binary64)) (*.f64 y x))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t) (*.f64 y x))

(fma.f64 (neg.f64 t) z (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (neg.f64 t) z (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (neg.f64 t) z (*.f64 y x))

(fma.f64 (neg.f64 x) (neg.f64 y) (*.f64 (neg.f64 z) t))

(fma.f64 (neg.f64 y) (neg.f64 x) (*.f64 (neg.f64 z) t))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64) (*.f64 y x))

(fma.f64 (neg.f64 z) t (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (neg.f64 z) t (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (neg.f64 z) t (*.f64 y x))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 #s(literal -1 binary64) (*.f64 t z) (*.f64 y x))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 (*.f64 t z) #s(literal -1 binary64) (*.f64 y x))

(fma.f64 t (neg.f64 z) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 t (neg.f64 z) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 t (neg.f64 z) (*.f64 y x))

(fma.f64 z (neg.f64 t) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(fma.f64 z (neg.f64 t) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(fma.f64 z (neg.f64 t) (*.f64 y x))

(fma.f64 y x (*.f64 (neg.f64 z) t))

(fma.f64 x y (*.f64 (neg.f64 z) t))

(-.f64 (*.f64 y x) (*.f64 t z))

(-.f64 (*.f64 (neg.f64 z) t) (*.f64 (neg.f64 y) x))

(-.f64 (-.f64 (*.f64 y x) (*.f64 t z)) #s(literal 0 binary64))

(+.f64 (*.f64 y x) (*.f64 (neg.f64 z) t))

(+.f64 (*.f64 (neg.f64 z) t) (+.f64 #s(literal 0 binary64) (*.f64 y x)))

(+.f64 (*.f64 (neg.f64 z) t) (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 y) x)))

(+.f64 (*.f64 (neg.f64 z) t) (*.f64 y x))

(+.f64 (-.f64 (*.f64 y x) (*.f64 t z)) #s(literal 0 binary64))

(*.f64 (neg.f64 x) (neg.f64 y))

(*.f64 (neg.f64 y) (neg.f64 x))

(*.f64 y x)

(*.f64 x y)

(neg.f64 (*.f64 (neg.f64 y) x))

#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))

(*.f64 (neg.f64 z) t)

(neg.f64 z)

z

t

#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))

(*.f64 (neg.f64 t) z)

(*.f64 (neg.f64 z) t)

(*.f64 t (neg.f64 z))

(*.f64 z (neg.f64 t))

(neg.f64 (*.f64 t z))

(neg.f64 z)

z

t

#s(approx (- (* x y) (* z t)) (*.f64 x y))

(*.f64 x y)

x

y

#s(approx (- (* x y) (* z t)) (*.f64 y x))

(*.f64 (neg.f64 y) (neg.f64 x))

(*.f64 (neg.f64 x) (neg.f64 y))

(*.f64 y x)

(*.f64 x y)

(neg.f64 (*.f64 (neg.f64 y) x))

x

y