(pow.f64 one_es #s(literal 3 binary64))
(*.f64 one_es (*.f64 one_es one_es))
(-.f64 (*.f64 (-.f64 rone_es (*.f64 (*.f64 rone_es ca) (*.f64 ca es))) (-.f64 rone_es (*.f64 (*.f64 rone_es ca) (*.f64 ca es)))) #s(literal 1 binary64))
(-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 ca es) ca)) (*.f64 (*.f64 rone_es (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 ca es) ca))) rone_es)) #s(literal 1 binary64))
(-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 es ca) ca)) rone_es) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 es ca) ca)) rone_es)) #s(literal 1 binary64))
(-.f64 (*.f64 (*.f64 (*.f64 rone_es (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 ca es) ca))) (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 ca es) ca))) rone_es) #s(literal 1 binary64))
(if.f64 (<=.f64 rone_es #s(literal 149999999999999992986897674126505031931384212155899131334308515730123895653333839892603382084650451840683943334441604087808 binary64)) (*.f64 (*.f64 rone_es (*.f64 sa es)) (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) es) sa) rone_es)) (*.f64 (*.f64 (*.f64 rone_es es) sa) (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) es) sa) rone_es)))
(*.f64 (*.f64 rone_es (*.f64 sa es)) (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) es) sa) rone_es))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 (sin.f64 lam) t) (sin.f64 lam))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (*.f64 (sin.f64 lam) (sin.f64 lam)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lam)) (sin.f64 lam)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (*.f64 (sin.f64 lam) (sin.f64 lam)))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (*.f64 (sin.f64 lam) (sin.f64 lam)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lam)) (sin.f64 lam)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lam) #s(literal 2 binary64))))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 (sin.f64 lam) t) (sin.f64 lam))) (*.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lam)) (sin.f64 lam)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (*.f64 (sin.f64 lam) (sin.f64 lam)))) (*.f64 (-.f64 (*.f64 w (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (+.f64 lam lam)) #s(literal 1/2 binary64)))) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lam)) (sin.f64 lam)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (*.f64 (sin.f64 lam) (sin.f64 lam)))) (*.f64 (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 q (*.f64 (sin.f64 lam) (sin.f64 lam))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lam) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lam)) (sin.f64 lam))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lam) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lam) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (+.f64 lam lam)) #s(literal 1/2 binary64))))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (+.f64 lam lam)) #s(literal 1/2 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lam)) (sin.f64 lam))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lam) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lam)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (cos.f64 (+.f64 lam lam)))) w) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))))))))
(*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lam) p22))
(*.f64 sa (/.f64 (*.f64 (cos.f64 lam) p22) (sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) q) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))) (-.f64 #s(literal -1 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) t) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))))))))))
(*.f64 sa (*.f64 p22 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 q (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64))))) (cos.f64 lam))))
(*.f64 p22 (*.f64 sa (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 q (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64))))) (cos.f64 lam))))
(*.f64 (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) q) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64))) #s(literal -1 binary64))) (*.f64 ca p22)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) q) #s(literal -1 binary64)) (-.f64 (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64))) #s(literal -1 binary64)))))
(if.f64 (<=.f64 q #s(literal 1500000000000000049262343733807389118480518849539417543268470139388120510348181993316001973441591119025924257176483653367972735951317237760 binary64)) (*.f64 (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) (*.f64 #s(literal 1/2 binary64) q)) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64))) #s(literal -1 binary64))) (*.f64 ca p22)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) (*.f64 #s(literal 1/2 binary64) q)) #s(literal -1 binary64)) (-.f64 (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64))) #s(literal -1 binary64))))) (/.f64 (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (*.f64 (sin.f64 lam) q) (sin.f64 lam)) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))) (*.f64 ca p22)) (sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 (sin.f64 lam) q) (sin.f64 lam)) #s(literal -1 binary64)))))))
(if.f64 (<=.f64 q #s(literal 1500000000000000049262343733807389118480518849539417543268470139388120510348181993316001973441591119025924257176483653367972735951317237760 binary64)) (*.f64 (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) (*.f64 #s(literal 1/2 binary64) q)) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64))) #s(literal -1 binary64))) (*.f64 ca p22)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) (*.f64 #s(literal 1/2 binary64) q)) #s(literal -1 binary64)) (-.f64 (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64))) #s(literal -1 binary64))))) (*.f64 (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) q) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) (*.f64 #s(literal 1/2 binary64) w)) #s(literal -1 binary64))) (*.f64 ca p22)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lam) #s(literal 2 binary64)) q) #s(literal -1 binary64)) (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) (*.f64 #s(literal 1/2 binary64) w)) #s(literal -1 binary64))))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))))) (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (*.f64 (sin.f64 lam) q) (sin.f64 lam)) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64))) (*.f64 p22 ca)))
(*.f64 (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))))) (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) q) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64))) (*.f64 p22 ca)))
(*.f64 (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lam) #s(literal 2 binary64)))) (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)))) (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) q) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64))) (*.f64 p22 ca)))
(/.f64 (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) q) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))) (*.f64 ca p22)) (sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) q) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam)))) #s(literal -1 binary64))))))
(*.f64 (-.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) q) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64))) (*.f64 ca p22)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64)) q) #s(literal -1 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lam lam))) #s(literal 1/2 binary64))) #s(literal -1 binary64)))))
(*.f64 mult (*.f64 (/.f64 (+.f64 xj h) (sqrt.f64 (+.f64 (*.f64 s s) (*.f64 xj xj)))) s))
(*.f64 mult (/.f64 (-.f64 (*.f64 h xj) (*.f64 s s)) (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))
(+.f64 (*.f64 (atan.f64 fac) #s(literal 2 binary64)) (*.f64 (PI.f64) #s(literal -1/2 binary64)))
(atan.f64 (/.f64 (/.f64 (-.f64 (*.f64 (cos.f64 lamt) (tan.f64 lamdp)) (*.f64 (sin.f64 lamt) ca)) one_es) sa))
(atan.f64 (/.f64 (-.f64 (*.f64 (tan.f64 lamdp) (cos.f64 lamt)) (*.f64 ca (sin.f64 lamt))) (*.f64 one_es sa)))
(-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 rone_es spp) spp)) (tan.f64 lamdp)) (/.f64 ca (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (-.f64 u #s(literal -1 binary64)) spp) spp)))) (/.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) q) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 spp spp))) (*.f64 u (*.f64 spp spp)))) (*.f64 sa spp)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (-.f64 u #s(literal -1 binary64)) spp) spp)) (cos.f64 lamdp))))
(/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 rone_es spp) spp)) (*.f64 (tan.f64 lamdp) ca)) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 spp spp)) (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) q) #s(literal -1 binary64))) (*.f64 u (*.f64 spp spp)))) (*.f64 spp (/.f64 sa (cos.f64 lamdp))))) (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (-.f64 u #s(literal -1 binary64)) spp) spp)))
(/.f64 (-.f64 (*.f64 (*.f64 (/.f64 spp (cos.f64 lamdp)) sa) (sqrt.f64 (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) q) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 spp spp))) (*.f64 u (*.f64 spp spp))))) (*.f64 (*.f64 ca (tan.f64 lamdp)) (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 rone_es spp) spp)))) (-.f64 (*.f64 (*.f64 (-.f64 u #s(literal -1 binary64)) spp) spp) #s(literal 1 binary64)))
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 spp spp) rone_es)) (tan.f64 lamdp)) ca) (/.f64 (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 spp spp)) (-.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (cos.f64 (+.f64 lamdp lamdp)))) q) #s(literal -1 binary64))) (*.f64 u (*.f64 spp spp)))) spp) sa) (cos.f64 lamdp))) (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 spp spp) (+.f64 #s(literal 1 binary64) u))))
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 spp spp) rone_es)) (tan.f64 lamdp)) ca) (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 spp spp)) (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) q) #s(literal -1 binary64))) (*.f64 u (*.f64 spp spp)))) (cos.f64 lamdp)) (*.f64 sa spp))) (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 spp spp) (+.f64 #s(literal 1 binary64) u))))
(/.f64 (-.f64 (*.f64 (*.f64 ca (-.f64 #s(literal 1 binary64) (*.f64 rone_es (*.f64 spp spp)))) (tan.f64 lamdp)) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 spp spp)) (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) q) #s(literal -1 binary64))) (*.f64 u (*.f64 spp spp)))) (*.f64 spp (/.f64 sa (cos.f64 lamdp))))) (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (-.f64 u #s(literal -1 binary64)) spp) spp)))
(if.f64 (<=.f64 (/.f64 s xj) #s(literal 1999999999999999968690075053594844794467049550398674105839167574826260825778046447254131513863660361617142062017839354320168505704399283619892060046895905392871054248054753201409632462850463438004757128270250508288 binary64)) (/.f64 (-.f64 (-.f64 (-.f64 (+.f64 (*.f64 (/.f64 s xj) xy_y) xy_x) (*.f64 (sin.f64 (+.f64 lamdp lamdp)) a2)) (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4)) (*.f64 (/.f64 s xj) (+.f64 (*.f64 c1 (sin.f64 lamdp)) (*.f64 c3 (-.f64 (*.f64 #s(literal 3 binary64) (sin.f64 lamdp)) (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 3 binary64)) #s(literal 4 binary64))))))) b) (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) c3) (*.f64 (sin.f64 lamdp) c1)) s) (+.f64 (*.f64 xj xy_x) (*.f64 s xy_y))) (*.f64 (neg.f64 xj) b)) (/.f64 (-.f64 (*.f64 (neg.f64 a2) (sin.f64 (+.f64 lamdp lamdp))) (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4)) b)))
(if.f64 (<=.f64 (/.f64 s xj) #s(literal 1999999999999999968690075053594844794467049550398674105839167574826260825778046447254131513863660361617142062017839354320168505704399283619892060046895905392871054248054753201409632462850463438004757128270250508288 binary64)) (/.f64 (-.f64 (-.f64 (-.f64 (+.f64 (*.f64 (/.f64 s xj) xy_y) xy_x) (*.f64 (sin.f64 (+.f64 lamdp lamdp)) a2)) (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4)) (*.f64 (/.f64 s xj) (+.f64 (*.f64 c1 (sin.f64 lamdp)) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))) b) (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) c3) (*.f64 (sin.f64 lamdp) c1)) s) (+.f64 (*.f64 xj xy_x) (*.f64 s xy_y))) (*.f64 (neg.f64 xj) b)) (/.f64 (-.f64 (*.f64 (neg.f64 a2) (sin.f64 (+.f64 lamdp lamdp))) (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4)) b)))
(if.f64 (<=.f64 (/.f64 s xj) #s(literal 19999999999999999268135931261773148422054286450547135587360727686854173003085774848 binary64)) (/.f64 (-.f64 (-.f64 (-.f64 (+.f64 (*.f64 (/.f64 s xj) xy_y) xy_x) (*.f64 (sin.f64 (+.f64 lamdp lamdp)) a2)) (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4)) (*.f64 (/.f64 s xj) (+.f64 (*.f64 c1 (sin.f64 lamdp)) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))) b) (/.f64 (-.f64 (*.f64 (-.f64 (-.f64 (+.f64 (/.f64 (*.f64 s xy_y) xj) xy_x) (*.f64 (sin.f64 (+.f64 lamdp lamdp)) a2)) (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4)) xj) (*.f64 (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) c3) (*.f64 (sin.f64 lamdp) c1)) s)) (*.f64 xj b)))
(/.f64 (+.f64 (/.f64 (-.f64 (*.f64 (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) c3) (*.f64 (sin.f64 lamdp) c1)) s) (+.f64 (*.f64 xy_x xj) (*.f64 s xy_y))) xj) (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4) (*.f64 (sin.f64 (+.f64 lamdp lamdp)) a2))) (neg.f64 b))
(if.f64 (<=.f64 (exp.f64 (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 s s) (*.f64 xj xj)))) (-.f64 (-.f64 xy_y (*.f64 c1 (sin.f64 lamdp))) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))) #s(literal +inf.0 binary64)) (exp.f64 (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 s s) (*.f64 xj xj)))) (-.f64 (-.f64 xy_y (*.f64 c1 (sin.f64 lamdp))) (*.f64 c3 (-.f64 (*.f64 #s(literal 3 binary64) (sin.f64 lamdp)) (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 3 binary64)) #s(literal 4 binary64))))))) (exp.f64 (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (/.f64 s xj) s) xj))) (-.f64 (-.f64 xy_y (*.f64 c1 (sin.f64 lamdp))) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))))
(if.f64 (<=.f64 lamdp #s(literal -11199999999999999623586375499261256117721438116536671144864573347227127467460160693558047621141281782790224725466793032401922050283815057054418196670977791057985536 binary64)) (exp.f64 (*.f64 (-.f64 (-.f64 xy_y (*.f64 (sin.f64 lamdp) c1)) (*.f64 (sin.f64 (-.f64 (*.f64 #s(literal -3 binary64) lamdp) (PI.f64))) c3)) (sqrt.f64 (-.f64 (*.f64 (/.f64 s (*.f64 xj xj)) s) #s(literal -1 binary64))))) (exp.f64 (*.f64 (cosh.f64 (asinh.f64 (/.f64 s xj))) (-.f64 (-.f64 xy_y (*.f64 c1 (sin.f64 lamdp))) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))))
(if.f64 (<=.f64 lamdp #s(literal -11199999999999999623586375499261256117721438116536671144864573347227127467460160693558047621141281782790224725466793032401922050283815057054418196670977791057985536 binary64)) (exp.f64 (*.f64 (-.f64 (-.f64 xy_y (*.f64 (sin.f64 lamdp) c1)) (*.f64 (sin.f64 (-.f64 (*.f64 #s(literal -3 binary64) lamdp) (PI.f64))) c3)) (sqrt.f64 (-.f64 (*.f64 (/.f64 s (*.f64 xj xj)) s) #s(literal -1 binary64))))) (exp.f64 (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (/.f64 s xj) s) xj))) (-.f64 (-.f64 xy_y (*.f64 c1 (sin.f64 lamdp))) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))))
(if.f64 (<=.f64 lamdp #s(literal -11199999999999999623586375499261256117721438116536671144864573347227127467460160693558047621141281782790224725466793032401922050283815057054418196670977791057985536 binary64)) (exp.f64 (*.f64 (-.f64 (-.f64 xy_y (*.f64 (sin.f64 lamdp) c1)) (*.f64 (sin.f64 (-.f64 (*.f64 #s(literal -3 binary64) lamdp) (PI.f64))) c3)) (sqrt.f64 (-.f64 (*.f64 (/.f64 s (*.f64 xj xj)) s) #s(literal -1 binary64))))) (exp.f64 (*.f64 (-.f64 (-.f64 xy_y (*.f64 (sin.f64 lamdp) c1)) (*.f64 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) c3)) (sqrt.f64 (-.f64 (*.f64 (/.f64 s (*.f64 xj xj)) s) #s(literal -1 binary64))))))
(exp.f64 (*.f64 (-.f64 (-.f64 xy_y (*.f64 (sin.f64 lamdp) c1)) (*.f64 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) c3)) (sqrt.f64 (-.f64 (*.f64 (/.f64 s (*.f64 xj xj)) s) #s(literal -1 binary64)))))
(exp.f64 (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 s s) (*.f64 xj xj)))) (-.f64 (-.f64 xy_y (*.f64 c1 (sin.f64 lamdp))) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))))))
(+.f64 (+.f64 (*.f64 c1 (sin.f64 lamdp)) (*.f64 c3 (-.f64 (*.f64 #s(literal 3 binary64) (sin.f64 lamdp)) (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 3 binary64)) #s(literal 4 binary64))))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s))))))
(+.f64 (+.f64 (*.f64 c1 (sin.f64 lamdp)) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s))))))
(+.f64 (*.f64 xj (/.f64 tanph (sqrt.f64 (+.f64 (*.f64 s s) (*.f64 xj xj))))) (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) c3) (*.f64 (sin.f64 lamdp) c1)))
(-.f64 (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4) (+.f64 (*.f64 (sin.f64 (+.f64 lamdp lamdp)) a2) (*.f64 lamdp b))) (*.f64 (/.f64 s (sqrt.f64 (+.f64 (*.f64 s s) (*.f64 xj xj)))) tanph))
(-.f64 (+.f64 (*.f64 (sin.f64 (*.f64 #s(literal 4 binary64) lamdp)) a4) (+.f64 (*.f64 (sin.f64 (+.f64 lamdp lamdp)) a2) (*.f64 lamdp b))) (*.f64 s (/.f64 tanph (sqrt.f64 (+.f64 (*.f64 s s) (*.f64 xj xj))))))
(if.f64 (<=.f64 one_es #s(literal -99999999999999997168788049560464200849936328366177157906432 binary64)) (+.f64 (*.f64 (tan.f64 lamt) ca) (*.f64 (*.f64 sa tanphi) (/.f64 one_es (cos.f64 lamt)))) (+.f64 (/.f64 (*.f64 (*.f64 sa one_es) tanphi) (cos.f64 lamt)) (*.f64 (tan.f64 lamt) ca)))
(if.f64 (<=.f64 one_es #s(literal -99999999999999997168788049560464200849936328366177157906432 binary64)) (+.f64 (*.f64 (tan.f64 lamt) ca) (*.f64 (*.f64 sa tanphi) (/.f64 one_es (cos.f64 lamt)))) (+.f64 (*.f64 (*.f64 sa one_es) (/.f64 tanphi (cos.f64 lamt))) (*.f64 (tan.f64 lamt) ca)))
(+.f64 (*.f64 (tan.f64 lamt) ca) (*.f64 (*.f64 sa tanphi) (/.f64 one_es (cos.f64 lamt))))
(neg.f64 (log.f64 (/.f64 (fabs.f64 (cos.f64 (-.f64 (*.f64 #s(literal 5/4 binary64) (PI.f64)) (*.f64 #s(literal -1/2 binary64) phidp)))) (fabs.f64 (sin.f64 (-.f64 (*.f64 #s(literal 13/4 binary64) (PI.f64)) (*.f64 #s(literal -1/2 binary64) phidp)))))))
(log.f64 (tan.f64 (+.f64 (*.f64 phidp #s(literal 1/2 binary64)) (*.f64 #s(literal 13/4 binary64) (PI.f64)))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 (sin.f64 lamdp) t) (sin.f64 lamdp))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (*.f64 (sin.f64 lamdp) (sin.f64 lamdp)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lamdp)) (sin.f64 lamdp)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (*.f64 (sin.f64 lamdp) (sin.f64 lamdp)))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (*.f64 (sin.f64 lamdp) (sin.f64 lamdp)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lamdp)) (sin.f64 lamdp)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64))))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 (sin.f64 lamdp) t) (sin.f64 lamdp))) (*.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lamdp)) (sin.f64 lamdp)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (*.f64 (sin.f64 lamdp) (sin.f64 lamdp)))) (*.f64 (-.f64 (*.f64 w (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (+.f64 lamdp lamdp)) #s(literal 1/2 binary64)))) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lamdp)) (sin.f64 lamdp)))))))
(*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (*.f64 (sin.f64 lamdp) (sin.f64 lamdp)))) (*.f64 (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64))) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 q (*.f64 (sin.f64 lamdp) (sin.f64 lamdp))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lamdp) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lamdp)) (sin.f64 lamdp))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lamdp) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lamdp) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 t (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (+.f64 lamdp lamdp)) #s(literal 1/2 binary64))))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 w (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (+.f64 lamdp lamdp)) #s(literal 1/2 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 q (sin.f64 lamdp)) (sin.f64 lamdp))))))))
(if.f64 (<=.f64 q #s(literal 10000000000000000213204190094543968723012578712679649467743338496 binary64)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lamdp) p22)) (*.f64 (*.f64 (*.f64 p22 sa) (cos.f64 lamdp)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (cos.f64 (+.f64 lamdp lamdp)))) w) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 q (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)))))))))
(*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 lamdp) #s(literal 2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 q #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 w #s(literal 1/2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64))))) sa) (*.f64 (cos.f64 lamdp) p22))
(*.f64 sa (/.f64 (*.f64 (cos.f64 lamdp) p22) (sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) w) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) q) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp)))) #s(literal -1 binary64))) (-.f64 #s(literal -1 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) t) (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))))))))))
(*.f64 sa (*.f64 p22 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 q (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64))) #s(literal -1 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64))) #s(literal -1 binary64))))) (cos.f64 lamdp))))
(*.f64 p22 (*.f64 sa (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64)) t) #s(literal -1 binary64)) (*.f64 (-.f64 (*.f64 q (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64))) #s(literal -1 binary64)) (-.f64 (*.f64 w (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 lamdp lamdp))) #s(literal 1/2 binary64))) #s(literal -1 binary64))))) (cos.f64 lamdp))))
(asin.f64 (/.f64 (-.f64 (*.f64 (*.f64 one_es ca) (sin.f64 phi)) (*.f64 (*.f64 sa (cos.f64 phi)) (sin.f64 lamt))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 es (pow.f64 (sin.f64 phi) #s(literal 2 binary64)))))))
(asin.f64 (/.f64 (-.f64 (*.f64 (*.f64 one_es ca) (sin.f64 phi)) (*.f64 (*.f64 sa (cos.f64 phi)) (sin.f64 lamt))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (+.f64 phi phi))) #s(literal 1/2 binary64)) es)))))