(/.f64 #s(literal 21/1000 binary64) (-.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fmax.f64 dlsa #s(literal 10000 binary64))) wn) dh) #s(literal -21/1000 binary64)))
(/.f64 #s(literal 21/1000 binary64) (-.f64 (*.f64 (/.f64 wn (fmax.f64 dlsa #s(literal 10000 binary64))) dh) #s(literal -21/1000 binary64)))
(/.f64 #s(literal 21/1000 binary64) (+.f64 #s(literal 21/1000 binary64) (*.f64 (/.f64 dh (fmax.f64 dlsa #s(literal 10000 binary64))) wn)))
(+.f64 (+.f64 vs0 (*.f64 zt (*.f64 sgt (*.f64 zt (/.f64 sgt (-.f64 (*.f64 zc zc) #s(literal -39/5 binary64))))))) (*.f64 (*.f64 zl sgl) (*.f64 sgl (/.f64 zl (-.f64 (*.f64 zc zc) #s(literal -24 binary64))))))
(+.f64 (+.f64 vs0 (*.f64 zt (*.f64 sgt (*.f64 sgt (/.f64 zt (-.f64 (*.f64 zc zc) #s(literal -39/5 binary64))))))) (*.f64 (*.f64 zl sgl) (/.f64 (*.f64 zl sgl) (-.f64 (*.f64 zc zc) #s(literal -24 binary64)))))
(*.f64 #s(literal 39/50 binary64) (/.f64 (-.f64 dh (*.f64 (*.f64 #s(literal 4/5 binary64) dh) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)))) (exp.f64 (pow.f64 (*.f64 dh (+.f64 #s(literal 1/16 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal -1/20 binary64)))) #s(literal 1/4 binary64)))))
(*.f64 (-.f64 dh (*.f64 (*.f64 #s(literal 4/5 binary64) dh) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)))) (*.f64 (exp.f64 (neg.f64 (pow.f64 (*.f64 dh (+.f64 #s(literal 1/16 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal -1/20 binary64)))) #s(literal 1/4 binary64)))) #s(literal 39/50 binary64)))
(*.f64 (*.f64 (-.f64 (*.f64 #s(literal -4/5 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -1 binary64)) (*.f64 (exp.f64 (neg.f64 (pow.f64 (*.f64 dh (+.f64 #s(literal 1/16 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal -1/20 binary64)))) #s(literal 1/4 binary64)))) #s(literal 39/50 binary64))) dh)
(*.f64 (*.f64 (-.f64 (*.f64 #s(literal -4/5 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -1 binary64)) dh) (*.f64 (exp.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 (*.f64 #s(literal -1/20 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -1/16 binary64)) dh) #s(literal 1/4 binary64)))) #s(literal 39/50 binary64)))
(/.f64 (*.f64 (-.f64 (*.f64 #s(literal -78/125 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -39/50 binary64)) dh) (exp.f64 (pow.f64 (*.f64 dh (+.f64 #s(literal 1/16 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal -1/20 binary64)))) #s(literal 1/4 binary64))))
(*.f64 (*.f64 (-.f64 (*.f64 #s(literal -78/125 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -39/50 binary64)) dh) (exp.f64 (neg.f64 (pow.f64 (*.f64 dh (+.f64 #s(literal 1/16 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal -1/20 binary64)))) #s(literal 1/4 binary64)))))
(if.f64 (<.f64 (-.f64 #s(literal 1/2 binary64) q) #s(literal 0 binary64)) (neg.f64 (*.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal 189269/1000000 binary64)) (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))))) (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 1257758349/500000000 binary64)) (-.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal -802853/1000000 binary64))))) (/.f64 #s(literal -1 binary64) (-.f64 (*.f64 (-.f64 (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal 189269/1000000 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))))) #s(literal 1 binary64))))) (*.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal 189269/1000000 binary64)) (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))))) (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 1257758349/500000000 binary64)) (-.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal -802853/1000000 binary64))))) (/.f64 #s(literal -1 binary64) (-.f64 (*.f64 (-.f64 (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal 189269/1000000 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))))) #s(literal 1 binary64)))))
(if.f64 (<.f64 (-.f64 #s(literal 1/2 binary64) q) #s(literal 0 binary64)) (/.f64 (-.f64 (-.f64 #s(literal 1257758349/500000000 binary64) (*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 189269/1000000 binary64)) (-.f64 (*.f64 #s(literal 327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) #s(literal 358197/250000 binary64))) (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal -802853/1000000 binary64)) (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))))) (-.f64 (*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 189269/1000000 binary64)) (-.f64 (*.f64 #s(literal 327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) #s(literal 358197/250000 binary64))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal -1 binary64))) (*.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 189269/1000000 binary64)) (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))))) (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 1257758349/500000000 binary64)) (-.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal -802853/1000000 binary64))))) (/.f64 #s(literal -1 binary64) (-.f64 (*.f64 (-.f64 (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))))) (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 189269/1000000 binary64))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal 1 binary64)))))
(if.f64 (<.f64 (-.f64 #s(literal 1/2 binary64) q) #s(literal 0 binary64)) (neg.f64 (-.f64 (sqrt.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 #s(literal 1/2 binary64) q))) #s(literal 1/1000000 binary64))))) (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 #s(literal 1291/125000 binary64) (sqrt.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 #s(literal 1/2 binary64) q))) #s(literal 1/1000000 binary64)))))) #s(literal 802853/1000000 binary64)) (sqrt.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 #s(literal 1/2 binary64) q))) #s(literal 1/1000000 binary64)))))) #s(literal 1257758349/500000000 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 189269/1000000 binary64) (*.f64 #s(literal -327/250000 binary64) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 #s(literal 1/1000000 binary64) (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))))) #s(literal -2 binary64))))) (*.f64 (log.f64 (fmax.f64 #s(literal 1/1000000 binary64) (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))))) #s(literal -2 binary64)))) (*.f64 (*.f64 #s(literal 358197/250000 binary64) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 (fabs.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))))))))) (-.f64 (sqrt.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 #s(literal 1/2 binary64) q))) #s(literal 1/1000000 binary64))))) (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 #s(literal 1291/125000 binary64) (sqrt.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 #s(literal 1/2 binary64) q))) #s(literal 1/1000000 binary64)))))) #s(literal 802853/1000000 binary64)) (sqrt.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 #s(literal 1/2 binary64) q))) #s(literal 1/1000000 binary64)))))) #s(literal 1257758349/500000000 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 189269/1000000 binary64) (*.f64 #s(literal -327/250000 binary64) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 #s(literal 1/1000000 binary64) (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))))) #s(literal -2 binary64))))) (*.f64 (log.f64 (fmax.f64 #s(literal 1/1000000 binary64) (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))))) #s(literal -2 binary64)))) (*.f64 (*.f64 #s(literal 358197/250000 binary64) (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 (fabs.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))))))))))
(if.f64 (<.f64 (-.f64 #s(literal 1/2 binary64) q) #s(literal 0 binary64)) (-.f64 (/.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 1291/125000 binary64)) #s(literal -802853/1000000 binary64))) #s(literal -1257758349/500000000 binary64)) (+.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 358197/250000 binary64)) #s(literal -1 binary64)) (*.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)) (-.f64 (*.f64 #s(literal 327/250000 binary64) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal -189269/1000000 binary64))))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (-.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) (/.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 1291/125000 binary64)) #s(literal -802853/1000000 binary64))) #s(literal -1257758349/500000000 binary64)) (+.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 358197/250000 binary64)) #s(literal -1 binary64)) (*.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)) (-.f64 (*.f64 #s(literal 327/250000 binary64) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal -189269/1000000 binary64)))))))
(if.f64 (<.f64 (-.f64 #s(literal 1/2 binary64) q) #s(literal 0 binary64)) (-.f64 (/.f64 (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal -802853/1000000 binary64)) #s(literal 1257758349/500000000 binary64))) (-.f64 (*.f64 (-.f64 (-.f64 (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (*.f64 #s(literal -189269/1000000 binary64) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal -358197/250000 binary64)) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal -1 binary64))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (-.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) (/.f64 (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal -802853/1000000 binary64)) #s(literal 1257758349/500000000 binary64))) (-.f64 (*.f64 (-.f64 (-.f64 (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (*.f64 #s(literal -189269/1000000 binary64) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))))) #s(literal -358197/250000 binary64)) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal -1 binary64)))))
(if.f64 (<.f64 (-.f64 #s(literal 1/2 binary64) q) #s(literal 0 binary64)) (-.f64 (/.f64 (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal -802853/1000000 binary64)) #s(literal 1257758349/500000000 binary64))) (-.f64 (*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 189269/1000000 binary64)) (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal -1 binary64))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) (-.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) (/.f64 (-.f64 (*.f64 #s(literal -1291/62500 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))) (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal -802853/1000000 binary64)) #s(literal 1257758349/500000000 binary64))) (-.f64 (*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64))) #s(literal 189269/1000000 binary64)) (-.f64 #s(literal -358197/250000 binary64) (*.f64 #s(literal -327/125000 binary64) (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64)))))) (sqrt.f64 (*.f64 (log.f64 (fmax.f64 (-.f64 #s(literal 1/2 binary64) (fabs.f64 (-.f64 q #s(literal 1/2 binary64)))) #s(literal 1/1000000 binary64))) #s(literal -2 binary64)))) #s(literal -1 binary64)))))
(if.f64 (<.f64 z #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal -358925334511777/62500000000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal 31938153/100000000 binary64)) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) #s(literal 269813/62500 binary64)) (*.f64 (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64))) #s(literal 9973557/25000000 binary64))))) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal -358925334511777/62500000000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal 31938153/100000000 binary64)) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) #s(literal 269813/62500 binary64)) (*.f64 (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64))) #s(literal 9973557/25000000 binary64)))))
(if.f64 (<.f64 z #s(literal 0 binary64)) (-.f64 (neg.f64 (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (/.f64 #s(literal 2690995334841/1562500000000 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))) (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64)))) (-.f64 #s(literal 31938153/100000000 binary64) (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal -358925334511777/62500000000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))))))) #s(literal -1 binary64)) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal 358925334511777/62500000000000 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal 31938153/100000000 binary64)) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) (*.f64 #s(literal 269813/62500 binary64) (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64))))) #s(literal 9973557/25000000 binary64))))
(if.f64 (<.f64 z #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal -358925334511777/62500000000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal 31938153/100000000 binary64)) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) (*.f64 (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64))) #s(literal 2690995334841/1562500000000 binary64))))) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (/.f64 (-.f64 (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal -358925334511777/62500000000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal 31938153/100000000 binary64)) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) (*.f64 (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64))) #s(literal 2690995334841/1562500000000 binary64)))))
(if.f64 (<.f64 z #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (/.f64 #s(literal -2690995334841/1562500000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) (*.f64 (-.f64 #s(literal 31938153/100000000 binary64) (/.f64 (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal -358925334511777/62500000000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) #s(literal 269813/62500 binary64)) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64)))) (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64))))))) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (/.f64 #s(literal -2690995334841/1562500000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) (*.f64 (-.f64 #s(literal 31938153/100000000 binary64) (/.f64 (*.f64 (-.f64 (*.f64 (-.f64 #s(literal -1781477937/1000000000 binary64) (*.f64 (-.f64 #s(literal 1821255987/1000000000 binary64) (/.f64 #s(literal -358925334511777/62500000000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))))) (/.f64 #s(literal -269813/62500 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z)))) #s(literal -178281891/500000000 binary64)) #s(literal 269813/62500 binary64)) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64)))) (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64)))))))
(if.f64 (<.f64 z #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (/.f64 #s(literal -2690995334841/1562500000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) (*.f64 (-.f64 #s(literal 31938153/100000000 binary64) (*.f64 (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))) (-.f64 (*.f64 (-.f64 #s(literal 1781477937/1000000000 binary64) (*.f64 (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))) (-.f64 (/.f64 #s(literal 358925334511777/62500000000000 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))) #s(literal 1821255987/1000000000 binary64)))) (/.f64 #s(literal 269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64)))) #s(literal 178281891/500000000 binary64)))) (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64))))))) (if.f64 (>=.f64 (fabs.f64 z) #s(literal 10 binary64)) #s(literal 0 binary64) (*.f64 (/.f64 #s(literal -2690995334841/1562500000000 binary64) (-.f64 #s(literal -269813/62500 binary64) (fabs.f64 z))) (*.f64 (-.f64 #s(literal 31938153/100000000 binary64) (*.f64 (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))) (-.f64 (*.f64 (-.f64 #s(literal 1781477937/1000000000 binary64) (*.f64 (/.f64 #s(literal -269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))) (-.f64 (/.f64 #s(literal 358925334511777/62500000000000 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64))) #s(literal 1821255987/1000000000 binary64)))) (/.f64 #s(literal 269813/62500 binary64) (-.f64 (fabs.f64 z) #s(literal -269813/62500 binary64)))) #s(literal 178281891/500000000 binary64)))) (exp.f64 (*.f64 (*.f64 z z) #s(literal -1/2 binary64)))))))
(if.f64 (<=.f64 (*.f64 #s(literal 4343/1000 binary64) (log.f64 (+.f64 (*.f64 (+.f64 (*.f64 a (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) b) (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) #s(literal 1 binary64)))) #s(literal 5000 binary64)) (*.f64 (log.f64 (-.f64 (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r)) #s(literal -1 binary64))) #s(literal 4343/1000 binary64)) (-.f64 (*.f64 #s(literal 4343/1000 binary64) (log.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 r r) b) (/.f64 (/.f64 a r) r))))) (*.f64 #s(literal -4343/1000 binary64) (*.f64 #s(literal -2 binary64) (log.f64 (fabs.f64 r))))))
(if.f64 (<=.f64 (+.f64 (*.f64 (+.f64 (*.f64 a (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) b) (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 2000000000000000034432129193472909657662175650026477964657784035784761342489150095975840903750919189137212277723396582120622098451065897041393877611422881300245257029338856920713985249936056659101378448350568693460121432177658428510879389260239589093011024831235964286525341725837632725724238309498254524416 binary64)) (*.f64 (log.f64 (fabs.f64 (-.f64 #s(literal -1 binary64) (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r))))) #s(literal 4343/1000 binary64)) (-.f64 (*.f64 (log.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 r r) b) (/.f64 a (*.f64 r r))))) #s(literal 4343/1000 binary64)) (*.f64 #s(literal 4343/500 binary64) (log.f64 (fabs.f64 r)))))
(if.f64 (<=.f64 (+.f64 (*.f64 (+.f64 (*.f64 a (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) b) (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 2000000000000000034432129193472909657662175650026477964657784035784761342489150095975840903750919189137212277723396582120622098451065897041393877611422881300245257029338856920713985249936056659101378448350568693460121432177658428510879389260239589093011024831235964286525341725837632725724238309498254524416 binary64)) (*.f64 (log.f64 (fabs.f64 (-.f64 #s(literal -1 binary64) (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r))))) #s(literal 4343/1000 binary64)) (*.f64 (+.f64 (*.f64 #s(literal -2 binary64) (log.f64 (fabs.f64 r))) (log.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 r r) b) (/.f64 a (*.f64 r r)))))) #s(literal 4343/1000 binary64)))
(if.f64 (<=.f64 (+.f64 (*.f64 (+.f64 (*.f64 a (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) b) (pow.f64 (/.f64 #s(literal 1 binary64) r) #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 2000000000000000034432129193472909657662175650026477964657784035784761342489150095975840903750919189137212277723396582120622098451065897041393877611422881300245257029338856920713985249936056659101378448350568693460121432177658428510879389260239589093011024831235964286525341725837632725724238309498254524416 binary64)) (*.f64 (log.f64 (fabs.f64 (-.f64 #s(literal -1 binary64) (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r))))) #s(literal 4343/1000 binary64)) (*.f64 (-.f64 (log.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 r r) b) (/.f64 a (*.f64 r r))))) (log.f64 (*.f64 r r))) #s(literal 4343/1000 binary64)))
(*.f64 (log.f64 (fabs.f64 (-.f64 #s(literal -1 binary64) (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r))))) #s(literal 4343/1000 binary64))
(*.f64 (log.f64 (-.f64 (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r)) #s(literal -1 binary64))) #s(literal 4343/1000 binary64))
(if.f64 (<=.f64 r #s(literal 6198106008766409/147573952589676412928 binary64)) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) q) h0a) (*.f64 (*.f64 #s(literal 4343/1000 binary64) q) (-.f64 (log.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 r r) b) (/.f64 a (*.f64 r r))))) (log.f64 (*.f64 r r))))) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) q) h0a) (*.f64 (*.f64 (log.f64 (-.f64 (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r)) #s(literal -1 binary64))) #s(literal 4343/1000 binary64)) q)))
(+.f64 (*.f64 (-.f64 #s(literal 1 binary64) q) h0a) (*.f64 (*.f64 (log.f64 (-.f64 (/.f64 (+.f64 b (/.f64 a (*.f64 r r))) (*.f64 r r)) #s(literal -1 binary64))) #s(literal 4343/1000 binary64)) q))
(-.f64 gma (*.f64 (*.f64 gma #s(literal 933/20000 binary64)) (exp.f64 (*.f64 #s(literal 10/1793 binary64) ens))))
(*.f64 (-.f64 (*.f64 #s(literal -933/20000 binary64) (exp.f64 (*.f64 #s(literal 10/1793 binary64) ens))) #s(literal -1 binary64)) gma)
(-.f64 (*.f64 #s(literal 5751/100000 binary64) x) (*.f64 #s(literal 4343/1000 binary64) (log.f64 x)))
(-.f64 (-.f64 (*.f64 (/.f64 x pk) (*.f64 x #s(literal 1/40000 binary64))) (*.f64 (log.f64 pk) #s(literal -4343/500 binary64))) #s(literal 15 binary64))
(-.f64 (-.f64 (*.f64 (log.f64 pk) #s(literal 4343/500 binary64)) (*.f64 (*.f64 (/.f64 #s(literal -1/40000 binary64) pk) x) x)) #s(literal 15 binary64))
(-.f64 fhtv0 (*.f64 (*.f64 (-.f64 (-.f64 (*.f64 (log.f64 x) #s(literal 4343/250 binary64)) fhtv0) #s(literal 117 binary64)) (*.f64 (exp.f64 (*.f64 #s(literal -1/200 binary64) x)) x)) #s(literal -67/5000 binary64)))
(if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal -999999999999999938258300825281978540327027364472124478294416212538871491824599713636820527503908255301632 binary64)) (*.f64 (-.f64 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2)))) c1) (*.f64 (*.f64 (/.f64 (/.f64 de x1) x1) de) (/.f64 #s(literal -1 binary64) (-.f64 (*.f64 (/.f64 (/.f64 de x1) x1) de) #s(literal -1 binary64))))) (if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal 19999999999999999058197170507947502291002684749293990408887399067504444618416270201549474508798139751928988117598053793648018567516882951833813598972778780887382558937316468701808219757041401886296114093588220347708916685745589530112467999364473271158685885882886252396544 binary64)) (/.f64 (*.f64 (/.f64 de x1) (*.f64 (/.f64 de x1) (+.f64 (/.f64 c2 (-.f64 (/.f64 (-.f64 de x2) (*.f64 (/.f64 x3 (-.f64 de x2)) x3)) #s(literal -1 binary64))) c1))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 de x1) (/.f64 de x1)))) (*.f64 de (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de (+.f64 (*.f64 x1 x1) (*.f64 de de)))))))
(if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal -999999999999999938258300825281978540327027364472124478294416212538871491824599713636820527503908255301632 binary64)) (*.f64 (-.f64 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2)))) c1) (*.f64 (*.f64 (/.f64 (/.f64 de x1) x1) de) (/.f64 #s(literal -1 binary64) (-.f64 (*.f64 (/.f64 (/.f64 de x1) x1) de) #s(literal -1 binary64))))) (if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal 19999999999999999058197170507947502291002684749293990408887399067504444618416270201549474508798139751928988117598053793648018567516882951833813598972778780887382558937316468701808219757041401886296114093588220347708916685745589530112467999364473271158685885882886252396544 binary64)) (/.f64 (*.f64 (/.f64 de x1) (*.f64 (/.f64 de x1) (+.f64 (/.f64 c2 (-.f64 (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2)) #s(literal -1 binary64))) c1))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 de x1) (/.f64 de x1)))) (*.f64 de (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de (+.f64 (*.f64 x1 x1) (*.f64 de de)))))))
(if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal -6805647338418769/1361129467683753853853498429727072845824 binary64)) (*.f64 (-.f64 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2)))) c1) (/.f64 (*.f64 (*.f64 (/.f64 de x1) de) #s(literal -1 binary64)) (+.f64 x1 (*.f64 (/.f64 de x1) de)))) (if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal 19999999999999999058197170507947502291002684749293990408887399067504444618416270201549474508798139751928988117598053793648018567516882951833813598972778780887382558937316468701808219757041401886296114093588220347708916685745589530112467999364473271158685885882886252396544 binary64)) (/.f64 (*.f64 (/.f64 de x1) (*.f64 (/.f64 de x1) (+.f64 (/.f64 c2 (-.f64 (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2)) #s(literal -1 binary64))) c1))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 de x1) (/.f64 de x1)))) (*.f64 de (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de (+.f64 (*.f64 x1 x1) (*.f64 de de)))))))
(if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de x1)) (/.f64 de (+.f64 x1 (*.f64 (/.f64 de x1) de)))) (*.f64 de (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de (+.f64 (*.f64 x1 x1) (*.f64 de de))))))
(if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal 0 binary64)) (*.f64 de (*.f64 (/.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (+.f64 x1 (*.f64 (/.f64 de x1) de))) (/.f64 de x1))) (if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) de) (/.f64 (/.f64 de x1) (+.f64 x1 (*.f64 (/.f64 de x1) de)))) (*.f64 de (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de (+.f64 (*.f64 x1 x1) (*.f64 de de)))))))
(if.f64 (<=.f64 (/.f64 (*.f64 (+.f64 c1 (/.f64 c2 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (-.f64 de x2) x3) #s(literal 2 binary64))))) (pow.f64 (/.f64 de x1) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 de x1) #s(literal 2 binary64)))) #s(literal +inf.0 binary64)) (*.f64 de (*.f64 (/.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (+.f64 x1 (*.f64 (/.f64 de x1) de))) (/.f64 de x1))) (*.f64 de (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de (+.f64 (*.f64 x1 x1) (*.f64 de de))))))
(*.f64 de (*.f64 (-.f64 c1 (/.f64 c2 (-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 de x2) (*.f64 x3 x3)) (-.f64 de x2))))) (/.f64 de (+.f64 (*.f64 x1 x1) (*.f64 de de)))))
(if.f64 (<=.f64 (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (pow.f64 (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 7071/5000 binary64) r1)) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 7071/5000 binary64) r2))) #s(literal 2 binary64)) (/.f64 (+.f64 r1 r2) (+.f64 (+.f64 r1 r2) #s(literal 7071/2500 binary64)))))) #s(literal 2050 binary64)) (+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal -7071/5000 binary64) r2) #s(literal 1 binary64)) (-.f64 (/.f64 #s(literal -7071/5000 binary64) r2) #s(literal 1 binary64))) (*.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 7071/5000 binary64) r1)) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 7071/5000 binary64) r1)))) (/.f64 (+.f64 r1 r2) (+.f64 (+.f64 r1 r2) #s(literal 7071/2500 binary64)))))))) (+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (+.f64 (*.f64 #s(literal 2 binary64) (log.f64 (fabs.f64 (*.f64 (/.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 r2 r1)) (-.f64 r2 #s(literal -7071/5000 binary64)))))) (log.f64 (fabs.f64 (/.f64 (+.f64 r2 r1) (-.f64 #s(literal -7071/2500 binary64) (+.f64 r2 r1))))))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal -7071/5000 binary64) r2) #s(literal 1 binary64)) (-.f64 (/.f64 #s(literal -7071/5000 binary64) r2) #s(literal 1 binary64))) (*.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 7071/5000 binary64) r1)) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 7071/5000 binary64) r1)))) (/.f64 (+.f64 r1 r2) (+.f64 (+.f64 r1 r2) #s(literal 7071/2500 binary64))))))))
(-.f64 (*.f64 h0 et) (*.f64 (*.f64 (-.f64 et #s(literal 1 binary64)) #s(literal 4343/1000 binary64)) (log.f64 (*.f64 (/.f64 (+.f64 r2 r1) (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64))) (*.f64 (*.f64 (/.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 r2 r1)) (-.f64 r2 #s(literal -7071/5000 binary64))) (*.f64 (/.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 r2 r1)) (-.f64 r2 #s(literal -7071/5000 binary64))))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (/.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (*.f64 r2 r1)) (*.f64 (/.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (*.f64 r2 r1)) (/.f64 (+.f64 r2 r1) (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64)))))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (/.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (*.f64 r2 r1)) (*.f64 (/.f64 (*.f64 (+.f64 r2 r1) (-.f64 r2 #s(literal -7071/5000 binary64))) (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64))) (/.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 r2 r1))))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (/.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (*.f64 r2 r1)) (*.f64 (+.f64 r2 r1) (/.f64 (/.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (*.f64 r2 (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64)))) r1)))))))
(-.f64 (*.f64 h0 et) (*.f64 (*.f64 (-.f64 et #s(literal 1 binary64)) #s(literal 4343/1000 binary64)) (log.f64 (*.f64 (+.f64 r2 r1) (/.f64 (*.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (/.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (*.f64 (*.f64 (*.f64 r2 r1) r2) r1))) (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64)))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (/.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (*.f64 r2 r1)) (*.f64 (/.f64 (+.f64 r2 r1) (*.f64 (*.f64 (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64)) r1) r2)) (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64)))))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (+.f64 r2 r1) (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (*.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 (/.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64)) r1) r2) r2) r1)) (-.f64 r2 #s(literal -7071/5000 binary64))))))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (+.f64 r2 r1) (*.f64 (*.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (-.f64 r2 #s(literal -7071/5000 binary64))) (/.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64)) r1) r2) r2) r1))))))))
(+.f64 (*.f64 et h0) (*.f64 (-.f64 #s(literal 1 binary64) et) (*.f64 #s(literal 4343/1000 binary64) (log.f64 (*.f64 (+.f64 r2 r1) (*.f64 (*.f64 (*.f64 (-.f64 r2 #s(literal -7071/5000 binary64)) (-.f64 r1 #s(literal -7071/5000 binary64))) (-.f64 r2 #s(literal -7071/5000 binary64))) (/.f64 (-.f64 r1 #s(literal -7071/5000 binary64)) (*.f64 (*.f64 r1 (*.f64 (-.f64 (+.f64 r2 r1) #s(literal -7071/2500 binary64)) (*.f64 r2 r2))) r1))))))))
(+.f64 (-.f64 (+.f64 ahd_td (*.f64 #s(literal 4343/1000 binary64) (+.f64 (log.f64 (fabs.f64 (*.f64 #s(literal -477/10 binary64) (pow.f64 th #s(literal 4 binary64))))) (log.f64 (fabs.f64 wn))))) (*.f64 (-.f64 ens #s(literal 301 binary64)) (*.f64 (exp.f64 (*.f64 #s(literal -1/40000 binary64) (*.f64 d th))) #s(literal 1/10 binary64)))) h0)
(-.f64 (-.f64 (+.f64 h0 ahd_td) (*.f64 #s(literal -4343/1000 binary64) (log.f64 (*.f64 (*.f64 (pow.f64 th #s(literal 4 binary64)) wn) #s(literal 477/10 binary64))))) (*.f64 (*.f64 #s(literal -1/10 binary64) (-.f64 #s(literal 301 binary64) ens)) (exp.f64 (*.f64 #s(literal -1/40000 binary64) (*.f64 d th)))))
(+.f64 h0 (fmin.f64 h0 (*.f64 (*.f64 (-.f64 (*.f64 #s(literal -49/100 binary64) (log.f64 ett)) #s(literal -3381/5000 binary64)) (log.f64 ss)) (log.f64 q))))
(+.f64 h0 (fmin.f64 h0 (*.f64 (*.f64 (*.f64 #s(literal -49/100 binary64) (-.f64 (log.f64 ett) #s(literal 69/50 binary64))) (log.f64 ss)) (log.f64 q))))
(+.f64 h0 (fmin.f64 h0 (*.f64 (*.f64 (log.f64 q) (-.f64 #s(literal 69/50 binary64) (log.f64 ett))) (*.f64 #s(literal 49/100 binary64) (log.f64 ss)))))
(*.f64 (+.f64 (*.f64 (/.f64 (neg.f64 z0) (exp.f64 (pow.f64 (fmin.f64 (*.f64 #s(literal 1/8000 binary64) z0) #s(literal 17/10 binary64)) #s(literal 6 binary64)))) (neg.f64 etq)) z0) #s(literal 5/8778 binary64))
(*.f64 (-.f64 (/.f64 (*.f64 #s(literal 5/8778 binary64) etq) (exp.f64 (pow.f64 (fmin.f64 (*.f64 #s(literal 1/8000 binary64) z0) #s(literal 17/10 binary64)) #s(literal 6 binary64)))) #s(literal -5/8778 binary64)) z0)
(*.f64 (-.f64 (*.f64 (*.f64 #s(literal 5/8778 binary64) etq) (exp.f64 (neg.f64 (pow.f64 (fmin.f64 (*.f64 #s(literal 1/8000 binary64) z0) #s(literal 17/10 binary64)) #s(literal 6 binary64))))) #s(literal -5/8778 binary64)) z0)
(*.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 (fmin.f64 (*.f64 #s(literal 1/8000 binary64) z0) #s(literal 17/10 binary64)) #s(literal 6 binary64)))) etq) #s(literal -1 binary64)) (*.f64 #s(literal 5/8778 binary64) z0))
(*.f64 (*.f64 #s(literal 5/8778 binary64) (-.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 (fmin.f64 (*.f64 #s(literal 1/8000 binary64) z0) #s(literal 17/10 binary64)) #s(literal 6 binary64)))) etq) #s(literal -1 binary64))) z0)
(-.f64 (-.f64 (*.f64 #s(literal -127/100 binary64) v2) (*.f64 (*.f64 #s(literal -911/100 binary64) (sqrt.f64 (sqrt.f64 v2))) (sqrt.f64 (sqrt.f64 v2)))) #s(literal -301/50 binary64))
(-.f64 (-.f64 (*.f64 #s(literal -127/100 binary64) v2) (*.f64 #s(literal -911/100 binary64) (sqrt.f64 v2))) #s(literal -301/50 binary64))
(-.f64 (+.f64 #s(literal 301/50 binary64) (*.f64 #s(literal 911/100 binary64) (sqrt.f64 v2))) (*.f64 #s(literal 127/100 binary64) v2))
(-.f64 (-.f64 (*.f64 (log.f64 v2) #s(literal 4343/1000 binary64)) #s(literal 1 binary64)) #s(literal -13953/1000 binary64))
(+.f64 #s(literal 12953/1000 binary64) (*.f64 #s(literal 4343/1000 binary64) (log.f64 v2)))
(if.f64 (<=.f64 td #s(literal 10000 binary64)) (-.f64 (-.f64 (*.f64 (log.f64 td) #s(literal -4343/1000 binary64)) (*.f64 #s(literal -83/250000 binary64) td)) #s(literal -667/5 binary64)) (if.f64 (<=.f64 td #s(literal 70000 binary64)) (+.f64 (+.f64 #s(literal 523/5 binary64) (*.f64 #s(literal 53/250000 binary64) td)) (*.f64 #s(literal -543/500 binary64) (log.f64 td))) (+.f64 (+.f64 #s(literal 359/5 binary64) (*.f64 #s(literal 157/1000000 binary64) td)) (*.f64 #s(literal 2171/1000 binary64) (log.f64 td)))))
(if.f64 (<=.f64 td #s(literal 10000 binary64)) (+.f64 (+.f64 #s(literal 667/5 binary64) (*.f64 #s(literal 83/250000 binary64) td)) (*.f64 #s(literal -4343/1000 binary64) (log.f64 td))) (if.f64 (<=.f64 td #s(literal 70000 binary64)) (+.f64 (+.f64 #s(literal 523/5 binary64) (*.f64 #s(literal 53/250000 binary64) td)) (*.f64 #s(literal -543/500 binary64) (log.f64 td))) (+.f64 (+.f64 #s(literal 359/5 binary64) (*.f64 #s(literal 157/1000000 binary64) td)) (*.f64 #s(literal 2171/1000 binary64) (log.f64 td)))))
(/.f64 #s(literal 1 binary64) (-.f64 (*.f64 (sqrt.f64 q) #s(literal 10/251 binary64)) #s(literal -1 binary64)))
(/.f64 #s(literal 251/10 binary64) (+.f64 #s(literal 251/10 binary64) (sqrt.f64 q)))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 31831/400000 binary64) wn) ds) #s(literal 6857655085992111/685765508599211085406992031398401158759299079491541508764000248557024672719959118395646962442045349201660590667234013968119772982843080987903012964780708787451812337588750783066948774723991753080189067657794974398949244241113521123786594812548932026532556574571938698730267509225767960757581162756440064 binary64)) (*.f64 (*.f64 (*.f64 th #s(literal 31831/400000 binary64)) ds) (*.f64 th wn)) (if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 31831/400000 binary64) wn) ds) #s(literal 19999999999999999626973554412460083155631121439641162660196967440893695766559001679768595453565709161474725394008045163145540587374089871820031057920336098997774414447880409368397792528912679316975775902969160009805517042200828928981967925226381671772486580520849455849141021060282761167690006528 binary64)) (*.f64 (*.f64 th (*.f64 (*.f64 ds wn) #s(literal 31831/400000 binary64))) th) (*.f64 (*.f64 (*.f64 th #s(literal 31831/400000 binary64)) ds) (*.f64 th wn))))
(if.f64 (<=.f64 th #s(literal 6884257312483485/2993155353253689176481146537402947624255349848014848 binary64)) (*.f64 (*.f64 (*.f64 wn #s(literal 31831/400000 binary64)) (*.f64 th ds)) th) (*.f64 (*.f64 (*.f64 th wn) th) (*.f64 ds #s(literal 31831/400000 binary64))))
(if.f64 (<=.f64 th #s(literal 6884257312483485/2993155353253689176481146537402947624255349848014848 binary64)) (*.f64 (*.f64 (*.f64 th ds) wn) (*.f64 th #s(literal 31831/400000 binary64))) (*.f64 (*.f64 (*.f64 th wn) th) (*.f64 ds #s(literal 31831/400000 binary64))))
(*.f64 (*.f64 (*.f64 wn th) ds) (*.f64 th #s(literal 31831/400000 binary64)))
(*.f64 (*.f64 th (*.f64 ds (*.f64 wn #s(literal 31831/400000 binary64)))) th)
(-.f64 (+.f64 afo adiffv) (*.f64 (-.f64 adiffv ar) wd))
(if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal -20000000000000001234556670557343137739887446219260225166201057010776267530793431178850783418889295933886209169029825226206918157086791234347642307073397445710851820421832376437226948606762750725454677192049255448998969251578069606163080224847340840382426515166370261007217790184226520301568 binary64)) (*.f64 (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 (*.f64 wn dh) (-.f64 #s(literal 1 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal 4/5 binary64))))) d) (+.f64 (*.f64 d wd1) xd1)) (if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal 9999999999999999363587069377675917736425707327570073564839440723358156278052707548893386994586947577981035182609405692455150664165314335743772262409420005560181719702721238568128862437403998276353831973920663150777435958293799716241167969694049028276224 binary64)) (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (+.f64 (*.f64 (*.f64 (*.f64 wn dh) #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) (*.f64 wn dh)) #s(literal 31416/5 binary64))) (*.f64 (+.f64 (*.f64 d wd1) xd1) (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 (+.f64 (*.f64 (*.f64 wn #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) wn) dh)) d))))
(if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal -20000000000000001234556670557343137739887446219260225166201057010776267530793431178850783418889295933886209169029825226206918157086791234347642307073397445710851820421832376437226948606762750725454677192049255448998969251578069606163080224847340840382426515166370261007217790184226520301568 binary64)) (*.f64 (+.f64 (*.f64 d wd1) xd1) (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 wn (+.f64 (*.f64 (*.f64 dh #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) dh))) d)) (if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal 9999999999999999363587069377675917736425707327570073564839440723358156278052707548893386994586947577981035182609405692455150664165314335743772262409420005560181719702721238568128862437403998276353831973920663150777435958293799716241167969694049028276224 binary64)) (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (+.f64 (*.f64 (*.f64 (*.f64 wn dh) #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) (*.f64 wn dh)) #s(literal 31416/5 binary64))) (*.f64 (+.f64 (*.f64 d wd1) xd1) (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 (+.f64 (*.f64 (*.f64 wn #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) wn) dh)) d))))
(if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal -20000000000000001234556670557343137739887446219260225166201057010776267530793431178850783418889295933886209169029825226206918157086791234347642307073397445710851820421832376437226948606762750725454677192049255448998969251578069606163080224847340840382426515166370261007217790184226520301568 binary64)) (*.f64 (+.f64 (*.f64 d wd1) xd1) (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 wn (+.f64 (*.f64 (*.f64 dh #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) dh))) d)) (if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal 9999999999999999363587069377675917736425707327570073564839440723358156278052707548893386994586947577981035182609405692455150664165314335743772262409420005560181719702721238568128862437403998276353831973920663150777435958293799716241167969694049028276224 binary64)) (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (+.f64 (*.f64 (*.f64 (*.f64 wn dh) #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) (*.f64 wn dh)) #s(literal 31416/5 binary64))) (*.f64 (+.f64 (*.f64 d wd1) xd1) (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 wn (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal 4/5 binary64))) dh))) d))))
(if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal -20000000000000001234556670557343137739887446219260225166201057010776267530793431178850783418889295933886209169029825226206918157086791234347642307073397445710851820421832376437226948606762750725454677192049255448998969251578069606163080224847340840382426515166370261007217790184226520301568 binary64)) (*.f64 (+.f64 (*.f64 d wd1) xd1) (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 wn (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal 4/5 binary64))) dh))) d)) (if.f64 (<=.f64 (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 4/5 binary64) (exp.f64 (/.f64 (neg.f64 d) #s(literal 50000 binary64))))) dh) wn) #s(literal 31416/5 binary64))) #s(literal 9999999999999999363587069377675917736425707327570073564839440723358156278052707548893386994586947577981035182609405692455150664165314335743772262409420005560181719702721238568128862437403998276353831973920663150777435958293799716241167969694049028276224 binary64)) (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (+.f64 (*.f64 (*.f64 (*.f64 wn dh) #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) (*.f64 wn dh)) #s(literal 31416/5 binary64))) (*.f64 (+.f64 (*.f64 d wd1) xd1) (/.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 wn (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal 4/5 binary64))) dh))) d))))
(if.f64 (<=.f64 xd1 #s(literal 1650000000000000068793229024210521957981826640066651614264099340288 binary64)) (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 wn (-.f64 (*.f64 #s(literal -4/5 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -1 binary64))) dh) #s(literal 31416/5 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 d (*.f64 (+.f64 (*.f64 d wd1) xd1) (fmin.f64 #s(literal 31416/5 binary64) (*.f64 (*.f64 wn dh) (-.f64 #s(literal 1 binary64) (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) #s(literal 4/5 binary64)))))))))
(if.f64 (<=.f64 xd1 #s(literal 1650000000000000068793229024210521957981826640066651614264099340288 binary64)) (*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 wn (-.f64 (*.f64 #s(literal -4/5 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -1 binary64))) dh) #s(literal 31416/5 binary64))) (/.f64 (*.f64 (+.f64 (*.f64 d wd1) xd1) (fmin.f64 #s(literal 31416/5 binary64) (*.f64 wn (+.f64 (*.f64 (*.f64 dh #s(literal -4/5 binary64)) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) dh)))) d))
(*.f64 (fmin.f64 #s(literal 31416/5 binary64) (*.f64 wn (+.f64 (*.f64 (*.f64 (exp.f64 (*.f64 #s(literal -1/50000 binary64) d)) dh) #s(literal -4/5 binary64)) dh))) (+.f64 (/.f64 xd1 d) wd1))
(*.f64 (+.f64 wd1 (/.f64 xd1 d)) (fmin.f64 (*.f64 (*.f64 wn (-.f64 (*.f64 #s(literal -4/5 binary64) (exp.f64 (*.f64 #s(literal -1/50000 binary64) d))) #s(literal -1 binary64))) dh) #s(literal 31416/5 binary64)))
(-.f64 (-.f64 (*.f64 #s(literal 5751/100000 binary64) q) (*.f64 #s(literal 4343/1000 binary64) (log.f64 q))) aht)