(/.f64 (-.f64 x lo) (-.f64 hi lo))
(-.f64 #s(literal 20 binary64) (-.f64 (exp.f64 (PI.f64)) (PI.f64)))
(/.f64 #s(literal 1 binary64) (-.f64 x (/.f64 #s(literal -1 binary64) x)))
(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
x
(tan.f64 (*.f64 #s(literal 1/2 binary64) x))
(+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (sin.f64 z) (cos.f64 y)) (-.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 z) (sin.f64 y)))) (/.f64 (*.f64 (cos.f64 z) (sin.f64 y)) (-.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 z) (sin.f64 y))))) (tan.f64 a)))
(-.f64 (+.f64 (/.f64 (+.f64 (*.f64 (neg.f64 (cos.f64 z)) (sin.f64 y)) (*.f64 (neg.f64 (cos.f64 y)) (sin.f64 z))) (-.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 y) (cos.f64 z)))) x) (tan.f64 a))
(+.f64 x (-.f64 (/.f64 (sin.f64 (+.f64 z y)) (-.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 z) (sin.f64 y)))) (tan.f64 a)))
(+.f64 x (-.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (+.f64 z y)))) (tan.f64 a)))
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
(-.f64 (/.f64 n (-.f64 n f)) (/.f64 f (-.f64 f n)))
(/.f64 (+.f64 n f) (-.f64 n f))
(sqrt.f64 (-.f64 (exp.f64 x) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 x #s(literal 1 binary64)) #s(literal -1/2 binary64))) (sqrt.f64 x))
(*.f64 (sqrt.f64 (-.f64 (+.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (*.f64 #s(literal 1/2 binary64) x)))
(*.f64 (sqrt.f64 (-.f64 x #s(literal 1 binary64))) (sqrt.f64 x))
(sqrt.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) x))
(/.f64 (-.f64 x (fabs.f64 x)) x)
(*.f64 (sqrt.f64 (fabs.f64 (+.f64 x x))) (sqrt.f64 (fabs.f64 x)))
(/.f64 (*.f64 (fabs.f64 x) #s(literal 2 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(*.f64 (sqrt.f64 (fabs.f64 (+.f64 x x))) (sqrt.f64 (fabs.f64 x)))
(/.f64 (*.f64 (fabs.f64 x) #s(literal 2 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(*.f64 (sqrt.f64 (fabs.f64 (+.f64 x x))) (sqrt.f64 (fabs.f64 x)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(sqrt.f64 (fabs.f64 (+.f64 x x)))
(*.f64 (sqrt.f64 (fabs.f64 (+.f64 x x))) (sqrt.f64 (fabs.f64 x)))
(/.f64 (*.f64 (fabs.f64 x) #s(literal 2 binary64)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(*.f64 (sqrt.f64 (fabs.f64 (+.f64 x x))) (sqrt.f64 (fabs.f64 x)))
(/.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(if.f64 (<=.f64 (/.f64 y esp) #s(literal -100000000000000007629769841091887003294964970946560 binary64)) (if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (-.f64 (*.f64 #s(literal -1 binary64) (cos.f64 (-.f64 (-.f64 (PI.f64) (/.f64 y esp)) phi0))) (*.f64 (sin.f64 (-.f64 (+.f64 (/.f64 y esp) phi0) (PI.f64))) #s(literal 0 binary64)))) #s(literal 0 binary64))) (atan2.f64 g (-.f64 (*.f64 #s(literal -1 binary64) (cos.f64 (-.f64 (-.f64 (PI.f64) (/.f64 y esp)) phi0))) (*.f64 (sin.f64 (-.f64 (+.f64 (/.f64 y esp) phi0) (PI.f64))) #s(literal 0 binary64)))) #s(literal 0 binary64)) (if.f64 (<=.f64 (/.f64 y esp) #s(literal 5000000000 binary64)) (if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (/.f64 y esp)) (cos.f64 phi0)) (*.f64 (sin.f64 (/.f64 y esp)) (sin.f64 phi0)))) #s(literal 0 binary64))) (atan2.f64 g (-.f64 (*.f64 (cos.f64 (/.f64 y esp)) (cos.f64 phi0)) (*.f64 (sin.f64 (/.f64 y esp)) (sin.f64 phi0)))) #s(literal 0 binary64)) (if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (sin.f64 (+.f64 (-.f64 phi0 (*.f64 #s(literal 1/2 binary64) (PI.f64))) (/.f64 y esp)))) #s(literal 0 binary64))) (atan2.f64 g (sin.f64 (-.f64 (-.f64 (/.f64 (neg.f64 y) esp) phi0) (*.f64 #s(literal -1/2 binary64) (PI.f64))))) #s(literal 0 binary64))))
(if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (-.f64 (*.f64 (sin.f64 phi0) (sin.f64 (+.f64 (/.f64 y esp) (PI.f64)))) (*.f64 (cos.f64 phi0) (sin.f64 (-.f64 (/.f64 #s(literal -1 binary64) (/.f64 esp y)) (*.f64 #s(literal 1/2 binary64) (PI.f64))))))) #s(literal 0 binary64))) (atan2.f64 g (-.f64 (*.f64 (sin.f64 phi0) (sin.f64 (+.f64 (/.f64 y esp) (PI.f64)))) (*.f64 (cos.f64 phi0) (sin.f64 (-.f64 (/.f64 #s(literal -1 binary64) (/.f64 esp y)) (*.f64 #s(literal 1/2 binary64) (PI.f64))))))) #s(literal 0 binary64))
(if.f64 (<=.f64 (/.f64 y esp) #s(literal -100000000000000007629769841091887003294964970946560 binary64)) (if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (-.f64 (*.f64 #s(literal -1 binary64) (cos.f64 (-.f64 (-.f64 (PI.f64) (/.f64 y esp)) phi0))) (*.f64 (sin.f64 (-.f64 (+.f64 (/.f64 y esp) phi0) (PI.f64))) #s(literal 0 binary64)))) #s(literal 0 binary64))) (atan2.f64 g (-.f64 (*.f64 #s(literal -1 binary64) (cos.f64 (-.f64 (-.f64 (PI.f64) (/.f64 y esp)) phi0))) (*.f64 (sin.f64 (-.f64 (+.f64 (/.f64 y esp) phi0) (PI.f64))) #s(literal 0 binary64)))) #s(literal 0 binary64)) (if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (cos.f64 (+.f64 phi0 (*.f64 (/.f64 #s(literal 1 binary64) esp) y)))) #s(literal 0 binary64))) (atan2.f64 g (cos.f64 (+.f64 phi0 (*.f64 (/.f64 #s(literal 1 binary64) esp) y)))) #s(literal 0 binary64)))
(if.f64 (<=.f64 (/.f64 y esp) #s(literal -100000000000000007629769841091887003294964970946560 binary64)) (if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (sin.f64 (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) (/.f64 esp y)) phi0) (*.f64 (PI.f64) #s(literal -1/2 binary64))))) #s(literal 0 binary64))) (atan2.f64 g (sin.f64 (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) (/.f64 esp y)) phi0) (*.f64 (PI.f64) #s(literal -1/2 binary64))))) #s(literal 0 binary64)) (if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (cos.f64 (+.f64 phi0 (*.f64 (/.f64 #s(literal 1 binary64) esp) y)))) #s(literal 0 binary64))) (atan2.f64 g (cos.f64 (+.f64 phi0 (*.f64 (/.f64 #s(literal 1 binary64) esp) y)))) #s(literal 0 binary64)))
(if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (-.f64 (*.f64 (sin.f64 phi0) (cos.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) (PI.f64)) (/.f64 y esp)))) (*.f64 (cos.f64 phi0) (sin.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) (PI.f64)) (/.f64 y esp)))))) #s(literal 0 binary64))) (atan2.f64 g (-.f64 (*.f64 (sin.f64 phi0) (cos.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) (PI.f64)) (/.f64 y esp)))) (*.f64 (cos.f64 phi0) (sin.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) (PI.f64)) (/.f64 y esp)))))) #s(literal 0 binary64))
(if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (-.f64 (*.f64 (sin.f64 (+.f64 (/.f64 (neg.f64 y) esp) (*.f64 #s(literal 1/2 binary64) (PI.f64)))) (cos.f64 phi0)) (*.f64 (sin.f64 (/.f64 y esp)) (sin.f64 phi0)))) #s(literal 0 binary64))) (atan2.f64 g (-.f64 (*.f64 (sin.f64 (+.f64 (/.f64 (neg.f64 y) esp) (*.f64 #s(literal 1/2 binary64) (PI.f64)))) (cos.f64 phi0)) (*.f64 (sin.f64 (/.f64 y esp)) (sin.f64 phi0)))) #s(literal 0 binary64))
(if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (cos.f64 (+.f64 phi0 (*.f64 (/.f64 #s(literal 1 binary64) esp) y)))) #s(literal 0 binary64))) (atan2.f64 g (cos.f64 (+.f64 phi0 (*.f64 (/.f64 #s(literal 1 binary64) esp) y)))) #s(literal 0 binary64))
(if.f64 (or (>.f64 (fabs.f64 g) #s(literal 0 binary64)) (>.f64 (fabs.f64 (cos.f64 (+.f64 phi0 (/.f64 y esp)))) #s(literal 0 binary64))) (atan2.f64 g (cos.f64 (+.f64 phi0 (/.f64 y esp)))) #s(literal 0 binary64))