(/.f64 (*.f64 x y) #s(literal 2 binary64))

(*.f64 x y)

x

y

#s(literal 2 binary64)

(*.f64 (/.f64 (*.f64 y x) #s(literal 8 binary64)) #s(literal 4 binary64))

(*.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 4 binary64)) #s(literal 4 binary64))

(*.f64 (*.f64 x #s(literal 1/4 binary64)) (+.f64 y y))

(*.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 2 binary64))

(*.f64 (*.f64 y #s(literal 1/4 binary64)) (+.f64 x x))

(*.f64 (*.f64 (*.f64 y x) #s(literal -1/4 binary64)) #s(literal -2 binary64))

(*.f64 #s(literal 1/4 binary64) (*.f64 (+.f64 y y) x))

(*.f64 (*.f64 #s(literal -2 binary64) (*.f64 y x)) #s(literal -1/4 binary64))

(*.f64 (*.f64 (+.f64 y y) x) #s(literal 1/4 binary64))

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

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

(*.f64 (*.f64 #s(literal 1/2 binary64) x) y)

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

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

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

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

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

(*.f64 (*.f64 #s(literal 1/2 binary64) y) x)

(*.f64 #s(literal 1/2 binary64) (*.f64 y x))

(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

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

(*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 1 binary64))

(*.f64 #s(literal 2 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

(*.f64 (*.f64 y x) #s(literal 1/2 binary64))

(*.f64 y (*.f64 #s(literal 1/2 binary64) x))

(*.f64 x (*.f64 #s(literal 1/2 binary64) y))

(/.f64 (*.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 8 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 4 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x))) #s(literal 4 binary64))

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

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

(/.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 1/2 binary64))

(/.f64 (*.f64 (*.f64 y x) #s(literal -1/4 binary64)) #s(literal -1/2 binary64))

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

(/.f64 (*.f64 (+.f64 y y) x) #s(literal 4 binary64))

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

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

(/.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 1 binary64))

(/.f64 (*.f64 y x) #s(literal 2 binary64))

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

(fma.f64 (/.f64 (*.f64 y x) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))

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

(fma.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 4 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))

(fma.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 4 binary64)) #s(literal 2 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

(fma.f64 (*.f64 x #s(literal 1/4 binary64)) (+.f64 y y) #s(literal 0 binary64))

(fma.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 1 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

(fma.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))

(fma.f64 (*.f64 y #s(literal 1/4 binary64)) (+.f64 x x) #s(literal 0 binary64))

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

(fma.f64 #s(literal 1/4 binary64) (*.f64 (+.f64 y y) x) #s(literal 0 binary64))

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

(fma.f64 (*.f64 (+.f64 y y) x) #s(literal 1/4 binary64) #s(literal 0 binary64))

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

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

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

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

(fma.f64 (*.f64 #s(literal 1/2 binary64) x) (*.f64 #s(literal 1/2 binary64) y) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

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

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

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

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

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

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

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

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

(fma.f64 #s(literal -1 binary64) (*.f64 (*.f64 y x) #s(literal -1/4 binary64)) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

(fma.f64 (*.f64 #s(literal 1/2 binary64) y) (*.f64 #s(literal 1/2 binary64) x) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

(fma.f64 #s(literal 1 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

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

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

(fma.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 1/2 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

(fma.f64 #s(literal 2 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 0 binary64))

(fma.f64 (*.f64 y x) #s(literal 1/4 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

(fma.f64 y (*.f64 x #s(literal 1/4 binary64)) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

(fma.f64 x (*.f64 y #s(literal 1/4 binary64)) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

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

(+.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)))

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

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

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

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

(*.f64 (+.f64 y y) (*.f64 #s(literal 1/2 binary64) x))

(*.f64 (+.f64 x x) (*.f64 #s(literal 1/2 binary64) y))

(*.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 4 binary64))

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

(*.f64 (*.f64 (+.f64 y y) x) #s(literal 1/2 binary64))

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

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

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

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

(*.f64 (*.f64 #s(literal 1/2 binary64) x) (+.f64 y y))

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

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

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

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

(*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) y))

(*.f64 (*.f64 #s(literal 1/2 binary64) y) (+.f64 x x))

(*.f64 #s(literal 1/2 binary64) (*.f64 (+.f64 y y) x))

(*.f64 #s(literal 1 binary64) (*.f64 y x))

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

(*.f64 (*.f64 (neg.f64 x) y) #s(literal -1 binary64))

(*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 2 binary64))

(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

(*.f64 (*.f64 y x) #s(literal 1 binary64))

(*.f64 y x)

(*.f64 x y)

(/.f64 (*.f64 (*.f64 y x) #s(literal 4 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 8 binary64)) #s(literal 4 binary64))

(/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 4 binary64)) #s(literal 2 binary64))

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

(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (+.f64 y y) x)) #s(literal 4 binary64))

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

(/.f64 (*.f64 (*.f64 (+.f64 y y) x) #s(literal 2 binary64)) #s(literal 4 binary64))

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

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 y x)) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 8 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x))) #s(literal 4 binary64))

(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x))) #s(literal 2 binary64))

(/.f64 (/.f64 (*.f64 y x) #s(literal 1/2 binary64)) #s(literal 2 binary64))

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

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

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

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

(/.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 1/2 binary64))

(/.f64 (*.f64 y x) #s(literal 1 binary64))

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

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

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

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

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

(fma.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) #s(literal 4 binary64)) #s(literal 4 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

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

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

(fma.f64 (*.f64 x #s(literal 1/4 binary64)) (+.f64 y y) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

(fma.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))

(fma.f64 (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

(fma.f64 (*.f64 y #s(literal 1/4 binary64)) (+.f64 x x) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

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

(fma.f64 #s(literal 1/4 binary64) (*.f64 (+.f64 y y) x) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

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

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

(fma.f64 (*.f64 (+.f64 y y) x) #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

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

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

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

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

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

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

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

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

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

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

(fma.f64 (neg.f64 x) (neg.f64 y) #s(literal 0 binary64))

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

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

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

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

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

(fma.f64 (neg.f64 y) (neg.f64 x) #s(literal 0 binary64))

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

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

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

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

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

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

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

(fma.f64 #s(literal 1 binary64) (*.f64 y x) #s(literal 0 binary64))

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

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

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

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

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

(fma.f64 #s(literal 2 binary64) (*.f64 (*.f64 y x) #s(literal 1/4 binary64)) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

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

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

(fma.f64 (*.f64 y x) #s(literal 1 binary64) #s(literal 0 binary64))

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

(fma.f64 y x #s(literal 0 binary64))

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

(fma.f64 x y #s(literal 0 binary64))

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

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

(+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 y x)) (*.f64 #s(literal 1/2 binary64) (*.f64 y x)))

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

x

y

#s(literal 2 binary64)

(*.f64 (*.f64 y x) #s(literal 1/2 binary64))

(*.f64 y x)

y

x

#s(literal 1/2 binary64)

(*.f64 (*.f64 #s(literal 1/2 binary64) y) x)

(*.f64 (*.f64 #s(literal 1/2 binary64) x) y)

(*.f64 #s(literal 1/2 binary64) (*.f64 x y))

(*.f64 (*.f64 x y) #s(literal 1/2 binary64))

(*.f64 x (*.f64 #s(literal 1/2 binary64) y))

(*.f64 y (*.f64 #s(literal 1/2 binary64) x))

(*.f64 x y)

(*.f64 y x)

y

x

#s(literal 1/2 binary64)