(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2)))) 1)

(*.f64 y (*.f64 z 1/2))

(*.f64 z (*.f64 y 1/2))

(*.f64 (*.f64 y z) 1/2)

(*.f64 (*.f64 y (*.f64 z 1/2)) 1)

(*.f64 1 (*.f64 y (*.f64 z 1/2)))

(*.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y z)) 2) (*.f64 (cbrt.f64 (*.f64 y z)) 1/2))

(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 z 1/2)))

(*.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (sqrt.f64 (*.f64 y z)) (*.f64 (sqrt.f64 (*.f64 y z)) 1/2))

(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 z 1/2)))

(*.f64 (*.f64 y (neg.f64 z)) -1/2)

(*.f64 (neg.f64 y) (/.f64 1 (/.f64 -2 z)))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (/.f64 y (/.f64 1 z)))

(*.f64 (*.f64 z 1/2) y)

(*.f64 (*.f64 y 1/2) z)

(*.f64 (/.f64 1 (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 y (cbrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 1 (sqrt.f64 (/.f64 2 z))) (/.f64 y (sqrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 2) (/.f64 (cbrt.f64 y) (/.f64 1 z)))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 2 z)))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 2 z))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 (sqrt.f64 y) 2) (/.f64 (sqrt.f64 y) (/.f64 1 z)))

(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 2 z)))

(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 2 z))))

(*.f64 (*.f64 (*.f64 y 1/2) 1) z)

(*.f64 (*.f64 (*.f64 y 1/2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))

(*.f64 (*.f64 (*.f64 y 1/2) (sqrt.f64 z)) (sqrt.f64 z))

(*.f64 (/.f64 y 1) (*.f64 z 1/2))

(*.f64 (/.f64 y -2) (neg.f64 z))

(pow.f64 (*.f64 y (*.f64 z 1/2)) 1)

(pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 3)

(pow.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8) 1/3)

(pow.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) 2)

(pow.f64 (/.f64 2 (*.f64 y z)) -1)

(neg.f64 (/.f64 (*.f64 y z) -2))

(neg.f64 (/.f64 y (/.f64 -2 z)))

(sqrt.f64 (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))

(log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) y)))

(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 z 1/2)))))

(cbrt.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))

(expm1.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2))))

(exp.f64 (log.f64 (*.f64 y (*.f64 z 1/2))))

(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 z 1/2))) 1))

(log1p.f64 (expm1.f64 (*.f64 y (*.f64 z 1/2))))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(*.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))

(*.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(*.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(*.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(*.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)) (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))))

(/.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))) (neg.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))) (neg.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 (*.f64 y z) -1/2) 3)) (fma.f64 (pow.f64 x 2) 1/64 (-.f64 (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2)) (*.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2))) (-.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))

(pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 3)

(pow.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3) 1/3)

(pow.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2)

(sqrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 2))

(log.f64 (exp.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))))

(cbrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3))

(expm1.f64 (log1p.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(exp.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(exp.f64 (*.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 1))

(log1p.f64 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (neg.f64 (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))

(fma.f64 1/8 x (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 x 1/8 (*.f64 (*.f64 y z) -1/2))

(fma.f64 x 1/8 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 y z) -1/2))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 y z) -1/2 (*.f64 1/8 x))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 y (neg.f64 z)) 1/2 (*.f64 1/8 x))

(fma.f64 (neg.f64 y) (*.f64 z 1/2) (*.f64 1/8 x))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (*.f64 y 1/2) (neg.f64 z) (*.f64 1/8 x))

(fma.f64 (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 -1 (*.f64 y (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (cbrt.f64 (*.f64 (*.f64 y z) -1/2))) (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2)) (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 (neg.f64 (*.f64 y 1/2)) z (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2)))) 1)

(*.f64 y (*.f64 z 1/2))

(*.f64 z (*.f64 y 1/2))

(*.f64 (*.f64 y z) 1/2)

(*.f64 (*.f64 y (*.f64 z 1/2)) 1)

(*.f64 1 (*.f64 y (*.f64 z 1/2)))

