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

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

(+.f64 (-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

(+.f64 (-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

(+.f64 (-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (*.f64 (neg.f64 z) (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 (neg.f64 t)))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 (neg.f64 a) #s(literal 1/2 binary64)) b))

(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) (neg.f64 b)))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (*.f64 (neg.f64 z) (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 (neg.f64 t)))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 (neg.f64 a) #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) (neg.f64 b))))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(+.f64 (-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

(+.f64 (*.f64 (+.f64 a #s(literal -1/2 binary64)) b) (-.f64 (+.f64 (neg.f64 x) (+.f64 y z)) (*.f64 z (log.f64 t))))

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

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

(+.f64 (-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

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

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

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

(+.f64 (-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (*.f64 (neg.f64 z) (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

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

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

(fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (fma.f64 z (log.f64 t) (+.f64 x (-.f64 y z))))

(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 (neg.f64 t)))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b))

(+.f64 (*.f64 (+.f64 a #s(literal -1/2 binary64)) b) (+.f64 (+.f64 x y) (-.f64 z (*.f64 z (log.f64 (neg.f64 t))))))

(fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (+.f64 x (-.f64 (+.f64 y z) (*.f64 z (log.f64 (neg.f64 t))))))

(+.f64 (*.f64 z (-.f64 #s(literal 1 binary64) (log.f64 (neg.f64 t)))) (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (+.f64 x y)))

(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 (neg.f64 a) #s(literal 1/2 binary64)) b))

(+.f64 (-.f64 (+.f64 x (+.f64 y z)) (*.f64 z (log.f64 t))) (*.f64 b (+.f64 (neg.f64 a) #s(literal -1/2 binary64))))

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

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

(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) (neg.f64 b)))

(+.f64 (-.f64 (+.f64 x (+.f64 y z)) (*.f64 z (log.f64 t))) (*.f64 (+.f64 a #s(literal -1/2 binary64)) (neg.f64 b)))

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

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (*.f64 (+.f64 a #s(literal -1/2 binary64)) b) (-.f64 (+.f64 (neg.f64 x) (+.f64 y z)) (*.f64 z (log.f64 t)))))

(neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (+.f64 z (-.f64 (-.f64 y x) (*.f64 z (log.f64 t))))))

(+.f64 (neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (-.f64 y x))) (*.f64 z (+.f64 #s(literal -1 binary64) (log.f64 t))))

(+.f64 (*.f64 z (+.f64 #s(literal -1 binary64) (log.f64 t))) (neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (-.f64 y x))))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (*.f64 (+.f64 a #s(literal -1/2 binary64)) b) (-.f64 (+.f64 z (-.f64 x y)) (*.f64 z (log.f64 t)))))

(neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (+.f64 (-.f64 x y) (-.f64 z (*.f64 z (log.f64 t))))))

(+.f64 (neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (-.f64 x y))) (*.f64 z (+.f64 #s(literal -1 binary64) (log.f64 t))))

(+.f64 (*.f64 z (+.f64 #s(literal -1 binary64) (log.f64 t))) (neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (-.f64 x y))))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (*.f64 (neg.f64 z) (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (*.f64 (+.f64 a #s(literal -1/2 binary64)) b) (+.f64 (-.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))))

(neg.f64 (+.f64 (+.f64 x (-.f64 y z)) (fma.f64 z (log.f64 t) (*.f64 (+.f64 a #s(literal -1/2 binary64)) b))))

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

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 (neg.f64 t)))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (*.f64 (+.f64 a #s(literal -1/2 binary64)) b) (+.f64 (+.f64 x y) (-.f64 z (*.f64 z (log.f64 (neg.f64 t)))))))

(neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (+.f64 x (-.f64 (+.f64 y z) (*.f64 z (log.f64 (neg.f64 t)))))))

(neg.f64 (+.f64 (*.f64 z (-.f64 #s(literal 1 binary64) (log.f64 (neg.f64 t)))) (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (+.f64 x y))))

(+.f64 (*.f64 z (+.f64 #s(literal -1 binary64) (log.f64 (neg.f64 t)))) (neg.f64 (fma.f64 (+.f64 a #s(literal -1/2 binary64)) b (+.f64 x y))))

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 (neg.f64 a) #s(literal 1/2 binary64)) b)))

(neg.f64 (+.f64 (-.f64 (+.f64 x (+.f64 y z)) (*.f64 z (log.f64 t))) (*.f64 b (+.f64 (neg.f64 a) #s(literal -1/2 binary64)))))

(neg.f64 (fma.f64 b (fma.f64 #s(literal -1 binary64) a #s(literal -1/2 binary64)) (+.f64 x (+.f64 y (-.f64 z (*.f64 z (log.f64 t)))))))

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

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

(neg.f64 (+.f64 (-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t))) (*.f64 (-.f64 a #s(literal 1/2 binary64)) (neg.f64 b))))

(neg.f64 (+.f64 (-.f64 (+.f64 x (+.f64 y z)) (*.f64 z (log.f64 t))) (*.f64 (+.f64 a #s(literal -1/2 binary64)) (neg.f64 b))))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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