(-.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -1 binary32))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (* ux (- (+ maxCos (/ 1 ux)) 1)) #s(literal 1 binary32)))
(*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (-.f32 (+.f32 ux ux) (*.f32 (-.f32 (+.f32 maxCos maxCos) (*.f32 (*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux) (-.f32 #s(literal 1 binary32) maxCos))) ux)))))
(*.f32 (sqrt.f32 (*.f32 (-.f32 (+.f32 (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)) #s(literal 1 binary32)) ux) (-.f32 ux (*.f32 maxCos ux)))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32)))) (sqrt.f32 (*.f32 (-.f32 ux (*.f32 maxCos ux)) (-.f32 (+.f32 #s(literal 2 binary32) (*.f32 maxCos ux)) ux)))))
(if.f32 (<=.f32 maxCos #s(literal 8796093/4398046511104 binary32)) (*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))) (*.f32 ux (-.f32 #s(literal 2 binary32) ux))))) (*.f32 #s(approx (sin (* (* uy 2) (PI))) (*.f32 uy (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (+.f32 (PI.f32) (PI.f32)) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32))))) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32)))))) (sqrt.f32 (*.f32 (-.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 0 binary32)) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)) (-.f32 ux #s(literal 1 binary32)))))))
(*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (*.f32 (-.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 0 binary32)) #s(approx (- (- (* maxCos ux) -1) (- ux 1)) (-.f32 #s(literal 2 binary32) ux)))))
(*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (+.f32 (+.f32 ux ux) (*.f32 (-.f32 #s(approx (* -1 (* ux (pow (- maxCos 1) 2))) (neg.f32 ux)) (+.f32 maxCos maxCos)) ux)))))
(*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (-.f32 (-.f32 (-.f32 #s(approx (* -1 (* ux (pow (- maxCos 1) 2))) (neg.f32 ux)) #s(literal -2 binary32)) maxCos) maxCos)))))
(*.f32 (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 (+.f32 #s(approx (* -1 (* ux (pow (- maxCos 1) 2))) (neg.f32 ux)) (-.f32 #s(literal 2 binary32) (+.f32 maxCos maxCos))) ux))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))
(if.f32 (<=.f32 uy #s(literal 16106127/536870912 binary32)) (*.f32 (sqrt.f32 (*.f32 (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux))) #s(approx (sin (* (* uy 2) (PI))) (*.f32 (+.f32 (+.f32 (PI.f32) (PI.f32)) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32)))) uy))) (*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) #s(approx (* ux (- 2 (* 2 maxCos))) (*.f32 #s(literal 2 binary32) ux))))))
(*.f32 (sqrt.f32 (*.f32 (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux))) #s(approx (sin (* (* uy 2) (PI))) (*.f32 (+.f32 (+.f32 (PI.f32) (PI.f32)) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32)))) uy)))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 (*.f32 (+.f32 uy uy) (sqrt.f32 (*.f32 (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)))) (PI.f32)))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 (*.f32 (PI.f32) (+.f32 uy uy)) (sqrt.f32 (*.f32 (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 (PI.f32) (sqrt.f32 (*.f32 (-.f32 ux (*.f32 maxCos ux)) (-.f32 #s(approx (+ 2 (* maxCos ux)) #s(literal 2 binary32)) ux)))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 (*.f32 (+.f32 uy uy) (sqrt.f32 #s(approx (* (- ux (* maxCos ux)) (- (+ 2 (* maxCos ux)) ux)) (*.f32 (-.f32 #s(literal 2 binary32) ux) ux)))) (PI.f32)))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 (*.f32 (PI.f32) (+.f32 uy uy)) (sqrt.f32 #s(approx (* (- ux (* maxCos ux)) (- (+ 2 (* maxCos ux)) ux)) (*.f32 (-.f32 #s(literal 2 binary32) ux) ux)))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 (PI.f32) (sqrt.f32 #s(approx (* (- ux (* maxCos ux)) (- (+ 2 (* maxCos ux)) ux)) (*.f32 ux #s(approx (- 2 ux) #s(literal 2 binary32)))))))))
(*.f32 (sin.f32 (*.f32 (+.f32 #s(literal 1 binary32) #s(approx (/ (* (neg uy) (+ (PI) (PI))) (* 1/2 (PI))) (*.f32 #s(literal -4 binary32) uy))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (-.f32 (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (*.f32 ux (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32))))) (*.f32 #s(literal 2 binary32) maxCos))))))
(*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (+.f32 (*.f32 ux #s(literal 2 binary32)) (*.f32 ux (-.f32 (*.f32 (neg.f32 ux) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) (-.f32 #s(literal 1 binary32) maxCos))) (+.f32 maxCos maxCos)))))))
(*.f32 (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 (-.f32 (-.f32 #s(literal 2 binary32) (*.f32 (*.f32 ux (-.f32 maxCos #s(literal 1 binary32))) (-.f32 maxCos #s(literal 1 binary32)))) (+.f32 maxCos maxCos)) ux))) (cos.f32 (*.f32 (+.f32 uy uy) (PI.f32))))
(*.f32 (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 #s(approx (- (+ 2 (* -1 (* ux (pow (- maxCos 1) 2)))) (* 2 maxCos)) (-.f32 (-.f32 (*.f32 (-.f32 (+.f32 ux ux) #s(literal 2 binary32)) maxCos) ux) #s(literal -2 binary32))) ux))) (cos.f32 (*.f32 (+.f32 uy uy) (PI.f32))))
(*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (-.f32 #s(approx (+ 2 (* -1 (* ux (pow (- maxCos 1) 2)))) (+.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (*.f32 #s(literal 2 binary32) maxCos))))))
(*.f32 (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 (-.f32 #s(approx (+ 2 (* -1 (* ux (pow (- maxCos 1) 2)))) (-.f32 #s(literal 2 binary32) ux)) (+.f32 maxCos maxCos)) ux))) (cos.f32 (*.f32 (+.f32 uy uy) (PI.f32))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (+.f32 (-.f32 #s(literal 1 binary32) (*.f32 (-.f32 #s(literal -1 binary32) (*.f32 maxCos ux)) (-.f32 #s(literal -1 binary32) (*.f32 maxCos ux)))) (*.f32 ux (-.f32 (*.f32 (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)) #s(literal 2 binary32)) ux)))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (+.f32 (-.f32 #s(approx (* (- (* maxCos ux) -1) (- (* maxCos ux) -1)) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) (*.f32 maxCos ux)))) (*.f32 (*.f32 #s(literal 2 binary32) (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32))) ux)) (*.f32 ux ux)))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (+.f32 (-.f32 (*.f32 (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)) (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32))) #s(approx (* (* 2 (- (* maxCos ux) -1)) ux) (*.f32 #s(literal 2 binary32) ux))) (*.f32 ux ux)))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (+.f32 #s(approx (- (* (- (* maxCos ux) -1) (- (* maxCos ux) -1)) (* (* 2 (- (* maxCos ux) -1)) ux)) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) ux))) (*.f32 ux ux)))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (-.f32 #s(literal 1 binary32) #s(approx (pow (- (+ 1 (* maxCos ux)) ux) 2) (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos (-.f32 maxCos #s(literal 2 binary32)))))))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (-.f32 #s(literal 1 binary32) #s(approx (pow (- (+ 1 (* maxCos ux)) ux) 2) (+.f32 #s(literal 1 binary32) #s(approx (* ux (- (* 2 maxCos) 2)) (*.f32 #s(literal -2 binary32) ux)))))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (-.f32 #s(literal 1 binary32) #s(approx (pow (- (+ 1 (* maxCos ux)) ux) 2) #s(approx (+ 1 (* ux (- (* 2 maxCos) 2))) #s(literal 1 binary32))))))
(+.f32 (-.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (+.f32 uy uy) (PI.f32))) yi) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) maxCos) (-.f32 #s(literal 1 binary32) ux)) ux) ux)))) (*.f32 (*.f32 (*.f32 zi maxCos) (-.f32 ux #s(literal 1 binary32))) ux)) (*.f32 (*.f32 (sin.f32 (+.f32 (*.f32 #s(literal -2 binary32) (*.f32 (PI.f32) uy)) (*.f32 (PI.f32) #s(literal 1/2 binary32)))) xi) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) maxCos) (-.f32 #s(literal 1 binary32) ux)) ux) ux)))))
(+.f32 (-.f32 (*.f32 (*.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) ux) ux) (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)))))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy)))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 maxCos ux)) zi)) (*.f32 (*.f32 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) ux) ux) (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)))))) (cos.f32 (*.f32 (PI.f32) (+.f32 uy uy)))))
(+.f32 (+.f32 (*.f32 (*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (*.f32 #s(approx (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)) (*.f32 (*.f32 zi (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux))) ux))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux (*.f32 zi (-.f32 #s(literal 1 binary32) ux)))) (+.f32 (*.f32 xi (cos.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) (*.f32 yi (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (+.f32 (*.f32 (cos.f32 (*.f32 (+.f32 uy uy) (PI.f32))) xi) (*.f32 (*.f32 zi ux) maxCos)) (*.f32 (sin.f32 (*.f32 (+.f32 uy uy) (PI.f32))) yi)))
(if.f32 (<=.f32 uy #s(literal 13743895/137438953472 binary32)) (-.f32 (*.f32 #s(approx (* (- (/ (* (* xi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (cos (* (PI) (+ uy uy)))) (* (* yi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (sin (* (PI) (+ uy uy))))) -1) (sin (* (PI) (+ uy uy)))) (+.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))) (/.f32 xi yi))) (*.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 ux (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) maxCos)) (*.f32 (-.f32 #s(literal 1 binary32) ux) ux)))) yi)) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) maxCos) (*.f32 zi ux))) #s(approx (+ (- (* (* (sin (* (+ uy uy) (PI))) yi) (sqrt (- 1 (* (* (* (* (* maxCos (- 1 ux)) maxCos) (- 1 ux)) ux) ux)))) (* (* (* zi maxCos) (- ux 1)) ux)) (* (* (sin (+ (* -2 (* (PI) uy)) (* (PI) 1/2))) xi) (sqrt (- 1 (* (* (* (* (* maxCos (- 1 ux)) maxCos) (- 1 ux)) ux) ux))))) (+.f32 (*.f32 xi (sin.f32 (+.f32 (*.f32 #s(literal -2 binary32) (*.f32 uy (PI.f32))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))) (*.f32 yi (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))))))
(if.f32 (<=.f32 uy #s(literal 13743895/137438953472 binary32)) (-.f32 (*.f32 #s(approx (* (- (/ (* (* xi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (cos (* (PI) (+ uy uy)))) (* (* yi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (sin (* (PI) (+ uy uy))))) -1) (sin (* (PI) (+ uy uy)))) (+.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))) (/.f32 xi yi))) (*.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 ux (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) maxCos)) (*.f32 (-.f32 #s(literal 1 binary32) ux) ux)))) yi)) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) maxCos) (*.f32 zi ux))) #s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (+.f32 (*.f32 xi (cos.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) (*.f32 yi (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32)))))))))
(if.f32 (<=.f32 xi #s(literal 141671/9444732965739290427392 binary32)) (+.f32 (*.f32 (+.f32 #s(literal 1 binary32) #s(approx (/ (* (* xi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (cos (* (PI) (+ uy uy)))) (* (* yi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (sin (* (PI) (+ uy uy))))) (*.f32 #s(literal 1/2 binary32) (/.f32 xi (*.f32 uy (*.f32 yi (PI.f32))))))) (*.f32 (*.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) ux) ux) (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)))))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))) (*.f32 (*.f32 zi (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)) ux)) #s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux zi)) (+.f32 (*.f32 xi (cos.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) #s(approx (* yi (sin (* 2 (* uy (PI))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32)))))))))
(if.f32 (<=.f32 xi #s(literal 141671/9444732965739290427392 binary32)) (+.f32 (*.f32 (+.f32 #s(literal 1 binary32) #s(approx (/ (* (* xi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (cos (* (PI) (+ uy uy)))) (* (* yi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (sin (* (PI) (+ uy uy))))) (*.f32 #s(literal 1/2 binary32) (/.f32 xi (*.f32 uy (*.f32 yi (PI.f32))))))) (*.f32 (*.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) ux) ux) (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)))))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))) (*.f32 maxCos (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) ux) zi))) #s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux zi)) (+.f32 (*.f32 xi (cos.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) #s(approx (* yi (sin (* 2 (* uy (PI))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32)))))))))
(if.f32 (<=.f32 xi #s(literal 141671/9444732965739290427392 binary32)) (+.f32 (*.f32 (+.f32 #s(literal 1 binary32) #s(approx (/ (* (* xi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (cos (* (PI) (+ uy uy)))) (* (* yi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (sin (* (PI) (+ uy uy))))) (*.f32 #s(literal 1/2 binary32) (/.f32 xi (*.f32 uy (*.f32 yi (PI.f32))))))) (*.f32 (*.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 #s(approx (* maxCos (- 1 ux)) maxCos) ux) ux) #s(approx (* maxCos (- 1 ux)) maxCos))))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)) #s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux zi)) (+.f32 (*.f32 xi (cos.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) #s(approx (* yi (sin (* 2 (* uy (PI))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32)))))))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (*.f32 maxCos (+.f32 (*.f32 ux zi) (+.f32 #s(approx (/ (* xi (cos (* 2 (* uy (PI))))) maxCos) (/.f32 xi maxCos)) (/.f32 (*.f32 yi (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) maxCos))))))
(if.f32 (<=.f32 uy #s(literal 8321499/134217728 binary32)) (-.f32 (*.f32 #s(approx (* (- (/ (* (* xi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (cos (* (PI) (+ uy uy)))) (* (* yi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (sin (* (PI) (+ uy uy))))) -1) (sin (* (PI) (+ uy uy)))) (+.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))) (/.f32 xi yi))) (*.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 ux (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) maxCos)) (*.f32 (-.f32 #s(literal 1 binary32) ux) ux)))) yi)) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) maxCos) (*.f32 zi ux))) #s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 (*.f32 zi ux) maxCos) #s(approx (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI)))))) (*.f32 (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))) yi)))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux zi)) (+.f32 (*.f32 xi (cos.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) #s(approx (* yi (sin (* 2 (* uy (PI))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32))))))))
(-.f32 (*.f32 #s(approx (* (- (/ (* (* xi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (cos (* (PI) (+ uy uy)))) (* (* yi (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux)))))) (sin (* (PI) (+ uy uy))))) -1) (sin (* (PI) (+ uy uy)))) (+.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))) (/.f32 xi yi))) (*.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 ux (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) maxCos)) (*.f32 (-.f32 #s(literal 1 binary32) ux) ux)))) yi)) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) maxCos) (*.f32 zi ux)))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux zi)) #s(approx (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI)))))) (+.f32 xi (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32))))))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (+.f32 xi (+.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32)))) (*.f32 maxCos (*.f32 ux zi))))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (*.f32 zi ux) maxCos) xi)) xi)))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (+.f32 xi (*.f32 maxCos (*.f32 ux zi)))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) #s(approx (+ xi (* maxCos (* ux zi))) (*.f32 maxCos (*.f32 ux zi)))))
(pow.f32 (+.f32 (/.f32 (*.f32 #s(literal 1 binary32) u0) (*.f32 (-.f32 (/.f32 (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (-.f32 (+.f32 u1 u1) #s(literal -1/2 binary32)) (PI.f32))) (/.f32 alphay alphax))) #s(literal 2 binary32)))) (*.f32 (+.f32 alphay alphay) alphay)) (/.f32 #s(literal -1 binary32) (*.f32 (*.f32 (*.f32 alphax alphax) (sqrt.f32 (-.f32 (pow.f32 (*.f32 (tan.f32 (*.f32 (-.f32 (+.f32 u1 u1) #s(literal -1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)) #s(literal 2 binary32)) #s(literal -1 binary32)))) (sqrt.f32 (-.f32 (pow.f32 (*.f32 (tan.f32 (*.f32 (-.f32 (+.f32 u1 u1) #s(literal -1/2 binary32)) (PI.f32))) (/.f32 alphay alphax)) #s(literal 2 binary32)) #s(literal -1 binary32)))))) (-.f32 #s(literal 1 binary32) u0))) #s(literal 1 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 (/.f32 u0 (*.f32 (-.f32 (/.f32 (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (+.f32 u1 u1))))))))) (*.f32 (+.f32 alphay alphay) alphay)) (/.f32 (-.f32 #s(literal -1 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (+.f32 u1 u1))))))))) (*.f32 (+.f32 alphax alphax) alphax))) (-.f32 #s(literal 1 binary32) u0))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 (/.f32 u0 (*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (-.f32 (*.f32 u1 (+.f32 (PI.f32) (PI.f32))) (*.f32 #s(literal -1/2 binary32) (PI.f32)))) (/.f32 alphay alphax))) #s(literal 2 binary32)))) (*.f32 #s(literal 2 binary32) (*.f32 alphay alphay))) (/.f32 (-.f32 (*.f32 (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (+.f32 u1 u1)))))))) (*.f32 (+.f32 alphax alphax) alphax)) (*.f32 (*.f32 (+.f32 alphax alphax) alphax) #s(literal -1 binary32))) (*.f32 (*.f32 (+.f32 alphax alphax) alphax) (*.f32 (+.f32 alphax alphax) alphax)))) (-.f32 #s(literal 1 binary32) u0))) #s(literal -1 binary32))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 (/.f32 u0 (*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (-.f32 (*.f32 u1 (+.f32 (PI.f32) (PI.f32))) (*.f32 #s(literal -1/2 binary32) (PI.f32)))) (/.f32 alphay alphax))) #s(literal 2 binary32)))) (*.f32 #s(literal 2 binary32) (*.f32 alphay alphay))) (-.f32 (/.f32 (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (+.f32 u1 u1)))))))) (*.f32 (+.f32 alphax alphax) alphax)) (/.f32 #s(literal -1/2 binary32) (*.f32 alphax alphax)))) (-.f32 #s(literal 1 binary32) u0))) #s(literal -1 binary32))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 (/.f32 u0 (*.f32 (-.f32 (/.f32 (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (+.f32 u1 u1))))))))) (*.f32 (+.f32 alphay alphay) alphay)) (/.f32 (-.f32 #s(literal -1 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (+.f32 u1 u1))))))))) (*.f32 (+.f32 alphax alphax) alphax))) (-.f32 #s(literal 1 binary32) u0))) #s(literal -1 binary32))))
(pow.f32 (-.f32 #s(approx (/ u0 (* (- (/ (- 1 (cos (* -2 (atan (* (/ alphay alphax) (tan (* (PI) (+ 1/2 (+ u1 u1))))))))) (* (+ alphay alphay) alphay)) (/ (- -1 (cos (* -2 (atan (* (/ alphay alphax) (tan (* (PI) (+ 1/2 (+ u1 u1))))))))) (* (+ alphax alphax) alphax))) (- 1 u0))) (*.f32 #s(literal 2 binary32) (/.f32 (*.f32 (pow.f32 alphay #s(literal 2 binary32)) u0) (*.f32 (-.f32 #s(literal 1 binary32) u0) (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (/.f32 (*.f32 alphay #s(approx (sin (* (PI) (+ 1/2 (* 2 u1)))) (sin.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32))))) (*.f32 alphax (cos.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 2 binary32) u1)))))))))))))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 #s(approx (/ u0 (* (- (/ (- 1 (cos (* -2 (atan (* (/ alphay alphax) (tan (* (PI) (+ 1/2 (+ u1 u1))))))))) (* (+ alphay alphay) alphay)) (/ (- -1 (cos (* -2 (atan (* (/ alphay alphax) (tan (* (PI) (+ 1/2 (+ u1 u1))))))))) (* (+ alphax alphax) alphax))) (- 1 u0))) (/.f32 (*.f32 #s(literal 2 binary32) (*.f32 u0 (*.f32 alphay alphay))) (*.f32 (-.f32 #s(literal 1 binary32) u0) (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (-.f32 (+.f32 u1 u1) #s(literal -1/2 binary32)) (PI.f32))) (/.f32 alphay alphax))) #s(literal 2 binary32))))))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(/.f32 #s(literal 1 binary32) #s(approx (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (-.f32 (*.f32 (/.f32 (*.f32 (*.f32 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (+.f32 u1 u1)))))))))) (-.f32 #s(literal 1 binary32) u0))) #s(literal 1/2 binary32)) #s(literal -1 binary32))))
(/.f32 #s(literal 1 binary32) #s(approx (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (-.f32 (*.f32 (/.f32 (*.f32 (*.f32 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) #s(approx (+ 1/2 (+ u1 u1)) #s(literal 1/2 binary32)))))))))) (-.f32 #s(literal 1 binary32) u0))) #s(literal 1/2 binary32)) #s(literal -1 binary32))))
(/.f32 #s(literal 1 binary32) #s(approx (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (-.f32 (*.f32 (/.f32 (*.f32 (*.f32 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (cos.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) #s(approx (+ 1/2 (+ u1 u1)) #s(literal 1/2 binary32)))))))))) #s(approx (- 1 u0) #s(literal 1 binary32)))) #s(literal 1/2 binary32)) #s(literal -1 binary32))))
#s(approx (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (-.f32 (/.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 (*.f32 alphax alphax) u0)) #s(approx (* (pow (cos (atan (/ (* alphay (sin (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* alphax (cos (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) 2) (- 1 u0)) (neg.f32 (-.f32 (*.f32 (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (-.f32 (+.f32 u1 u1) #s(literal -1/2 binary32)) (PI.f32))) (/.f32 alphay alphax))) #s(literal 2 binary32))) #s(literal -1/2 binary32)) #s(literal 1/2 binary32))))) #s(literal -1 binary32)))
#s(approx (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (-.f32 (/.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 (*.f32 alphax alphax) u0)) #s(approx (* (pow (cos (atan (/ (* alphay (sin (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* alphax (cos (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) 2) (- 1 u0)) (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal -1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (+.f32 (+.f32 #s(literal 1/2 binary32) u1) u1) (PI.f32))) (/.f32 alphay alphax))) #s(literal 2 binary32))))))) #s(literal -1 binary32)))
#s(approx (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (-.f32 (/.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 alphax (*.f32 alphax u0))) #s(approx (* (pow (cos (atan (/ (* alphay (sin (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* alphax (cos (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) 2) (- 1 u0)) (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal -1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 (-.f32 (+.f32 u1 u1) #s(literal -1/2 binary32)) (PI.f32))) (/.f32 alphay alphax))) #s(literal 2 binary32))))))) #s(literal -1 binary32)))
#s(approx (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (-.f32 (/.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 (*.f32 alphax alphax) u0)) #s(approx (* (pow (cos (atan (/ (* alphay (sin (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* alphax (cos (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) 2) (- 1 u0)) (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal -1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (*.f32 #s(approx (- (+ u1 u1) -1/2) #s(literal 1/2 binary32)) (PI.f32))) (/.f32 alphay alphax))) #s(literal 2 binary32))))))) #s(literal -1 binary32)))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
(if.f32 (<=.f32 u2 #s(literal 16240345/268435456 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32)) u2) (*.f32 u2 u2)) (*.f32 #s(literal -314159265359/50000000000 binary32) u2)))) (*.f32 (sqrt.f32 #s(approx (/ u1 (- 1 u1)) (*.f32 u1 (+.f32 #s(literal 1 binary32) u1)))) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32)) u2) (*.f32 u2 u2)) (*.f32 #s(literal -314159265359/50000000000 binary32) u2))))
(if.f32 (<=.f32 u2 #s(literal 7516193/2147483648 binary32)) (*.f32 #s(approx (* (sin (* u2 314159265359/50000000000)) 11863283/8388608) (*.f32 #s(literal 3726960272025913597/419430400000000000 binary32) u2)) (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 2 binary32) (+.f32 u1 u1))))) #s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 (sqrt.f32 (/.f32 u1 #s(approx (- 1 u1) #s(literal 1 binary32)))) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32)) u2) (*.f32 u2 u2)) (*.f32 #s(literal -314159265359/50000000000 binary32) u2)))))
(*.f32 #s(approx (* (sin (* u2 314159265359/50000000000)) 11863283/8388608) (*.f32 #s(literal 3726960272025913597/419430400000000000 binary32) u2)) (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 2 binary32) (+.f32 u1 u1)))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 #s(literal 314159265359/50000000000 binary32) (*.f32 u2 (sqrt.f32 (/.f32 u1 (-.f32 (-.f32 #s(literal 2 binary32) u1) #s(literal 1 binary32)))))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 #s(literal 314159265359/50000000000 binary32) (*.f32 u2 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 #s(literal 314159265359/50000000000 binary32) (*.f32 u2 (sqrt.f32 #s(approx (/ u1 (- 1 u1)) (*.f32 u1 (+.f32 #s(literal 1 binary32) u1)))))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 #s(literal 314159265359/50000000000 binary32) (*.f32 u2 #s(approx (sqrt (/ u1 (- 1 u1))) (sqrt.f32 u1)))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (*.f32 (-.f32 #s(literal 1/2 binary32) (/.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2) (PI.f32))) (PI.f32))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (-.f32 (*.f32 #s(literal -314159265359/50000000000 binary32) u2) #s(literal -13176795/8388608 binary32))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
(if.f32 (<=.f32 u2 #s(literal 7381975/134217728 binary32)) (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (cos (* 314159265359/50000000000 u2)) (+.f32 #s(literal 1 binary32) (*.f32 (-.f32 (*.f32 #s(literal 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 98696044010906577398881/5000000000000000000000 binary32)) (*.f32 u2 u2))))) (*.f32 (sqrt.f32 #s(approx (/ u1 (- 1 u1)) (*.f32 u1 (+.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))))
(if.f32 (<=.f32 u2 #s(literal 16374563/268435456 binary32)) (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (cos (* 314159265359/50000000000 u2)) (+.f32 #s(literal 1 binary32) (*.f32 (-.f32 (*.f32 #s(literal 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 98696044010906577398881/5000000000000000000000 binary32)) (*.f32 u2 u2))))) (*.f32 #s(approx (sqrt (/ u1 (- 1 u1))) (sqrt.f32 u1)) (sin.f32 (-.f32 (*.f32 #s(literal -314159265359/50000000000 binary32) u2) (*.f32 (PI.f32) #s(literal -1/2 binary32))))))
(if.f32 (<=.f32 u2 #s(literal 16374563/268435456 binary32)) (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (cos (* 314159265359/50000000000 u2)) (+.f32 #s(literal 1 binary32) (*.f32 (-.f32 (*.f32 #s(literal 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 98696044010906577398881/5000000000000000000000 binary32)) (*.f32 u2 u2))))) (*.f32 #s(approx (sqrt (/ u1 (- 1 u1))) (sqrt.f32 u1)) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (cos (* 314159265359/50000000000 u2)) (+.f32 #s(literal 1 binary32) (*.f32 (-.f32 (*.f32 #s(literal 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 98696044010906577398881/5000000000000000000000 binary32)) (*.f32 u2 u2)))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 #s(approx (/ u1 (- 1 u1)) (+.f32 (*.f32 u1 u1) u1))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 #s(approx (/ u1 (- 1 u1)) (*.f32 u1 (+.f32 #s(literal 1 binary32) u1)))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) #s(approx (sqrt (/ u1 (- 1 u1))) (sqrt.f32 u1)))
(*.f32 (neg.f32 s) (log.f32 (/.f32 (-.f32 (-.f32 (/.f32 u (-.f32 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)) #s(literal -1 binary32))) (/.f32 (-.f32 #s(literal 1 binary32) u) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) #s(literal 1 binary32)) (-.f32 (/.f32 (-.f32 #s(literal 1 binary32) u) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (-.f32 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)) #s(literal -1 binary32)))))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal 1 binary32) (/.f32 s (PI.f32)))))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal 1 binary32) (/.f32 s (PI.f32)))))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal -1 binary32) (-.f32 (/.f32 (-.f32 #s(literal 1 binary32) u) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (-.f32 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)) #s(literal -1 binary32))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 #s(approx (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (-.f32 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)) #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 #s(approx (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 (exp.f32 (/.f32 (PI.f32) (neg.f32 s))) #s(literal -1 binary32))) (*.f32 (/.f32 #s(literal -1 binary32) #s(approx (+ 1 (exp (/ (PI) s))) (-.f32 (/.f32 (-.f32 (PI.f32) (/.f32 (-.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) #s(literal -1/2 binary32)) (*.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) (/.f32 (PI.f32) s)) #s(literal 1/6 binary32))) s)) s) #s(literal -2 binary32)))) u)))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 #s(approx (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/.f32 #s(literal 1 binary32) (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (*.f32 #s(literal -1 binary32) (/.f32 (PI.f32) s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (PI) s))) (+.f32 #s(literal 2 binary32) (/.f32 (PI.f32) s)))))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 #s(approx (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/.f32 #s(literal 1 binary32) (*.f32 (-.f32 (/.f32 #s(literal -1 binary32) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))) u))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 #s(approx (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) (/.f32 (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal -1/4 binary32) (PI.f32))) s))))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (/.f32 s #s(approx (* u (- (/ 1 (+ 1 (exp (* -1 (/ (PI) s))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) s)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 (exp.f32 (*.f32 #s(literal -1/2 binary32) (/.f32 x s))) (pow.f32 #s(literal 6171993/16777216 binary32) (*.f32 #s(literal -1/2 binary32) (/.f32 x s))))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (exp.f32 (/.f32 x s)))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
(if.f32 (<=.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))) #s(literal 13421773/33554432 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 (cosh.f32 (/.f32 x s)) #s(approx (- (sinh (/ x s)) 1) #s(literal -1 binary32)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) #s(approx (exp (/ x s)) (+.f32 #s(literal 1 binary32) (/.f32 x s)))))))
(if.f32 (<=.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))) #s(literal 13421773/33554432 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 (/.f32 (-.f32 #s(literal 4 binary32) (*.f32 x (/.f32 x (*.f32 s s)))) (+.f32 (+.f32 s s) x)) s))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) #s(approx (exp (/ x s)) (+.f32 #s(literal 1 binary32) (/.f32 x s)))))))
(if.f32 (<=.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))) #s(literal 7868883/8388608 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 (*.f32 #s(approx (pow (exp -1) (/ (/ x s) 2)) (-.f32 #s(literal 1 binary32) (/.f32 x (+.f32 s s)))) #s(approx (pow (exp -1) (/ (/ x s) 2)) (-.f32 #s(literal 1 binary32) (/.f32 x (+.f32 s s))))) #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) #s(approx (exp (/ x s)) (+.f32 #s(literal 1 binary32) (/.f32 x s)))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 2951479/590295810358705651712 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) #s(approx (exp (/ x s)) (+.f32 #s(literal 1 binary32) (/.f32 x s)))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (/.f32 (/.f32 (*.f32 (-.f32 (+.f32 s s) x) x) s) x)))))
(if.f32 (<=.f32 x #s(literal -6044629/302231454903657293676544 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (*.f32 (*.f32 (-.f32 (+.f32 s s) x) x) (/.f32 #s(literal 1 binary32) (*.f32 s x)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) #s(approx (exp (/ x s)) (+.f32 #s(literal 1 binary32) (/.f32 x s)))))))
(if.f32 (<=.f32 x #s(literal -1547425/154742504910672534362390528 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (/.f32 (*.f32 (-.f32 (+.f32 s s) x) x) (*.f32 s x))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) #s(approx (exp (/ x s)) (+.f32 #s(literal 1 binary32) (/.f32 x s)))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 10141205/2535301200456458802993406410752 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (/.f32 (*.f32 (-.f32 (+.f32 s s) x) x) (*.f32 s x))))))
(if.f32 (<=.f32 (/.f32 (neg.f32 x) s) #s(literal 50 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (*.f32 (/.f32 (-.f32 (+.f32 s s) x) (*.f32 s x)) x)))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 50000000188416 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (*.f32 x (/.f32 #s(approx (- (+ s s) (* x 1)) (*.f32 #s(literal -1 binary32) x)) (*.f32 x s)))))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 3/2 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (*.f32 x #s(approx (/ (- (+ s s) (* x 1)) (* x s)) (/.f32 #s(literal 2 binary32) x)))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (+.f32 #s(literal 2 binary32) (/.f32 #s(literal -1 binary32) (/.f32 s x))))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 3/2 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (*.f32 x #s(approx (/ (- (+ s s) (* x 1)) (* x s)) (/.f32 #s(literal 2 binary32) x)))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (+.f32 #s(literal 2 binary32) (*.f32 x (/.f32 #s(literal -1 binary32) s))))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 3/2 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) #s(approx (+ 2 (* -1 (/ x s))) (*.f32 x #s(approx (/ (- (+ s s) (* x 1)) (* x s)) (/.f32 #s(literal 2 binary32) x)))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s)))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 3/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s)))))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
(/.f32 #s(literal -1 binary32) (*.f32 (*.f32 (neg.f32 (exp.f32 (/.f32 (fabs.f32 x) s))) (pow.f32 (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) #s(literal 2 binary32))) s))
(*.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) s) (pow.f32 (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) #s(literal -2 binary32)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s #s(approx (+ 1 (exp (/ (neg (fabs x)) s))) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (fabs.f32 x) s))))) #s(approx (+ 1 (exp (/ (neg (fabs x)) s))) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (*.f32 #s(literal 4 binary32) s)))
(*.f32 (/.f32 #s(approx (pow (- -1 (exp (/ (fabs x) (neg s)))) -2) #s(literal 1/4 binary32)) s) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))))
(/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) (*.f32 (*.f32 #s(approx (+ 1 (exp (/ (neg (fabs x)) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s))) #s(approx (+ 1 (exp (/ (neg (fabs x)) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s)))) s))
(/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) (*.f32 (*.f32 #s(approx (+ 1 (exp (/ (neg (fabs x)) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s))) s) #s(approx (+ 1 (exp (/ (neg (fabs x)) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s)))))
(/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (*.f32 s (+.f32 #s(literal 4 binary32) (*.f32 x (*.f32 (/.f32 #s(literal 1 binary32) s) #s(literal -4 binary32)))))))
(/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (*.f32 (-.f32 (*.f32 #s(literal -4 binary32) (/.f32 x s)) #s(literal -4 binary32)) s)))
(if.f32 (<=.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))) #s(literal 0 binary32)) (/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) #s(approx (* s (+ 4 (* -4 (/ (fabs x) s)))) (*.f32 #s(literal -4 binary32) (fabs.f32 x))))) #s(approx (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (/.f32 #s(literal 1/4 binary32) s)))
#s(approx (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (/.f32 #s(literal 1/4 binary32) s))
(*.f32 (sin.f32 (*.f32 (neg.f32 x) (PI.f32))) (/.f32 (/.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))) (*.f32 tau (*.f32 (PI.f32) x))) (*.f32 (neg.f32 x) (PI.f32))))
(/.f32 (*.f32 (/.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))) (*.f32 (PI.f32) x)) (sin.f32 (*.f32 (PI.f32) x))) (*.f32 tau (*.f32 (PI.f32) x)))
(*.f32 (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))
(*.f32 (/.f32 (sin.f32 (*.f32 (*.f32 tau x) (PI.f32))) (*.f32 (*.f32 tau x) (PI.f32))) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))
(/.f32 (*.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) (neg.f32 x)))) (sin.f32 (*.f32 (PI.f32) x))) (*.f32 (*.f32 tau (*.f32 (PI.f32) (neg.f32 x))) (*.f32 (PI.f32) x)))
(/.f32 (*.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) (neg.f32 x)))) (sin.f32 (*.f32 (PI.f32) x))) (*.f32 tau (*.f32 (*.f32 (neg.f32 x) (PI.f32)) (*.f32 x (PI.f32)))))
(*.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 (*.f32 (*.f32 (*.f32 (neg.f32 x) (PI.f32)) tau) (PI.f32)) x)) (sin.f32 (*.f32 (*.f32 (neg.f32 x) (PI.f32)) tau)))
(*.f32 (sin.f32 (*.f32 (PI.f32) x)) (/.f32 (sin.f32 (*.f32 (*.f32 (PI.f32) tau) x)) (*.f32 (*.f32 (*.f32 (*.f32 (PI.f32) tau) x) x) (PI.f32))))
(*.f32 (sin.f32 (*.f32 (neg.f32 x) (PI.f32))) #s(approx (/ (/ (sin (* tau (* (PI) x))) (* tau (* (PI) x))) (* (neg x) (PI))) (-.f32 (*.f32 #s(literal 1/6 binary32) (*.f32 (pow.f32 tau #s(literal 2 binary32)) (*.f32 x (PI.f32)))) (/.f32 #s(literal 1 binary32) (*.f32 x (PI.f32))))))
(*.f32 #s(approx (/ (sin (* (* x (PI)) tau)) (* (* x (PI)) tau)) #s(literal 1 binary32)) #s(approx (/ (sin (* x (PI))) (* x (PI))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/6 binary32) (*.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (PI.f32) #s(literal 2 binary32)))))))
(/.f32 #s(literal 1 binary32) (/.f32 (*.f32 (PI.f32) x) (*.f32 (sin.f32 (*.f32 (PI.f32) x)) #s(approx (/ (sin (* (* x (PI)) tau)) (* (* x (PI)) tau)) #s(literal 1 binary32)))))
#s(approx (/ (* (sin (* tau (* (PI) (neg x)))) (sin (* (PI) x))) (* (* (* (* (neg x) (PI)) tau) (PI)) x)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))
#s(approx (/ (* (sin (* tau (* (PI) (neg x)))) (sin (* (PI) x))) (* (* (* (* (neg x) (PI)) tau) (PI)) x)) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
(if.f32 (<=.f32 v #s(literal 5368709/33554432 binary32)) (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))))) #s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 u (+.f32 #s(approx (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (/.f32 (+.f32 (*.f32 #s(literal -2 binary32) u) (*.f32 #s(literal -1/2 binary32) (/.f32 (-.f32 (*.f32 #s(literal -8 binary32) u) (*.f32 #s(literal -16 binary32) u)) v))) v)) (*.f32 v (-.f32 (/.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1 binary32))))) #s(literal 1 binary32))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))) #s(literal -13421773/134217728 binary32)) #s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+.f32 (*.f32 #s(approx (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (*.f32 (/.f32 u v) #s(literal -2 binary32))) u) (-.f32 (*.f32 (*.f32 u v) (-.f32 (exp.f32 (/.f32 #s(literal 2 binary32) v)) #s(literal 1 binary32))) #s(literal 1 binary32)))) (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))) #s(literal -13421773/134217728 binary32)) #s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 (-.f32 #s(approx (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (*.f32 (/.f32 u v) #s(literal -2 binary32))) (*.f32 (-.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal 2 binary32) v))) v)) u) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))) #s(literal -13421773/134217728 binary32)) #s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 (-.f32 (exp.f32 (/.f32 #s(literal 2 binary32) v)) #s(literal 1 binary32)) (*.f32 v u)) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))) #s(literal -13421773/134217728 binary32)) #s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 #s(approx (* u (+ (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (* v (- (/ 1 (exp (/ -2 v))) 1)))) (+.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 (*.f32 #s(literal -1 binary32) (+.f32 (/.f32 (*.f32 #s(literal 4/3 binary32) u) v) (/.f32 (*.f32 (*.f32 u #s(literal -4 binary32)) u) v))) (*.f32 u (-.f32 (*.f32 #s(literal 2 binary32) u) #s(literal 2 binary32)))) v)) (*.f32 #s(literal 2 binary32) u))) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))))))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 u #s(approx (+ (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (* v (- (/ 1 (exp (/ -2 v))) 1))) #s(approx (+ 2 (+ (* -2 (/ u v)) (* 2 (/ 1 v)))) (/.f32 (+.f32 #s(literal 2 binary32) (+.f32 (*.f32 #s(literal -2 binary32) u) (*.f32 #s(literal 2 binary32) v))) v)))) #s(literal 1 binary32)))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 u #s(approx (+ (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (* v (- (/ 1 (exp (/ -2 v))) 1))) (+.f32 (+.f32 (/.f32 (-.f32 #s(literal 2 binary32) (+.f32 u u)) v) #s(literal 1 binary32)) #s(literal 1 binary32)))) #s(literal 1 binary32)))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 #s(approx (+ (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (* v (- (/ 1 (exp (/ -2 v))) 1))) (-.f32 (/.f32 (-.f32 #s(literal 2 binary32) (+.f32 u u)) v) #s(literal -2 binary32))) u) #s(literal 1 binary32)))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 u #s(approx (+ (* -1/2 (/ (* u (* v (pow (+ 1 (* -1 (exp (/ -2 v)))) 2))) (exp (/ -4 v)))) (* v (- (/ 1 (exp (/ -2 v))) 1))) (+.f32 #s(literal 2 binary32) #s(approx (+ (* -2 (/ u v)) (* 2 (/ 1 v))) (/.f32 #s(literal 2 binary32) v))))) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 #s(approx (* u (* v (- (/ 1 (exp (/ -2 v))) 1))) (+.f32 u u)) #s(literal 1 binary32)))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(if.f32 (<=.f32 sinTheta_O #s(literal 2028241/2535301200456458802993406410752 binary32)) (asin.f32 #s(approx (/ h (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O))))))) (/.f32 h eta))) (asin.f32 (/.f32 h (*.f32 (sqrt.f32 (-.f32 (*.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))) (*.f32 eta eta)) (*.f32 sinTheta_O sinTheta_O))) (sqrt.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))))))
(if.f32 (<=.f32 sinTheta_O #s(literal 2028241/2535301200456458802993406410752 binary32)) (asin.f32 #s(approx (/ h (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O))))))) (/.f32 h eta))) (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))))))
(if.f32 (<=.f32 sinTheta_O #s(literal 2028241/2535301200456458802993406410752 binary32)) (asin.f32 #s(approx (/ h (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O))))))) (/.f32 h eta))) (asin.f32 (/.f32 h (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 #s(approx (- 1 (* sinTheta_O sinTheta_O)) #s(literal 1 binary32)))))))))
(asin.f32 #s(approx (/ h (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O))))))) (/.f32 h eta)))
(*.f32 (*.f32 cosTheta_O cosTheta_i) (*.f32 (/.f32 #s(literal 1/2 binary32) v) (/.f32 #s(literal 1 binary32) (/.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) (/.f32 (exp.f32 (*.f32 sinTheta_i (/.f32 (neg.f32 sinTheta_O) v))) v)))))
(*.f32 (*.f32 cosTheta_O cosTheta_i) (*.f32 (/.f32 #s(literal 1/2 binary32) v) (/.f32 (/.f32 (exp.f32 (*.f32 (/.f32 (neg.f32 sinTheta_O) v) sinTheta_i)) v) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))))
(*.f32 (*.f32 cosTheta_O cosTheta_i) (/.f32 (/.f32 #s(literal 1 binary32) (*.f32 v (exp.f32 (/.f32 (*.f32 sinTheta_O sinTheta_i) v)))) (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))))
(*.f32 (/.f32 (exp.f32 (*.f32 (/.f32 (neg.f32 sinTheta_O) v) sinTheta_i)) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))) (*.f32 cosTheta_O (/.f32 cosTheta_i (*.f32 v v))))
(*.f32 (*.f32 cosTheta_O cosTheta_i) (/.f32 (/.f32 #s(literal 1 binary32) #s(approx (* v (exp (/ (* sinTheta_O sinTheta_i) v))) (+.f32 v (*.f32 sinTheta_O sinTheta_i)))) (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))))
(*.f32 (*.f32 cosTheta_O cosTheta_i) (*.f32 (/.f32 #s(literal 1/2 binary32) v) (/.f32 (/.f32 #s(approx (exp (* (/ (neg sinTheta_O) v) sinTheta_i)) #s(literal 1 binary32)) v) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))))
(*.f32 (*.f32 (/.f32 cosTheta_i v) cosTheta_O) (/.f32 #s(approx (/ (neg (exp (* (/ (neg sinTheta_O) v) sinTheta_i))) (+ v v)) (/.f32 #s(literal -1/2 binary32) v)) (sinh.f32 (/.f32 #s(literal -1 binary32) v))))
(*.f32 (*.f32 cosTheta_O cosTheta_i) (/.f32 (/.f32 #s(literal 1 binary32) #s(approx (* v (exp (/ (* sinTheta_O sinTheta_i) v))) v)) (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))))
(/.f32 (*.f32 (*.f32 cosTheta_i cosTheta_O) #s(approx (/ (neg (exp (* (/ (neg sinTheta_O) v) sinTheta_i))) (+ v v)) (/.f32 #s(literal -1/2 binary32) v))) (*.f32 (sinh.f32 (/.f32 #s(literal -1 binary32) v)) v))
(*.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O (*.f32 (sinh.f32 (/.f32 #s(literal -1 binary32) v)) v))) #s(approx (/ (neg (exp (* (/ (neg sinTheta_O) v) sinTheta_i))) (+ v v)) (/.f32 #s(literal -1/2 binary32) v)))
(*.f32 (/.f32 cosTheta_i (*.f32 (*.f32 v v) #s(approx (* (* 2 (sinh (/ 1 v))) (exp (/ (* sinTheta_O sinTheta_i) v))) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))))) cosTheta_O)
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/.f32 #s(literal 1 binary32) (/.f32 v (*.f32 #s(literal 1/2 binary32) (*.f32 cosTheta_i cosTheta_O)))))
(/.f32 #s(approx (* (* cosTheta_i cosTheta_O) (/ 1/2 (* (sinh (/ 1 v)) (exp (/ (* sinTheta_i sinTheta_O) v))))) (*.f32 #s(literal 1/2 binary32) (*.f32 cosTheta_O (*.f32 cosTheta_i v)))) (*.f32 v v))
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (*.f32 (*.f32 #s(literal 1/2 binary32) (*.f32 cosTheta_i cosTheta_O)) (/.f32 #s(literal 1 binary32) v)))
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/.f32 (*.f32 #s(literal 1/2 binary32) (*.f32 cosTheta_i cosTheta_O)) v))
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (*.f32 #s(literal 1/2 binary32) (*.f32 (/.f32 cosTheta_i v) cosTheta_O)))
(/.f32 (exp.f32 (/.f32 (+.f32 (*.f32 #s(literal 6931/10000 binary32) v) #s(approx (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) #s(approx (- (* cosTheta_i cosTheta_O) 1) #s(literal -1 binary32)))) v)) (+.f32 v v))
(/.f32 (exp.f32 (-.f32 (/.f32 #s(approx (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) #s(approx (- (* cosTheta_O cosTheta_i) 1) #s(literal -1 binary32))) v) #s(literal -6931/10000 binary32))) (+.f32 v v))
(/.f32 #s(literal 1 binary32) (/.f32 (+.f32 v v) #s(approx (exp (- (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v) -6931/10000)) #s(literal 2097053/1048576 binary32))))
(*.f32 (/.f32 #s(literal 1/2 binary32) v) #s(approx (exp (- (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v) -6931/10000)) #s(literal 2097053/1048576 binary32)))
(/.f32 #s(approx (exp (- (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v) -6931/10000)) #s(literal 2097053/1048576 binary32)) (+.f32 v v))
(/.f32 (/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (-.f32 (*.f32 (*.f32 cosTheta (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32))) cosTheta) #s(literal -1 binary32)) (log.f32 (*.f32 alpha alpha)))) (PI.f32))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (-.f32 alpha #s(literal -1 binary32)) (*.f32 (-.f32 alpha #s(literal 1 binary32)) (*.f32 cosTheta cosTheta))))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (-.f32 (*.f32 (*.f32 cosTheta (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32))) cosTheta) #s(literal -1 binary32)) (log.f32 (*.f32 alpha alpha))) (PI.f32)))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (-.f32 (*.f32 (*.f32 cosTheta cosTheta) (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32))) #s(literal -1 binary32))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (-.f32 (*.f32 (*.f32 cosTheta (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32))) cosTheta) #s(literal -1 binary32)) (+.f32 (PI.f32) (PI.f32))) (log.f32 alpha)))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (-.f32 (*.f32 #s(approx (* cosTheta (- (* alpha alpha) 1)) (*.f32 #s(literal -1 binary32) cosTheta)) cosTheta) #s(literal -1 binary32)) (log.f32 (*.f32 alpha alpha))) (PI.f32)))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 #s(approx (* (- (* alpha alpha) 1) cosTheta) (*.f32 #s(literal -1 binary32) cosTheta)) cosTheta))))
(/.f32 (/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 #s(approx (- (* (* cosTheta (- (* alpha alpha) 1)) cosTheta) -1) #s(literal 1 binary32)) (log.f32 (*.f32 alpha alpha)))) (PI.f32))
(/.f32 (/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 #s(approx (* (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta)) 2) #s(literal 2 binary32)) (log.f32 alpha))) (PI.f32))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) #s(approx (* (* (PI) (* 2 (log alpha))) (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta))) (*.f32 (log.f32 (*.f32 alpha alpha)) (PI.f32))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) #s(approx (* (* (PI) (* 2 (log alpha))) (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta))) (*.f32 (+.f32 (PI.f32) (PI.f32)) (log.f32 alpha))))
(/.f32 #s(approx (- (* alpha alpha) 1) #s(literal -1 binary32)) #s(approx (* (* (PI) (* 2 (log alpha))) (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta))) (*.f32 #s(literal 2 binary32) (*.f32 (PI.f32) (log.f32 alpha)))))
(*.f32 (*.f32 #s(literal 3 binary32) s) (-.f32 #s(literal 13605151/33554432 binary32) (log.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 2 binary32)))))
(*.f32 (log.f32 (*.f32 #s(literal 4/3 binary32) (-.f32 #s(literal 1 binary32) u))) (*.f32 #s(literal -3 binary32) s))
#s(approx (* (* (neg (log (- (- 1 (* 4/3 u)) -1/3))) 3) s) (*.f32 #s(literal -3 binary32) (*.f32 s (log.f32 (-.f32 #s(literal 4/3 binary32) (*.f32 #s(literal 4/3 binary32) u))))))
(*.f32 (*.f32 #s(literal 3 binary32) s) #s(approx (- 13605151/33554432 (log (* (- 1 u) 2))) (-.f32 (+.f32 #s(literal 13605151/33554432 binary32) u) (log.f32 #s(literal 2 binary32)))))
(*.f32 (*.f32 #s(literal 3 binary32) s) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (+.f32 u (log.f32 #s(literal 3/4 binary32)))))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 #s(literal 3 binary32) (*.f32 s #s(approx (log (/ 1 (- 1 (* 4/3 (- u 1/4))))) (+.f32 u (log.f32 #s(literal 3/4 binary32)))))))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 (log.f32 #s(literal 27/64 binary32)) s))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 #s(literal 3 binary32) (*.f32 s #s(literal -9653009/33554432 binary32))))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 s #s(literal -28959027/33554432 binary32)))
(if.f32 (<=.f32 u #s(literal 10200547/1073741824 binary32)) #s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 (*.f32 (*.f32 u u) #s(approx (- (* (* u s) (+ (* 64 u) 64/3)) (* -8 s)) (*.f32 s (+.f32 #s(literal 8 binary32) (*.f32 u (+.f32 #s(literal 64/3 binary32) (*.f32 #s(literal 64 binary32) u))))))) (*.f32 (*.f32 #s(literal -4 binary32) u) s))) (*.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (*.f32 u #s(literal 4 binary32))))) s))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 (*.f32 (*.f32 #s(approx (- 1 (/ (* -4 s) (* (- (* (* u s) (+ (* 64 u) 64/3)) (* -8 s)) u))) (+.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 320/27 binary32) u) #s(literal 4/9 binary32)) u) #s(literal 1/3 binary32)) (/.f32 #s(literal 1/2 binary32) u))) u) u) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) s) (*.f32 #s(literal -8 binary32) s))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 u (*.f32 #s(approx (- 1 (/ (* -4 s) (* (- (* (* u s) (+ (* 64 u) 64/3)) (* -8 s)) u))) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 u (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 320/27 binary32) u) #s(literal 4/9 binary32))) #s(literal 1/3 binary32)))) u)) #s(approx (* (- (* (* u s) (+ (* 64 u) 64/3)) (* -8 s)) u) (*.f32 s (*.f32 u (+.f32 #s(literal 8 binary32) (*.f32 u (+.f32 #s(literal 64/3 binary32) (*.f32 #s(literal 64 binary32) u))))))))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 (*.f32 (*.f32 u u) (-.f32 (*.f32 (*.f32 u s) (+.f32 (*.f32 #s(literal 64 binary32) u) #s(literal 64/3 binary32))) (*.f32 #s(literal -8 binary32) s))) (*.f32 (*.f32 #s(literal -4 binary32) u) s)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 (*.f32 (*.f32 u u) #s(approx (- (* (* u s) (+ (* 64 u) 64/3)) (* -8 s)) (*.f32 s (+.f32 #s(literal 8 binary32) (*.f32 u (+.f32 #s(literal 64/3 binary32) (*.f32 #s(literal 64 binary32) u))))))) (*.f32 (*.f32 #s(literal -4 binary32) u) s)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (*.f32 u s) (+.f32 (*.f32 #s(literal 64 binary32) u) #s(literal 64/3 binary32))) (*.f32 #s(literal -8 binary32) s)) u) (*.f32 #s(literal -4 binary32) s)) u))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 u (+.f32 (*.f32 #s(literal 4 binary32) s) (*.f32 u #s(approx (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))) (*.f32 s (+.f32 #s(literal 8 binary32) (*.f32 u (+.f32 #s(literal 64/3 binary32) (*.f32 #s(literal 64 binary32) u))))))))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (*.f32 u (+.f32 #s(literal 4 binary32) (*.f32 u (+.f32 #s(literal 8 binary32) (*.f32 u (+.f32 #s(literal 64/3 binary32) (*.f32 #s(literal 64 binary32) u)))))))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 u #s(approx (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))) (*.f32 s (+.f32 #s(literal 4 binary32) (*.f32 u (+.f32 #s(literal 8 binary32) (*.f32 u (+.f32 #s(literal 64/3 binary32) (*.f32 #s(literal 64 binary32) u))))))))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 64/3 binary32) u) #s(literal -8 binary32)) u) u) (*.f32 #s(literal -4 binary32) u))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (*.f32 u (+.f32 #s(literal 4 binary32) (*.f32 u (+.f32 #s(literal 8 binary32) (*.f32 #s(literal 64/3 binary32) u)))))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (+.f32 (*.f32 (*.f32 #s(approx (+ 8 (* 64/3 u)) #s(literal 8 binary32)) u) u) (*.f32 u #s(literal 4 binary32)))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 u (+.f32 (*.f32 #s(literal 4 binary32) s) (*.f32 #s(literal 8 binary32) (*.f32 s u)))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (*.f32 u (+.f32 #s(literal 4 binary32) (*.f32 #s(literal 8 binary32) u)))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (*.f32 u #s(approx (+ 4 (* u (+ 8 (* 64/3 u)))) #s(literal 4 binary32)))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) (*.f32 s u)))
(/.f32 (/.f32 (*.f32 #s(literal 1/8 binary32) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (exp.f32 (/.f32 r (*.f32 s #s(literal -3 binary32)))))) (PI.f32)) (*.f32 s r))
(/.f32 (*.f32 #s(literal 1/8 binary32) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (exp.f32 (/.f32 r (*.f32 s #s(literal -3 binary32)))))) (*.f32 (*.f32 s r) (PI.f32)))
(if.f32 (<=.f32 r #s(literal 30 binary32)) (/.f32 (/.f32 (*.f32 r (+.f32 (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))) (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (+.f32 (*.f32 r (+.f32 (PI.f32) (*.f32 #s(literal 1/2 binary32) (/.f32 (*.f32 r (PI.f32)) s)))) (*.f32 s (PI.f32))))))) (neg.f32 r)) (neg.f32 r)) #s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/.f32 #s(literal 1/4 binary32) (*.f32 (log.f32 (exp.f32 (*.f32 (PI.f32) r))) s))))
(/.f32 (/.f32 (*.f32 r (+.f32 (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))) (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (+.f32 (*.f32 r (+.f32 (PI.f32) (*.f32 #s(literal 1/2 binary32) (/.f32 (*.f32 r (PI.f32)) s)))) (*.f32 s (PI.f32))))))) (neg.f32 r)) (neg.f32 r))
(/.f32 (+.f32 (*.f32 (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (+.f32 (*.f32 r (+.f32 (PI.f32) (*.f32 #s(literal 1/2 binary32) (/.f32 (*.f32 r (PI.f32)) s)))) (*.f32 s (PI.f32))))) r) (*.f32 r (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))))) (*.f32 r r))
(/.f32 (*.f32 r (+.f32 (/.f32 #s(literal 1/8 binary32) #s(approx (* (exp (/ r s)) (* s (PI))) (+.f32 (*.f32 r (+.f32 (PI.f32) (*.f32 #s(literal 1/2 binary32) (/.f32 (*.f32 r (PI.f32)) s)))) (*.f32 s (PI.f32))))) (*.f32 (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s))) (/.f32 #s(literal 1/8 binary32) (*.f32 s (PI.f32)))))) (*.f32 r r))
(/.f32 (+.f32 (*.f32 (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 s (+.f32 (PI.f32) (/.f32 (*.f32 r (PI.f32)) s))))) r) (*.f32 r (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))))) (*.f32 r r))
(/.f32 (*.f32 r (+.f32 (/.f32 #s(literal 1/8 binary32) #s(approx (* (exp (/ r s)) (* s (PI))) (*.f32 s (+.f32 (PI.f32) (/.f32 (*.f32 r (PI.f32)) s))))) (*.f32 (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s))) (/.f32 #s(literal 1/8 binary32) (*.f32 s (PI.f32)))))) (*.f32 r r))
(/.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (*.f32 (PI.f32) s) #s(approx (exp (/ r s)) (+.f32 #s(literal 1 binary32) (/.f32 r s))))) (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s))))) r)
(/.f32 (-.f32 (/.f32 (*.f32 #s(literal 1/8 binary32) r) #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 (+.f32 s r) (PI.f32)))) (*.f32 (*.f32 (/.f32 #s(literal -1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))) r)) (*.f32 r r))
(/.f32 (*.f32 r (+.f32 (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 (+.f32 s r) (PI.f32)))) (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))))) (*.f32 r r))
(*.f32 r (/.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 (+.f32 s r) (PI.f32)))) (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 s #s(literal -3 binary32)))))) (*.f32 r r)))
(/.f32 (/.f32 #s(approx (+ (* (exp (/ r (* -3 s))) 1/8) (* 1/8 (exp (/ (neg r) s)))) (+.f32 #s(literal 1/4 binary32) (*.f32 r (-.f32 (*.f32 #s(literal 5/72 binary32) (/.f32 r (pow.f32 s #s(literal 2 binary32)))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) s)))))) (*.f32 (PI.f32) s)) r)
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 (*.f32 #s(literal -1/16 binary32) (/.f32 r (PI.f32))) (*.f32 #s(literal -1/144 binary32) (/.f32 r (PI.f32)))) s)) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (PI.f32)))) s)) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (*.f32 r (PI.f32))))) s)))
#s(approx (/ (/ (+ (* (exp (/ r (* -3 s))) 1/8) (* 1/8 (exp (/ (neg r) s)))) (* (PI) s)) r) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (+.f32 (*.f32 #s(literal 1/144 binary32) (/.f32 r (*.f32 s (PI.f32)))) (*.f32 #s(literal 1/16 binary32) (/.f32 r (*.f32 s (PI.f32))))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (PI.f32)))) s)) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (*.f32 r (PI.f32))))) s)))
(/.f32 (/.f32 (*.f32 r (+.f32 (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) #s(approx (exp (/ r (* -3 s))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/3 binary32) (/.f32 r s))))) (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 (+.f32 s r) (PI.f32)))))) (neg.f32 r)) (neg.f32 r))
(/.f32 (+.f32 (*.f32 (/.f32 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (+.f32 (*.f32 r (PI.f32)) (*.f32 s (PI.f32))))) r) (*.f32 r (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) #s(approx (exp (/ r (* -3 s))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/3 binary32) (/.f32 r s))))))) (*.f32 r r))
(/.f32 #s(approx (- (* (exp (/ (neg r) s)) 1/8) (* -1/8 (exp (/ r (* -3 s))))) (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal 1/8 binary32) r) (*.f32 #s(literal -1/24 binary32) r)) s)))) (*.f32 r (*.f32 s (PI.f32))))
(/.f32 (/.f32 #s(approx (+ (* (exp (/ r (* -3 s))) 1/8) (* 1/8 (exp (/ (neg r) s)))) (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal -1/6 binary32) (/.f32 r s)))) (*.f32 (PI.f32) s)) r)
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (*.f32 (/.f32 #s(literal 1/4 binary32) (*.f32 (PI.f32) r)) (/.f32 #s(literal 1 binary32) s)))
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (*.f32 (/.f32 #s(literal 1/4 binary32) (*.f32 s r)) (/.f32 #s(literal 1 binary32) (PI.f32))))
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/.f32 #s(literal 1/4 binary32) (*.f32 (*.f32 r (PI.f32)) s)))
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/.f32 #s(literal 1/4 binary32) (*.f32 (*.f32 r s) (PI.f32))))
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/.f32 #s(literal 1/4 binary32) (*.f32 r (*.f32 s (PI.f32)))))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (+.f32 (*.f32 #s(approx (+ (* -1 (/ (* n0_i (* normAngle (cos normAngle))) (sin normAngle))) (/ (* n1_i normAngle) (sin normAngle))) (+.f32 (-.f32 n1_i n0_i) (*.f32 (-.f32 (*.f32 n0_i #s(literal 1/3 binary32)) (*.f32 #s(literal -1/6 binary32) n1_i)) (*.f32 normAngle normAngle)))) u) n0_i))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (+.f32 (*.f32 #s(approx (+ (* -1 (/ (* n0_i (* normAngle (cos normAngle))) (sin normAngle))) (/ (* n1_i normAngle) (sin normAngle))) (+.f32 (-.f32 n1_i n0_i) (*.f32 #s(approx (- (* n0_i 1/3) (* -1/6 n1_i)) (*.f32 #s(literal 1/6 binary32) n1_i)) (*.f32 normAngle normAngle)))) u) n0_i))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (+.f32 (*.f32 #s(approx (+ (* -1 (/ (* n0_i (* normAngle (cos normAngle))) (sin normAngle))) (/ (* n1_i normAngle) (sin normAngle))) #s(approx (+ (- n1_i n0_i) (* (- (* n0_i 1/3) (* -1/6 n1_i)) (* normAngle normAngle))) (-.f32 n1_i n0_i))) u) n0_i))
(+.f32 #s(approx (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) n0_i) #s(approx (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i) (*.f32 n1_i u)))
(if.f32 (<=.f32 n0_i #s(literal -2028241/10141204801825835211973625643008 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) (*.f32 n0_i (-.f32 #s(approx (+ 1 (/ (* n1_i u) n0_i)) #s(literal 1 binary32)) u)))) (if.f32 (<=.f32 n0_i #s(literal 4642275/38685626227668133590597632 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) #s(approx (* n0_i (- (+ 1 (/ (* n1_i u) n0_i)) u)) (*.f32 n1_i u)))) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) (*.f32 n0_i (-.f32 #s(approx (+ 1 (/ (* n1_i u) n0_i)) #s(literal 1 binary32)) u))))))
(if.f32 (<=.f32 n0_i #s(literal -2028241/10141204801825835211973625643008 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ n0_i (* u (+ (* -1 (/ (* n0_i (* normAngle (cos normAngle))) (sin normAngle))) (/ (* n1_i normAngle) (sin normAngle))))) n0_i)) (if.f32 (<=.f32 n0_i #s(literal 4642275/38685626227668133590597632 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) #s(approx (* n0_i (- (+ 1 (/ (* n1_i u) n0_i)) u)) (*.f32 n1_i u)))) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ n0_i (* u (+ (* -1 (/ (* n0_i (* normAngle (cos normAngle))) (sin normAngle))) (/ (* n1_i normAngle) (sin normAngle))))) n0_i))))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ n0_i (* u (+ (* -1 (/ (* n0_i (* normAngle (cos normAngle))) (sin normAngle))) (/ (* n1_i normAngle) (sin normAngle))))) n0_i))
(*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 cosTheta (-.f32 c #s(literal -1 binary32))) (*.f32 (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)) (sqrt.f32 (/.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta) (PI.f32)))))) cosTheta)
(/.f32 #s(literal 1 binary32) (-.f32 (/.f32 (sqrt.f32 (/.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta) (PI.f32))) (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) cosTheta)) (-.f32 #s(literal -1 binary32) c)))
(/.f32 cosTheta (+.f32 (*.f32 cosTheta (-.f32 c #s(literal -1 binary32))) (*.f32 (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)) (sqrt.f32 (/.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta) (PI.f32))))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (*.f32 (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta) (*.f32 #s(literal 9465531/16777216 binary32) (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta))))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (*.f32 (*.f32 #s(literal 9465531/16777216 binary32) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta)) (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)))))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta)))) (/.f32 (+.f32 #s(literal 9465531/16777216 binary32) (*.f32 cosTheta (+.f32 #s(literal 7311685/16777216 binary32) (+.f32 c (*.f32 cosTheta (-.f32 (*.f32 #s(literal 9465531/33554432 binary32) cosTheta) #s(literal 28396593/33554432 binary32))))))) cosTheta)))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta)))) (/.f32 (+.f32 (+.f32 #s(literal 9465531/16777216 binary32) (*.f32 #s(literal 7311685/16777216 binary32) cosTheta)) (*.f32 (+.f32 (*.f32 #s(literal -28396593/33554432 binary32) cosTheta) c) cosTheta)) cosTheta)))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta)))) (/.f32 (+.f32 #s(literal 9465531/16777216 binary32) (*.f32 cosTheta (+.f32 #s(literal 7311685/16777216 binary32) (+.f32 c (*.f32 #s(literal -28396593/33554432 binary32) cosTheta))))) cosTheta)))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta)))) (+.f32 (-.f32 (+.f32 (*.f32 #s(literal -28396593/33554432 binary32) cosTheta) c) #s(literal -7311685/16777216 binary32)) (/.f32 #s(literal 9465531/16777216 binary32) cosTheta))))
#s(approx (/ 1 (+ (+ 1 c) (* (* (/ 1 (sqrt (PI))) (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))))) (+.f32 (*.f32 cosTheta #s(literal 14868421/8388608 binary32)) (*.f32 cosTheta (*.f32 (-.f32 #s(literal -6479813/14868421 binary32) c) (*.f32 (PI.f32) cosTheta)))))
#s(approx (/ 1 (+ (+ 1 c) (* (* (/ 1 (sqrt (PI))) (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))))) (*.f32 (-.f32 #s(literal 14868421/8388608 binary32) (*.f32 (-.f32 c #s(literal -6479813/14868421 binary32)) (*.f32 (PI.f32) cosTheta))) cosTheta))
#s(approx (/ 1 (+ (+ 1 c) (* (* (/ 1 (sqrt (PI))) (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))))) (*.f32 (-.f32 #s(literal 14868421/8388608 binary32) (*.f32 (*.f32 (PI.f32) cosTheta) #s(approx (- (- c -1) (/ 1 14868421/8388608)) #s(literal 6479813/14868421 binary32)))) cosTheta))
#s(approx (/ 1 (+ (+ 1 c) (* (* (/ 1 (sqrt (PI))) (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))))) (*.f32 #s(approx (- (sqrt (PI)) (* (* (PI) cosTheta) (- (- c -1) (/ 1 (sqrt (PI)))))) #s(literal 14868421/8388608 binary32)) cosTheta))
#s(approx (/ 1 (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))))) (*.f32 #s(literal 16777216/9465531 binary32) cosTheta))
(if.f32 (<=.f32 u1 #s(literal 4563403/134217728 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 (-.f32 (log.f32 #s(literal 2 binary32)) (log.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal 1 binary32) u1))))) (sin.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))))
(if.f32 (<=.f32 u1 #s(literal 13421773/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (fabs.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))))) (sin.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))))
(if.f32 (<=.f32 u1 #s(literal 13421773/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 u1 #s(literal 13421773/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))))
(if.f32 (<=.f32 u1 #s(literal 13421773/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 (+.f32 #s(literal 1/2 binary32) (*.f32 u1 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u1))))))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))))
(if.f32 (<=.f32 u1 #s(literal 1476395/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 #s(approx (- (* 1/4 u1) -1/3) #s(literal 1/3 binary32)) u1)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -5368709/1073741824 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) #s(approx (- u1 (* (- -1/2 (* (- (* 1/4 u1) -1/3) u1)) (* u1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -13421773/268435456 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))) (if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -14073749/17592186044416 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/4 binary32) u1) #s(literal 1/3 binary32)) u1) #s(literal 1/2 binary32)))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 u2 u2) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (+.f32 (PI.f32) (PI.f32))) u2))) (*.f32 #s(approx (sqrt (neg (log (- 1 u1)))) (sqrt.f32 u1)) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)))))
(if.f32 (<=.f32 u2 #s(literal 1946157/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/4 binary32) u1) #s(literal 1/3 binary32)) u1) #s(literal 1/2 binary32)))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 u2 u2) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (+.f32 (PI.f32) (PI.f32))) u2))) (*.f32 #s(approx (sqrt (neg (log (- 1 u1)))) (sqrt.f32 u1)) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/4 binary32) u1) #s(literal 1/3 binary32)) u1) #s(literal 1/2 binary32)))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 u2 u2) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (+.f32 (PI.f32) (PI.f32))) u2)))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 (+.f32 #s(literal 1/2 binary32) (*.f32 u1 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u1))))))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 u2 (-.f32 (+.f32 (PI.f32) (PI.f32)) (*.f32 #s(literal 4/3 binary32) (*.f32 (*.f32 (*.f32 u2 u2) (PI.f32)) (*.f32 (PI.f32) (PI.f32))))))))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 (+.f32 #s(literal 1/2 binary32) (*.f32 u1 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u1))))))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 u2 (+.f32 (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 u2 u2) #s(literal -4/3 binary32)) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (PI.f32)) (PI.f32)))))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 #s(literal -1/3 binary32) (*.f32 #s(literal 1/4 binary32) u1)) u1) u1)) (*.f32 #s(literal 1/2 binary32) u1))) (*.f32 #s(literal 1/2 binary32) u1))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 u2 #s(approx (+ (* -4/3 (* (pow u2 2) (pow (PI) 3))) (* 2 (PI))) (*.f32 #s(literal 2 binary32) (PI.f32))))))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) #s(literal -1 binary32)) u1))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 #s(approx (+ (* -4/3 (* (pow u2 2) (pow (PI) 3))) (* 2 (PI))) (+.f32 (PI.f32) (PI.f32))) u2)))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 #s(approx (+ 1/2 (* u1 (+ 1/3 (* 1/4 u1)))) (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/3 binary32) u1)))))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 u2 #s(approx (+ (* -4/3 (* (pow u2 2) (pow (PI) 3))) (* 2 (PI))) (*.f32 #s(literal 2 binary32) (PI.f32))))))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 #s(approx (+ 1/2 (* u1 (+ 1/3 (* 1/4 u1)))) #s(literal 1/2 binary32))))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 u2 #s(approx (+ (* -4/3 (* (pow u2 2) (pow (PI) 3))) (* 2 (PI))) (*.f32 #s(literal 2 binary32) (PI.f32))))))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 #s(approx (+ 1 (* u1 (+ 1/2 (* u1 (+ 1/3 (* 1/4 u1)))))) #s(literal 1 binary32))))) #s(approx (sin (* (* 2 (PI)) u2)) (*.f32 u2 #s(approx (+ (* -4/3 (* (pow u2 2) (pow (PI) 3))) (* 2 (PI))) (*.f32 #s(literal 2 binary32) (PI.f32))))))
(if.f32 (<=.f32 u1 #s(literal 4563403/134217728 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (sin.f32 (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 #s(literal -2 binary32) (*.f32 (PI.f32) u2)) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))) (*.f32 (sqrt.f32 (-.f32 (log.f32 #s(literal 2 binary32)) (log.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal 1 binary32) u1))))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))))
(if.f32 (<=.f32 u1 #s(literal 13421773/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (sin.f32 (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 #s(literal -2 binary32) (*.f32 (PI.f32) u2)) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (sin.f32 (+.f32 (*.f32 #s(literal -13176795/2097152 binary32) u2) (*.f32 (PI.f32) #s(literal 1/2 binary32))))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -13421773/268435456 binary32)) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (sin.f32 (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 #s(literal -2 binary32) (*.f32 (PI.f32) u2)) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 13421773/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (sin.f32 (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 #s(literal -2 binary32) (*.f32 (PI.f32) u2)) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 13421773/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (sin.f32 (+.f32 (*.f32 (neg.f32 u2) (+.f32 (PI.f32) (PI.f32))) #s(literal 13176795/8388608 binary32)))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 13421773/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 13421773/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 (+.f32 #s(literal 1/2 binary32) (*.f32 u1 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u1))))))))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 3019899/16777216 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u1) -1/3) #s(literal 1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 3019899/16777216 binary32)) (*.f32 (sqrt.f32 (neg.f32 #s(approx (log (- 1 u1)) (*.f32 u1 (-.f32 (*.f32 u1 (-.f32 (*.f32 #s(literal -1/3 binary32) u1) #s(literal 1/2 binary32))) #s(literal 1 binary32)))))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 16106127/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 #s(approx (- (* (- (* 1/4 u1) -1/3) u1) -1/2) #s(literal 1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 16106127/268435456 binary32)) (*.f32 (sqrt.f32 (neg.f32 #s(approx (log (- 1 u1)) (*.f32 u1 (-.f32 (*.f32 #s(literal -1/2 binary32) u1) #s(literal 1 binary32)))))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 5368709/268435456 binary32)) (*.f32 #s(approx (sqrt (neg (log (- 1 u1)))) (sqrt.f32 u1)) (sin.f32 (+.f32 (*.f32 (neg.f32 u2) (+.f32 (PI.f32) (PI.f32))) (*.f32 (PI.f32) #s(literal 1/2 binary32))))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 5368709/268435456 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* 13176795/2097152 u2))) (*.f32 (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)) (sqrt.f32 u1))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 13421773/67108864 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 #s(approx (log (- 1 u1)) (*.f32 u1 (-.f32 (*.f32 u1 (-.f32 (*.f32 u1 (-.f32 (*.f32 #s(literal -1/4 binary32) u1) #s(literal 1/3 binary32))) #s(literal 1/2 binary32))) #s(literal 1 binary32))))))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))
#s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 #s(approx (log (- 1 u1)) (*.f32 u1 (-.f32 (*.f32 u1 (-.f32 (*.f32 u1 (-.f32 (*.f32 #s(literal -1/4 binary32) u1) #s(literal 1/3 binary32))) #s(literal 1/2 binary32))) #s(literal 1 binary32)))))))
#s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 #s(approx (log (- 1 u1)) (*.f32 u1 (-.f32 (*.f32 u1 (-.f32 (*.f32 #s(literal -1/3 binary32) u1) #s(literal 1/2 binary32))) #s(literal 1 binary32)))))))
#s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 #s(approx (log (- 1 u1)) (*.f32 u1 (-.f32 (*.f32 #s(literal -1/2 binary32) u1) #s(literal 1 binary32)))))))
#s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt.f32 (neg.f32 #s(approx (log (- 1 u1)) (neg.f32 u1)))))
(if.f32 (<=.f32 u0 #s(literal 11274289/268435456 binary32)) #s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (-.f32 (*.f32 (*.f32 alpha alpha) u0) (*.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 alpha alpha)) (*.f32 (*.f32 (*.f32 alpha alpha) (-.f32 #s(literal 1/3 binary32) (*.f32 #s(literal -1/4 binary32) u0))) u0)) u0) u0))) (/.f32 (*.f32 (*.f32 (neg.f32 alpha) alpha) (*.f32 (log.f32 (*.f32 (*.f32 #s(literal 4 binary32) (-.f32 #s(literal 1 binary32) u0)) #s(literal 1/4 binary32))) (log.f32 #s(literal 1/4 binary32)))) (log.f32 #s(literal 1/4 binary32))))
(if.f32 (<=.f32 u0 #s(literal 11274289/268435456 binary32)) #s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (-.f32 (*.f32 (*.f32 alpha alpha) u0) (*.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 alpha alpha)) (*.f32 (*.f32 (*.f32 alpha alpha) (-.f32 #s(literal 1/3 binary32) (*.f32 #s(literal -1/4 binary32) u0))) u0)) u0) u0))) (*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 #s(literal 1 binary32) u0))))
(if.f32 (<=.f32 u0 #s(literal 11274289/268435456 binary32)) #s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (-.f32 (*.f32 (*.f32 alpha alpha) u0) (*.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 alpha alpha)) (*.f32 (*.f32 (*.f32 alpha alpha) (-.f32 #s(literal 1/3 binary32) (*.f32 #s(literal -1/4 binary32) u0))) u0)) u0) u0))) (*.f32 (*.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) (neg.f32 alpha)) alpha))
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (-.f32 (*.f32 (*.f32 alpha alpha) u0) (*.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/2 binary32) (*.f32 alpha alpha)) (*.f32 (*.f32 (*.f32 alpha alpha) (-.f32 #s(literal 1/3 binary32) (*.f32 #s(literal -1/4 binary32) u0))) u0)) u0) u0)))
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (*.f32 (-.f32 (*.f32 alpha alpha) (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 alpha alpha) (-.f32 (*.f32 #s(literal -1/4 binary32) u0) #s(literal 1/3 binary32))) u0) (*.f32 #s(literal 1/2 binary32) (*.f32 alpha alpha))) u0)) u0))
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 u0 (+.f32 alpha (*.f32 u0 (+.f32 (*.f32 #s(literal 1/2 binary32) alpha) (*.f32 u0 (+.f32 (*.f32 #s(literal 1/4 binary32) (*.f32 alpha u0)) (*.f32 #s(literal 1/3 binary32) alpha)))))))) alpha)
(*.f32 (*.f32 (neg.f32 alpha) alpha) #s(approx (log (- 1 u0)) (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/4 binary32) u0) #s(literal 1/3 binary32)) u0) #s(literal 1/2 binary32)) (*.f32 u0 u0)) u0)))
(*.f32 (*.f32 (neg.f32 alpha) alpha) #s(approx (log (- 1 u0)) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/4 binary32) u0) #s(literal 1/3 binary32)) u0) #s(literal 1/2 binary32)) u0) u0) u0)))
(*.f32 (*.f32 (neg.f32 alpha) alpha) #s(approx (log (- 1 u0)) (*.f32 u0 (-.f32 (*.f32 u0 (-.f32 (*.f32 u0 (-.f32 (*.f32 #s(literal -1/4 binary32) u0) #s(literal 1/3 binary32))) #s(literal 1/2 binary32))) #s(literal 1 binary32)))))
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (*.f32 u0 (*.f32 (-.f32 #s(literal 1 binary32) #s(approx (/ (* (- (* -1/2 (* alpha alpha)) (* (- (* 1/3 (* alpha alpha)) (* -1/4 (* (* alpha alpha) u0))) u0)) u0) (* alpha alpha)) (*.f32 u0 (-.f32 (*.f32 u0 (-.f32 (*.f32 #s(literal -1/4 binary32) u0) #s(literal 1/3 binary32))) #s(literal 1/2 binary32))))) (*.f32 alpha alpha))))
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 u0 (+.f32 alpha (*.f32 u0 (+.f32 (*.f32 #s(literal 1/3 binary32) (*.f32 alpha u0)) (*.f32 #s(literal 1/2 binary32) alpha)))))) alpha)
(*.f32 (*.f32 #s(approx (log (- 1 u0)) (*.f32 u0 (-.f32 (*.f32 u0 (-.f32 (*.f32 #s(literal -1/3 binary32) u0) #s(literal 1/2 binary32))) #s(literal 1 binary32)))) (neg.f32 alpha)) alpha)
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (*.f32 u0 (*.f32 (-.f32 #s(literal 1 binary32) #s(approx (/ (* (- (* -1/2 (* alpha alpha)) (* (- (* 1/3 (* alpha alpha)) (* -1/4 (* (* alpha alpha) u0))) u0)) u0) (* alpha alpha)) (*.f32 u0 (-.f32 (*.f32 #s(literal -1/3 binary32) u0) #s(literal 1/2 binary32))))) (*.f32 alpha alpha))))
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 u0 (+.f32 alpha (*.f32 #s(literal 1/2 binary32) (*.f32 alpha u0))))) alpha)
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (*.f32 u0 (*.f32 (-.f32 #s(literal 1 binary32) #s(approx (/ (* (- (* -1/2 (* alpha alpha)) (* (- (* 1/3 (* alpha alpha)) (* -1/4 (* (* alpha alpha) u0))) u0)) u0) (* alpha alpha)) (*.f32 #s(literal -1/2 binary32) u0))) (*.f32 alpha alpha))))
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 alpha u0)) alpha)
(if.f32 (<=.f32 u0 #s(literal 16106127/536870912 binary32)) (*.f32 (*.f32 (/.f32 alphay (+.f32 (/.f32 (*.f32 (*.f32 cos2phi alphay) alphay) (*.f32 alphax alphax)) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))) (*.f32 (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (*.f32 (*.f32 alphay alphay) cos2phi) (*.f32 sin2phi (*.f32 alphax alphax)))) (*.f32 (*.f32 (*.f32 alphay alphay) alphax) alphax)))
(if.f32 (<=.f32 u0 #s(literal 16106127/536870912 binary32)) (*.f32 (*.f32 (/.f32 alphay (+.f32 (/.f32 (*.f32 (*.f32 cos2phi alphay) alphay) (*.f32 alphax alphax)) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))) (*.f32 (*.f32 (/.f32 alphay (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) alphay) (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) #s(literal -9395241/268435456 binary32)) (*.f32 alphay (*.f32 (/.f32 alphay (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))))) (*.f32 (*.f32 (/.f32 alphay (+.f32 (/.f32 (*.f32 (*.f32 cos2phi alphay) alphay) (*.f32 alphax alphax)) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) #s(literal -9395241/268435456 binary32)) (*.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) (/.f32 #s(literal -1 binary32) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax))))) (*.f32 (*.f32 (/.f32 alphay (+.f32 (/.f32 (*.f32 (*.f32 cos2phi alphay) alphay) (*.f32 alphax alphax)) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) #s(literal -9395241/268435456 binary32)) (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 (*.f32 (/.f32 alphay (+.f32 (/.f32 (*.f32 (*.f32 cos2phi alphay) alphay) (*.f32 alphax alphax)) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))))
(*.f32 (*.f32 (/.f32 alphay (+.f32 (/.f32 (*.f32 (*.f32 cos2phi alphay) alphay) (*.f32 alphax alphax)) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0))))
(*.f32 (*.f32 (/.f32 alphay (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (-.f32 u0 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) (*.f32 u0 u0)))))
(*.f32 (*.f32 (/.f32 alphay (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) (/.f32 alphay (+.f32 sin2phi (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay)))) alphay)
(/.f32 #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) u0)) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
(/.f32 #s(approx (neg (log (- 1 u0))) (*.f32 u0 (+.f32 #s(literal 1 binary32) (*.f32 u0 (+.f32 #s(literal 1/2 binary32) (*.f32 u0 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u0)))))))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
(*.f32 (*.f32 (/.f32 alphay (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u0) -1/3) #s(literal 1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u0) -1/3) #s(literal 1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) (/.f32 alphay (+.f32 sin2phi (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay)))) alphay)
(/.f32 #s(approx (neg (log (- 1 u0))) (*.f32 u0 (+.f32 #s(literal 1 binary32) (*.f32 u0 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/3 binary32) u0)))))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
(*.f32 (*.f32 (/.f32 alphay (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 #s(approx (- (* (- (* 1/4 u0) -1/3) u0) -1/2) #s(literal 1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 #s(approx (- (* (- (* 1/4 u0) -1/3) u0) -1/2) #s(literal 1/2 binary32)) u0) #s(literal -1 binary32)) u0)) (/.f32 alphay (+.f32 sin2phi (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay)))) alphay)
(/.f32 #s(approx (neg (log (- 1 u0))) (*.f32 u0 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) u0)))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
(if.f32 (<=.f32 (/.f32 sin2phi (*.f32 alphay alphay)) #s(literal 8589935/4294967296 binary32)) (*.f32 (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (*.f32 (*.f32 (/.f32 sin2phi (*.f32 alphay alphay)) alphax) alphax) cos2phi)) (*.f32 alphax alphax)) (/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)))
(if.f32 (<=.f32 (/.f32 sin2phi (*.f32 alphay alphay)) #s(literal 8589935/4294967296 binary32)) (*.f32 (*.f32 (/.f32 alphay (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) alphay) (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0)))) (/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)))
(if.f32 (<=.f32 (/.f32 sin2phi (*.f32 alphay alphay)) #s(literal 8589935/4294967296 binary32)) (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)))
(if.f32 (<=.f32 (/.f32 sin2phi (*.f32 alphay alphay)) #s(literal 8589935/4294967296 binary32)) (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (/.f32 (*.f32 alphay (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) alphay)) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)))
(if.f32 (<=.f32 (/.f32 sin2phi (*.f32 alphay alphay)) #s(literal 8589935/4294967296 binary32)) (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) alphay)))
(*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) alphay))
(*.f32 (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi))) alphay)
(*.f32 (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u0) -1/3) #s(literal 1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 #s(approx (- (* (- (* 1/4 u0) -1/3) u0) -1/2) #s(literal 1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 #s(approx (- (* (- (* (- (* 1/4 u0) -1/3) u0) -1/2) u0) -1) #s(literal 1 binary32)) u0)))