(*.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y z)) 2) (*.f64 (cbrt.f64 (*.f64 y z)) 1/2))

(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 z 1/2)))

(*.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (sqrt.f64 (*.f64 y z)) (*.f64 (sqrt.f64 (*.f64 y z)) 1/2))

(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 z 1/2)))

(*.f64 (*.f64 y (neg.f64 z)) -1/2)

(*.f64 (neg.f64 y) (/.f64 1 (/.f64 -2 z)))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (/.f64 y (/.f64 1 z)))

(*.f64 (*.f64 z 1/2) y)

(*.f64 (*.f64 y 1/2) z)

(*.f64 (/.f64 1 (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 y (cbrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 1 (sqrt.f64 (/.f64 2 z))) (/.f64 y (sqrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 2) (/.f64 (cbrt.f64 y) (/.f64 1 z)))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 2 z)))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 2 z))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 (sqrt.f64 y) 2) (/.f64 (sqrt.f64 y) (/.f64 1 z)))

(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 2 z)))

(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 2 z))))

(*.f64 (*.f64 (*.f64 y 1/2) 1) z)

(*.f64 (*.f64 (*.f64 y 1/2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))

(*.f64 (*.f64 (*.f64 y 1/2) (sqrt.f64 z)) (sqrt.f64 z))

(*.f64 (/.f64 y 1) (*.f64 z 1/2))

(*.f64 (/.f64 y -2) (neg.f64 z))

(pow.f64 (*.f64 y (*.f64 z 1/2)) 1)

(pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 3)

(pow.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8) 1/3)

(pow.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) 2)

(pow.f64 (/.f64 2 (*.f64 y z)) -1)

(neg.f64 (/.f64 (*.f64 y z) -2))

(neg.f64 (/.f64 y (/.f64 -2 z)))

(sqrt.f64 (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))

(log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) y)))

(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 z 1/2)))))

(cbrt.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))

(expm1.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2))))

(exp.f64 (log.f64 (*.f64 y (*.f64 z 1/2))))

(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 z 1/2))) 1))

(log1p.f64 (expm1.f64 (*.f64 y (*.f64 z 1/2))))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(*.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))

(*.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(*.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(*.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(*.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)) (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))))

(/.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))) (neg.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))) (neg.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 (*.f64 y z) -1/2) 3)) (fma.f64 (pow.f64 x 2) 1/64 (-.f64 (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2)) (*.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2))) (-.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))

(pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 3)

(pow.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3) 1/3)

(pow.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2)

(sqrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 2))

(log.f64 (exp.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))))

(cbrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3))

(expm1.f64 (log1p.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(exp.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(exp.f64 (*.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 1))

(log1p.f64 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (neg.f64 (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))

(fma.f64 1/8 x (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 x 1/8 (*.f64 (*.f64 y z) -1/2))

(fma.f64 x 1/8 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 y z) -1/2))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 y z) -1/2 (*.f64 1/8 x))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 1 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 y (neg.f64 z)) 1/2 (*.f64 1/8 x))

(fma.f64 (neg.f64 y) (*.f64 z 1/2) (*.f64 1/8 x))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (*.f64 y 1/2) (neg.f64 z) (*.f64 1/8 x))

(fma.f64 (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 -1 (*.f64 y (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (cbrt.f64 (*.f64 (*.f64 y z) -1/2))) (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2)) (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 (neg.f64 (*.f64 y 1/2)) z (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1/8 x)

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 -1/2 (*.f64 y z))

(*.f64 y (*.f64 z -1/2))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 -1/2 (*.f64 y z)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2)))) 1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 z 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 z (*.f64 y 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y z) 1/2)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y (*.f64 z 1/2)) 1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1 (*.f64 y (*.f64 z 1/2)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y z)) 2) (*.f64 (cbrt.f64 (*.f64 y z)) 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 z 1/2)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (sqrt.f64 (*.f64 y z)) (*.f64 (sqrt.f64 (*.f64 y z)) 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 z 1/2)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y (neg.f64 z)) -1/2)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (neg.f64 y) (/.f64 1 (/.f64 -2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (/.f64 y (/.f64 1 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 z 1/2) y)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y 1/2) z)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 1 (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 y (cbrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (cbrt.f64 (/.f64 2 z))) (cbrt.f64 (/.f64 4 (pow.f64 z 2))))

(*.f64 (/.f64 1 (sqrt.f64 (/.f64 2 z))) (/.f64 y (sqrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (sqrt.f64 (/.f64 2 z))) (sqrt.f64 (/.f64 2 z)))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 2) (/.f64 (cbrt.f64 y) (/.f64 1 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (cbrt.f64 (*.f64 y (*.f64 1/2 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))))

(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 y z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))))

(/.f64 (*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 y z))) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 4 (pow.f64 z 2))))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 2 z))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 1 (sqrt.f64 (/.f64 2 z))) (/.f64 y (sqrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (sqrt.f64 (/.f64 2 z))) (sqrt.f64 (/.f64 2 z)))

(*.f64 (/.f64 (sqrt.f64 y) 2) (/.f64 (sqrt.f64 y) (/.f64 1 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 1 (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 y (cbrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (cbrt.f64 (/.f64 2 z))) (cbrt.f64 (/.f64 4 (pow.f64 z 2))))

(*.f64 (*.f64 (*.f64 y 1/2) 1) z)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 (*.f64 y 1/2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 (*.f64 y 1/2) (sqrt.f64 z)) (sqrt.f64 z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 y 1) (*.f64 z 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 y -2) (neg.f64 z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (*.f64 y (*.f64 z 1/2)) 1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 3)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8) 1/3)

(cbrt.f64 (*.f64 1/8 (pow.f64 (*.f64 y z) 3)))

(pow.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) 2)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (/.f64 2 (*.f64 y z)) -1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(neg.f64 (/.f64 (*.f64 y z) -2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(neg.f64 (/.f64 y (/.f64 -2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(sqrt.f64 (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))

(*.f64 y (*.f64 z -1/2))

(log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) y)))

(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 z 1/2)))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(cbrt.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))

(cbrt.f64 (*.f64 1/8 (pow.f64 (*.f64 y z) 3)))

(expm1.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(exp.f64 (log.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 z 1/2))) 1))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(log1p.f64 (expm1.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(*.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))))

(*.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))))

(*.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)) (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))) (neg.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))) (neg.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 (*.f64 y z) -1/2) 3)) (fma.f64 (pow.f64 x 2) 1/64 (-.f64 (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2)) (*.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2))) (-.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 3)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(pow.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3) 1/3)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(pow.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(sqrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(log.f64 (exp.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(cbrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(expm1.f64 (log1p.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(exp.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(exp.f64 (*.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(log1p.f64 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 y (neg.f64 (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1/8 x (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 x 1/8 (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 x 1/8 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 y z) -1/2 (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 y (neg.f64 z)) 1/2 (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (neg.f64 y) (*.f64 z 1/2) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (*.f64 y 1/2) (neg.f64 z) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 -1 (*.f64 y (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (cbrt.f64 (*.f64 (*.f64 y z) -1/2))) (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2)) (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (neg.f64 (*.f64 y 1/2)) z (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2)))) 1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 z 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 z (*.f64 y 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y z) 1/2)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y (*.f64 z 1/2)) 1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1 (*.f64 y (*.f64 z 1/2)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 y z)) 2) (*.f64 (cbrt.f64 (*.f64 y z)) 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 z 1/2)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (sqrt.f64 (*.f64 y z)) (*.f64 (sqrt.f64 (*.f64 y z)) 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 z 1/2)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y (neg.f64 z)) -1/2)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (neg.f64 y) (/.f64 1 (/.f64 -2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 1/2 (*.f64 y z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (/.f64 y (/.f64 1 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 z 1/2) y)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 y 1/2) z)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 1 (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 y (cbrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (cbrt.f64 (/.f64 2 z))) (cbrt.f64 (/.f64 4 (pow.f64 z 2))))

(*.f64 (/.f64 1 (sqrt.f64 (/.f64 2 z))) (/.f64 y (sqrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (sqrt.f64 (/.f64 2 z))) (sqrt.f64 (/.f64 2 z)))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 2) (/.f64 (cbrt.f64 y) (/.f64 1 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (cbrt.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 (cbrt.f64 (*.f64 y (*.f64 1/2 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))))

(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 y z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))))

(/.f64 (*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 y z))) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 4 (pow.f64 z 2))))

(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 2 z))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 1 (sqrt.f64 (/.f64 2 z))) (/.f64 y (sqrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (sqrt.f64 (/.f64 2 z))) (sqrt.f64 (/.f64 2 z)))

(*.f64 (/.f64 (sqrt.f64 y) 2) (/.f64 (sqrt.f64 y) (/.f64 1 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 2 z))))

(*.f64 (/.f64 1 (cbrt.f64 (/.f64 4 (pow.f64 z 2)))) (/.f64 y (cbrt.f64 (/.f64 2 z))))

(/.f64 (/.f64 y (cbrt.f64 (/.f64 2 z))) (cbrt.f64 (/.f64 4 (pow.f64 z 2))))

(*.f64 (*.f64 (*.f64 y 1/2) 1) z)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 (*.f64 y 1/2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (*.f64 (*.f64 y 1/2) (sqrt.f64 z)) (sqrt.f64 z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 y 1) (*.f64 z 1/2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(*.f64 (/.f64 y -2) (neg.f64 z))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (*.f64 y (*.f64 z 1/2)) 1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 3)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8) 1/3)

(cbrt.f64 (*.f64 1/8 (pow.f64 (*.f64 y z) 3)))

(pow.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) 2)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(pow.f64 (/.f64 2 (*.f64 y z)) -1)

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(neg.f64 (/.f64 (*.f64 y z) -2))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(neg.f64 (/.f64 y (/.f64 -2 z)))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(sqrt.f64 (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))

(*.f64 y (*.f64 z -1/2))

(log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) y)))

(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 z 1/2)))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(cbrt.f64 (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))

(cbrt.f64 (*.f64 1/8 (pow.f64 (*.f64 y z) 3)))

(expm1.f64 (log1p.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(exp.f64 (log.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 z 1/2))) 1))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(log1p.f64 (expm1.f64 (*.f64 y (*.f64 z 1/2))))

(*.f64 y (*.f64 1/2 z))

(*.f64 1/2 (*.f64 y z))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(*.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))))

(*.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))))

(*.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)) (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 1 (/.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8))) (neg.f64 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4))) (neg.f64 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 (*.f64 y z) -1/2) 3)) (fma.f64 (pow.f64 x 2) 1/64 (-.f64 (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2)) (*.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 (*.f64 y z) -1/2))) (-.f64 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2)))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 3)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(pow.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3) 1/3)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(pow.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2)

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(sqrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(log.f64 (exp.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(cbrt.f64 (pow.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 3))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(expm1.f64 (log1p.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(exp.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(exp.f64 (*.f64 (log.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(log1p.f64 (expm1.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 y (neg.f64 (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1/8 x (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 x 1/8 (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 x 1/8 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 x) 1 (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 y z) -1/2 (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (*.f64 1/8 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 1 (*.f64 (*.f64 y z) -1/2) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2)) 1 (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) 2) (cbrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (cbrt.f64 (*.f64 1/8 x)) (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/8 x)) 2) (cbrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (sqrt.f64 (fma.f64 1/8 x (*.f64 (*.f64 y z) -1/2))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/8 x)) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 1/8) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 y (neg.f64 z)) 1/2 (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (neg.f64 y) (*.f64 z 1/2) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 (pow.f64 (*.f64 y z) 3) 1/8)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 z 1/2)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 3) 1/512) (*.f64 1/8 (pow.f64 (*.f64 y z) 3))) (/.f64 1 (fma.f64 (*.f64 y (*.f64 1/2 z)) (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64))))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(/.f64 (fma.f64 (pow.f64 x 3) 1/512 (pow.f64 (*.f64 y (*.f64 z -1/2)) 3)) (fma.f64 (*.f64 1/2 (*.f64 y z)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)) (*.f64 (pow.f64 x 2) 1/64)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(*.f64 (-.f64 (*.f64 (pow.f64 x 2) 1/64) (*.f64 (pow.f64 (*.f64 y z) 2) 1/4)) (/.f64 1 (fma.f64 (*.f64 y z) 1/2 (*.f64 1/8 x))))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 y (*.f64 1/2 z) (*.f64 1/8 x)))

(/.f64 (fma.f64 (pow.f64 x 2) 1/64 (*.f64 (pow.f64 (*.f64 y z) 2) -1/4)) (fma.f64 1/2 (*.f64 y z) (*.f64 1/8 x)))

(fma.f64 (*.f64 y 1/2) (neg.f64 z) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (neg.f64 (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (sqrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 -1 (*.f64 y (*.f64 z 1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (cbrt.f64 (*.f64 (*.f64 y z) -1/2))) (cbrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (sqrt.f64 (*.f64 (*.f64 y z) -1/2)) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (*.f64 z 1/2)) y (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 -1/2 (*.f64 y z) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (*.f64 (*.f64 y z) -1/2) 1 (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (+.f64 (*.f64 (*.f64 y z) -1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 z 1/2)))) (fma.f64 (neg.f64 z) (*.f64 y 1/2) (*.f64 y (*.f64 z 1/2))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 y (*.f64 1/2 z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 y (*.f64 1/2 z)))) (fma.f64 (*.f64 z -1/2) y (*.f64 y (*.f64 1/2 z))))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) (*.f64 (*.f64 y z) 0))

(fma.f64 (+.f64 (sqrt.f64 (*.f64 1/2 (*.f64 y z))) (sqrt.f64 (*.f64 1/8 x))) (-.f64 (sqrt.f64 (*.f64 1/8 x)) (sqrt.f64 (*.f64 1/2 (*.f64 y z)))) 0)

(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 z 1/2))) 2)) (cbrt.f64 (*.f64 y (*.f64 z 1/2))) (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (neg.f64 (*.f64 y 1/2)) z (*.f64 1/8 x))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 y z) -1/2))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(fma.f64 (*.f64 1/8 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 (*.f64 y z) -1/2) 1))

(fma.f64 y (*.f64 z -1/2) (*.f64 1/8 x))

(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)

(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))) t)

(if (<=.f64 y -2050000000000000059975436488640282594352355063979498625855640101728898456559450275451431288832) (+.f64 (*.f64 y (*.f64 z -1/2)) t) (if (<=.f64 y 3052722642041549/726838724295606890549323807888004534353641360687318060281490199180639288113397923326191050713763565560762521606266177933534601628614656) (+.f64 (*.f64 1/8 x) t) (+.f64 (*.f64 y (*.f64 z -1/2)) t)))

(+.f64 (*.f64 1/8 x) t)

(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)

(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)

(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))) t)

(+.f64 t (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))))

(if (<=.f64 y -2050000000000000059975436488640282594352355063979498625855640101728898456559450275451431288832) (+.f64 (*.f64 y (*.f64 z -1/2)) t) (if (<=.f64 y 3052722642041549/726838724295606890549323807888004534353641360687318060281490199180639288113397923326191050713763565560762521606266177933534601628614656) (+.f64 (*.f64 1/8 x) t) (+.f64 (*.f64 y (*.f64 z -1/2)) t)))

(if (or (<=.f64 y -2050000000000000059975436488640282594352355063979498625855640101728898456559450275451431288832) (not (<=.f64 y 3052722642041549/726838724295606890549323807888004534353641360687318060281490199180639288113397923326191050713763565560762521606266177933534601628614656))) (+.f64 t (*.f64 y (*.f64 z -1/2))) (+.f64 (*.f64 1/8 x) t))

(+.f64 (*.f64 1/8 x) t)