#s(approx (+ (- 1 ux) (* ux maxCos)) (+.f32 #s(literal 1 binary32) (*.f32 ux (-.f32 maxCos #s(literal 1 binary32)))))
#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 ux (-.f32 #s(approx (+ 2 (* -1 (* ux (pow (- maxCos 1) 2)))) (*.f32 ux (+.f32 (*.f32 #s(literal -1 binary32) (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32))) (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) ux))))) (*.f32 #s(literal 2 binary32) maxCos))))))
(*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (+.f32 (*.f32 (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)) ux) (-.f32 ux (*.f32 maxCos ux))) (*.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux))))))
(*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (+.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (*.f32 maxCos ux))) (*.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -2 binary32)))))
(*.f32 (sqrt.f32 (*.f32 (-.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (-.f32 (*.f32 maxCos ux) ux))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))
(*.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))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))
(if.f32 (<=.f32 uy #s(literal 7516193/1073741824 binary32)) #s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 uy (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (sqrt.f32 (*.f32 #s(approx (- ux (* maxCos ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux)))) (*.f32 #s(literal 4/3 binary32) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (sqrt.f32 (*.f32 #s(approx (- ux (* maxCos ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux)))))))) (*.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 (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)))))
(if.f32 (<=.f32 uy #s(literal 13421773/268435456 binary32)) #s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 uy (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (sqrt.f32 (*.f32 #s(approx (- ux (* maxCos ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux)))) (*.f32 #s(literal 4/3 binary32) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (sqrt.f32 (*.f32 #s(approx (- ux (* maxCos ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (-.f32 (-.f32 (*.f32 maxCos ux) #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)))) #s(approx (* ux (- 2 (* 2 maxCos))) (*.f32 #s(literal 2 binary32) ux))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 uy (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (sqrt.f32 (*.f32 #s(approx (- ux (* maxCos ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux)))) (*.f32 #s(literal 4/3 binary32) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (sqrt.f32 (*.f32 #s(approx (- ux (* maxCos ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (-.f32 (-.f32 (*.f32 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 (sqrt.f32 (*.f32 (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) ux) (-.f32 ux (*.f32 maxCos ux)))) (-.f32 (+.f32 (PI.f32) (PI.f32)) (*.f32 (*.f32 #s(literal 4/3 binary32) (*.f32 (*.f32 (*.f32 uy uy) (PI.f32)) (PI.f32))) (PI.f32)))) uy))
#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)) (*.f32 maxCos (+.f32 ux (*.f32 #s(literal 2 binary32) (/.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)) #s(approx (- (+ 2 (* maxCos ux)) ux) (*.f32 ux (-.f32 (+.f32 maxCos (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32))))))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 (+.f32 uy uy) (*.f32 (sqrt.f32 (*.f32 (-.f32 ux (*.f32 maxCos ux)) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) 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 ux (*.f32 maxCos ux)) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)) 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)) #s(approx (- (+ 2 (* maxCos ux)) ux) (-.f32 #s(literal 2 binary32) ux))))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 0) (- (- (* maxCos ux) -1) (- ux 1))))) (*.f32 (+.f32 uy uy) (*.f32 (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 (+.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)) #s(approx (* ux (- 2 ux)) (*.f32 #s(literal 2 binary32) ux))))))))
(*.f32 (sin.f32 (*.f32 (neg.f32 (PI.f32)) (-.f32 (+.f32 uy uy) #s(literal 1/2 binary32)))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (+.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (-.f32 (*.f32 (neg.f32 ux) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) (-.f32 #s(literal 1 binary32) maxCos))) (+.f32 maxCos 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 ux (+.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (-.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))))
(if.f32 (<=.f32 uy #s(literal 3489661/536870912 binary32)) (*.f32 #s(approx (cos (* (* uy 2) (PI))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -2 binary32) (*.f32 (*.f32 uy (PI.f32)) (*.f32 uy (PI.f32)))))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (+.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (-.f32 (*.f32 (neg.f32 ux) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) (-.f32 #s(literal 1 binary32) maxCos))) (+.f32 maxCos 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)))) #s(approx (* ux (- (+ 2 (* -1 (* ux (pow (- maxCos 1) 2)))) (* 2 maxCos))) (*.f32 ux (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) ux))))))))
(*.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 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) ux))) (*.f32 #s(literal 2 binary32) maxCos))))))
(*.f32 #s(approx (cos (* (* uy 2) (PI))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -2 binary32) (*.f32 (*.f32 uy (PI.f32)) (*.f32 uy (PI.f32)))))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (+.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (-.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 #s(literal 2 binary32) (+.f32 (+.f32 maxCos maxCos) (*.f32 (*.f32 ux (-.f32 maxCos #s(literal 1 binary32))) (-.f32 maxCos #s(literal 1 binary32))))) ux))) #s(approx (cos (* (* uy 2) (PI))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 uy uy) #s(literal -2 binary32)) (PI.f32)) (PI.f32)) #s(literal -1 binary32))))
#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 (*.f32 ux ux) (*.f32 (+.f32 ux ux) (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)))))))
#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(literal 1 binary32) (-.f32 (*.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 (*.f32 maxCos 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 maxCos ux) #s(literal -1 binary32)) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)) (+.f32 ux ux))) (*.f32 ux ux)))))
#s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 (+.f32 (*.f32 (-.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) (-.f32 (-.f32 (*.f32 maxCos ux) #s(literal -1 binary32)) ux)) #s(literal 1 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 (*.f32 (-.f32 (+.f32 maxCos maxCos) #s(literal 2 binary32)) ux) #s(literal -1 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) (*.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) (*.f32 ux #s(approx (- (* 2 maxCos) 2) #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) #s(approx (+ 1 (* ux (- (* 2 maxCos) 2))) #s(literal 1 binary32))))))
(-.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)) (+.f32 (*.f32 (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) uy)) yi) (*.f32 (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) uy)) xi))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 maxCos ux)) zi))
(if.f32 (<=.f32 uy #s(literal 13421773/1073741824 binary32)) (-.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)) #s(approx (+ (* (sin (* 13176795/2097152 uy)) yi) (* (cos (* 13176795/2097152 uy)) xi)) (+.f32 xi (*.f32 uy (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) yi) (*.f32 uy (+.f32 (*.f32 #s(literal -762619864465648886625/18446744073709551616 binary32) (*.f32 uy yi)) (*.f32 #s(literal -173627926472025/8796093022208 binary32) xi)))))))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 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)) #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)))))))))
#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 (sin.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) uy)) yi) (*.f32 (cos.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) uy)) xi)) (*.f32 (*.f32 zi ux) maxCos)))
(-.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)) (+.f32 (*.f32 (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) uy)) yi) (*.f32 (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) uy)) xi))) (*.f32 (*.f32 #s(approx (- ux 1) #s(literal -1 binary32)) (*.f32 maxCos ux)) zi))
(+.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)) (+.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 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(-.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)) (+.f32 #s(approx (* (sin (* (+ (PI) (PI)) uy)) yi) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32))))) (*.f32 (cos.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) uy)) xi))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 maxCos ux)) zi))
(-.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)) (+.f32 #s(approx (* (sin (* 13176795/2097152 uy)) yi) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 uy yi))) (*.f32 (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) uy)) xi))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 maxCos ux)) zi))
(-.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)) #s(approx (+ (* (sin (* 13176795/2097152 uy)) yi) (* (cos (* 13176795/2097152 uy)) xi)) (+.f32 xi (*.f32 uy (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) yi) (*.f32 uy (+.f32 (*.f32 #s(literal -762619864465648886625/18446744073709551616 binary32) (*.f32 uy yi)) (*.f32 #s(literal -173627926472025/8796093022208 binary32) xi)))))))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 maxCos ux)) zi))
(-.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)) #s(approx (+ (* (sin (* 13176795/2097152 uy)) yi) (* (cos (* 13176795/2097152 uy)) xi)) (+.f32 xi (*.f32 uy (+.f32 (*.f32 #s(literal -173627926472025/8796093022208 binary32) (*.f32 uy xi)) (*.f32 #s(literal 13176795/2097152 binary32) yi)))))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 maxCos ux)) zi))
(+.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)) #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))))))) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(-.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)) #s(approx (+ (* (sin (* 13176795/2097152 uy)) yi) (* (cos (* 13176795/2097152 uy)) xi)) (+.f32 xi (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 uy yi))))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 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)) #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 xi (*.f32 (*.f32 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)) #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 (*.f32 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)) #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 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 (-.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 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))) (pow.f32 (/.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 2 binary32) u1))))) #s(literal 2 binary32))))) alphax) #s(literal 2 binary32))) (-.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 #s(literal 2 binary32) u1))))))))) (*.f32 alphay (+.f32 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 #s(literal 2 binary32) u1))))))))) (*.f32 alphax (+.f32 alphax alphax)))) (-.f32 #s(literal 1 binary32) u0))) #s(literal -1 binary32))))
(pow.f32 (-.f32 #s(approx (/ u0 (* (+ (/ (- 1 (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2))) (* 2 (* alphay alphay))) (/ (- (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) -1) (* 2 (* 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 (- (* 2 (* u1 (PI))) (* -1/2 (PI)))) (sin.f32 (neg.f32 (*.f32 #s(literal -1/2 binary32) (PI.f32)))))) (*.f32 alphax (cos.f32 (-.f32 (*.f32 #s(literal 2 binary32) (*.f32 u1 (PI.f32))) (*.f32 #s(literal -1/2 binary32) (PI.f32)))))))))))))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 #s(approx (/ u0 (* (+ (/ (- 1 (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2))) (* 2 (* alphay alphay))) (/ (- (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) -1) (* 2 (* alphax alphax)))) (- 1 u0))) (*.f32 #s(literal 2 binary32) (/.f32 (*.f32 (*.f32 alphay alphay) u0) (+.f32 (*.f32 (-.f32 #s(literal 1 binary32) u0) #s(literal 1 binary32)) (*.f32 (-.f32 #s(literal 1 binary32) u0) (neg.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 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 #s(approx (/ u0 (* (+ (/ (- 1 (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2))) (* 2 (* alphay alphay))) (/ (- (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) -1) (* 2 (* alphax alphax)))) (- 1 u0))) (*.f32 (/.f32 u0 (*.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 #s(literal 1 binary32) u0))) (*.f32 (+.f32 alphay alphay) alphay))) #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 #s(literal 2 binary32) u1)))))))))) (-.f32 #s(literal 1 binary32) u0))) #s(literal 1/2 binary32)) #s(literal -1 binary32))))
(pow.f32 (/.f32 #s(approx (- (- 1 u0) (/ u0 (- (/ (- (* (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) 1/2) 1/2) (* alphay alphay)) (/ (- (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) -1) (* 2 (* alphax alphax)))))) (-.f32 #s(literal 1 binary32) u0)) (-.f32 #s(literal 1 binary32) u0)) #s(literal -1/2 binary32))
(*.f32 (pow.f32 #s(approx (- (- 1 u0) (/ u0 (- (/ (- (* (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) 1/2) 1/2) (* alphay alphay)) (/ (- (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) -1) (* 2 (* alphax alphax)))))) (-.f32 #s(literal 1 binary32) u0)) #s(literal -1/2 binary32)) #s(approx (pow (/ -1 (- u0 1)) -1/2) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/2 binary32) u0))))
(*.f32 (pow.f32 #s(approx (- (- 1 u0) (/ u0 (- (/ (- (* (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) 1/2) 1/2) (* alphay alphay)) (/ (- (cos (* (atan (* (tan (- (* u1 (+ (PI) (PI))) (* -1/2 (PI)))) (/ alphay alphax))) 2)) -1) (* 2 (* alphax alphax)))))) #s(approx (- 1 u0) #s(literal 1 binary32))) #s(literal -1/2 binary32)) #s(approx (pow (/ -1 (- u0 1)) -1/2) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/2 binary32) u0))))
(*.f32 (sqrt.f32 (/.f32 u1 (+.f32 #s(literal 1/2 binary32) (-.f32 #s(literal 1/2 binary32) u1)))) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
(if.f32 (<=.f32 u1 #s(literal 295279/536870912 binary32)) (*.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))) (*.f32 (sqrt.f32 (/.f32 u1 (*.f32 u1 (/.f32 (-.f32 #s(literal 1 binary32) u1) u1)))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 u2 (-.f32 (-.f32 #s(literal 314159265359/50000000000 binary32) (*.f32 (*.f32 #s(literal -3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) (*.f32 u2 u2))) (*.f32 #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32) (*.f32 u2 u2)))))))
(if.f32 (<=.f32 u2 #s(literal 9395241/134217728 binary32)) (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 u2 (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 (*.f32 (*.f32 (-.f32 #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32) (*.f32 #s(literal 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2))) u2) u2) #s(literal 314159265359/50000000000 binary32))) #s(literal 314159265359/50000000000 binary32))))) (*.f32 #s(approx (sqrt (/ u1 (- 1 u1))) (sqrt.f32 u1)) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 u2 (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 (*.f32 (*.f32 (-.f32 #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32) (*.f32 #s(literal 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2))) u2) u2) #s(literal 314159265359/50000000000 binary32))) #s(literal 314159265359/50000000000 binary32)))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (sin (* 314159265359/50000000000 u2)) (-.f32 (*.f32 (-.f32 (*.f32 (*.f32 #s(literal 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) u2) (*.f32 (*.f32 u2 u2) u2)) #s(literal -314159265359/50000000000 binary32)) u2) (*.f32 (*.f32 #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32) (*.f32 u2 u2)) u2))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 binary32) (*.f32 u2 u2)) #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32)) u2) u2) #s(literal -314159265359/50000000000 binary32)) u2)))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 u2 (+.f32 #s(literal 314159265359/50000000000 binary32) (*.f32 (*.f32 #s(literal -31006276680305942139213528068663279/750000000000000000000000000000000 binary32) u2) u2)))))
(if.f32 (<=.f32 u2 #s(literal 14774687/17179869184 binary32)) (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 u2 #s(approx (+ 314159265359/50000000000 (* -31006276680305942139213528068663279/750000000000000000000000000000000 (pow u2 2))) #s(literal 314159265359/50000000000 binary32))))) (*.f32 (sqrt.f32 (/.f32 u1 #s(approx (- 1 u1) #s(literal 1 binary32)))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 u2 (-.f32 #s(approx (- 314159265359/50000000000 (* (* -3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 (* u2 u2)) (* u2 u2))) #s(literal 314159265359/50000000000 binary32)) (*.f32 #s(literal 31006276680305942139213528068663279/750000000000000000000000000000000 binary32) (*.f32 u2 u2)))))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) #s(approx (sin (* 314159265359/50000000000 u2)) (*.f32 u2 #s(approx (+ 314159265359/50000000000 (* -31006276680305942139213528068663279/750000000000000000000000000000000 (pow u2 2))) #s(literal 314159265359/50000000000 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(approx (* (sqrt (/ u1 (- 1 u1))) 314159265359/50000000000) (*.f32 #s(literal 314159265359/50000000000 binary32) (sqrt.f32 u1))) u2))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 #s(literal 314159265359/50000000000 binary32) #s(approx (* u2 (sqrt (/ u1 (- 1 u1)))) (*.f32 u2 (sqrt.f32 u1)))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 u2 #s(literal -314159265359/50000000000 binary32)) #s(literal 13176795/8388608 binary32))) #s(literal 13176795/8388608 binary32))))
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 #s(approx (* (+ 1 (/ (* u2 -314159265359/50000000000) 13176795/8388608)) 13176795/8388608) (*.f32 u2 (-.f32 (*.f32 #s(literal 13176795/8388608 binary32) (/.f32 #s(literal 1 binary32) u2)) #s(literal 314159265359/50000000000 binary32))))))
(*.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 15083925/68719476736 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (+.f32 #s(literal 1/2 binary32) (-.f32 #s(literal 1/2 binary32) u1))))) (*.f32 (sqrt.f32 #s(approx (/ u1 (- 1 u1)) (*.f32 u1 (+.f32 #s(literal 1 binary32) u1)))) (sin.f32 (-.f32 (*.f32 #s(literal -314159265359/50000000000 binary32) u2) #s(literal -13176795/8388608 binary32)))))
(if.f32 (<=.f32 u2 #s(literal 15083925/68719476736 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (+.f32 #s(literal 1/2 binary32) (-.f32 #s(literal 1/2 binary32) u1))))) (*.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 14774687/17179869184 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (+.f32 #s(literal 1/2 binary32) (-.f32 #s(literal 1/2 binary32) u1))))) #s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* (+ 1 (/ (* u2 -314159265359/50000000000) 13176795/8388608)) 13176795/8388608))) (*.f32 (sin.f32 (*.f32 #s(literal 13176795/8388608 binary32) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -2573592701820928/643398193359375 binary32) u2)))) (sqrt.f32 u1))))
(if.f32 (<=.f32 u2 #s(literal 14774687/17179869184 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (+.f32 #s(literal 1/2 binary32) (-.f32 #s(literal 1/2 binary32) u1))))) (*.f32 #s(approx (sqrt (/ u1 (- 1 u1))) (sqrt.f32 u1)) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (+.f32 #s(literal 1/2 binary32) (-.f32 #s(literal 1/2 binary32) u1)))))
#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 #s(literal 2 binary32) (*.f32 (+.f32 (/.f32 (-.f32 u #s(literal 1 binary32)) (-.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 2 binary32))) (*.f32 (+.f32 (/.f32 (-.f32 u #s(literal 1 binary32)) (-.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 2 binary32)))))
(*.f32 (neg.f32 s) (log.f32 (*.f32 (-.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)) #s(literal -1 binary32))) (/.f32 (-.f32 u #s(literal 1 binary32)) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 u (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)) #s(literal -1 binary32))) (/.f32 (-.f32 u #s(literal 1 binary32)) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)) #s(literal -1 binary32)) (/.f32 (-.f32 u #s(literal 1 binary32)) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s))))) u)) (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)) #s(literal -1 binary32))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (-.f32 u #s(literal 1 binary32)) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)) #s(literal -1 binary32))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(approx (- u 1) #s(literal -1 binary32)) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) 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 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) (+.f32 #s(literal 1 binary32) #s(approx (exp (/ (PI) s)) (+.f32 #s(literal 1 binary32) (/.f32 (PI.f32) s))))))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (-.f32 u #s(literal 1 binary32)) (-.f32 #s(literal -1 binary32) #s(approx (exp (/ (PI) s)) (+.f32 #s(literal 1 binary32) (/.f32 (PI.f32) s))))) (/.f32 u (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)) #s(literal -1 binary32))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (-.f32 u #s(literal 1 binary32)) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (PI.f32) s)))) #s(approx (/ u (- (exp (/ (neg (PI)) s)) -1)) (*.f32 #s(literal 1/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 #s(approx (/ 1 (+ 1 (exp (* -1 (/ (PI) s))))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))))) #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 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (* -1 (/ (PI) s))))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (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 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (* -1 (/ (PI) s))))) (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/4 binary32) (/.f32 (PI.f32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) #s(approx (exp (/ (PI) s)) (+.f32 #s(literal 1 binary32) (/.f32 (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))
(exp.f32 (neg.f32 (log.f32 (-.f32 (exp.f32 (/.f32 (neg.f32 x) s)) #s(literal -1 binary32)))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 5192297/2596148429267413814265248164610048 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (if.f32 (<=.f32 (neg.f32 x) #s(literal 2748779/274877906944 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 #s(approx (- (+ s s) x) (*.f32 #s(literal 2 binary32) s)) (/.f32 (*.f32 s #s(literal 1 binary32)) (*.f32 s s))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 #s(approx (sqrt (exp (/ (neg x) s))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/2 binary32) (/.f32 x s)))) #s(approx (sqrt (exp (/ (neg x) s))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/2 binary32) (/.f32 x s)))))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 5192297/2596148429267413814265248164610048 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (if.f32 (<=.f32 (neg.f32 x) #s(literal 20000000 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 #s(approx (- (+ s s) x) (*.f32 #s(literal 2 binary32) s)) (/.f32 (*.f32 s #s(literal 1 binary32)) (*.f32 s s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (/.f32 (/.f32 (*.f32 (+.f32 (-.f32 x s) s) (-.f32 (-.f32 x s) s)) s) (-.f32 (-.f32 s x) s))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 5192297/2596148429267413814265248164610048 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (if.f32 (<=.f32 (neg.f32 x) #s(literal 200000000 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 #s(approx (- (+ s s) x) (*.f32 #s(literal 2 binary32) s)) (/.f32 (*.f32 s #s(literal 1 binary32)) (*.f32 s s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (-.f32 (/.f32 (/.f32 (-.f32 (*.f32 s s) (*.f32 x x)) (+.f32 s x)) s) #s(literal -1 binary32))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 5192297/2596148429267413814265248164610048 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (if.f32 (<=.f32 (neg.f32 x) #s(literal 200000000 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 #s(approx (- (+ s s) x) (*.f32 #s(literal 2 binary32) s)) (/.f32 (*.f32 s #s(literal 1 binary32)) (*.f32 s s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (/.f32 (*.f32 (-.f32 (-.f32 x s) s) (-.f32 (-.f32 s x) s)) (*.f32 (-.f32 s (-.f32 s x)) s))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 5192297/2596148429267413814265248164610048 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32)) (if.f32 (<=.f32 (neg.f32 x) #s(literal 2951479/147573952589676412928 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 #s(approx (- (+ s s) x) (*.f32 #s(literal 2 binary32) s)) (/.f32 (*.f32 s #s(literal 1 binary32)) (*.f32 s s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 s s)) (*.f32 s (-.f32 (+.f32 s 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))) (*.f32 #s(approx (- (+ s s) x) (*.f32 #s(literal 2 binary32) s)) (/.f32 (*.f32 s #s(literal 1 binary32)) (*.f32 s s))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 15845633/79228162514264337593543950336 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 (*.f32 s (-.f32 (+.f32 s s) x)) (*.f32 s s)))))
(if.f32 (<=.f32 (/.f32 (neg.f32 x) s) #s(literal 15000000512 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(approx (- (* (+ s s) s) (* s x)) (*.f32 #s(literal -1 binary32) (*.f32 s x))) (*.f32 s 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))) (*.f32 (/.f32 #s(literal 1 binary32) s) #s(approx (- (+ s s) x) (+.f32 s s))))) (/.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 (neg.f32 x) s) #s(literal -5 binary32)) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (*.f32 (/.f32 #s(literal 1 binary32) s) #s(approx (- (+ s s) x) (+.f32 s s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (-.f32 (/.f32 (-.f32 s x) s) #s(literal -1 binary32)))))
(if.f32 (<=.f32 (/.f32 (neg.f32 x) s) #s(literal -5 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 (/.f32 (-.f32 s x) s) #s(literal -1 binary32)))))
(if.f32 (<=.f32 (/.f32 (neg.f32 x) s) #s(literal -5 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 (/.f32 (sqrt.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (sqrt.f32 (exp.f32 (*.f32 (/.f32 #s(literal 1 binary32) s) (fabs.f32 x))))) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (/.f32 (sqrt.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (sqrt.f32 (exp.f32 (*.f32 (/.f32 #s(literal 1 binary32) s) (fabs.f32 x))))))) (+.f32 #s(literal 1 binary32) (/.f32 (sqrt.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (sqrt.f32 (exp.f32 (*.f32 (/.f32 #s(literal 1 binary32) s) (fabs.f32 x))))))))
(/.f32 (*.f32 (pow.f32 (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) #s(literal -2 binary32)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) 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 (pow.f32 (-.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) #s(literal -1 binary32)) #s(literal -2 binary32)) (*.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) s))
(/.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))))))
(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 6044629/604462909807314587353088 binary32)) #s(approx (/ (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s)))) (* (* s (+ 1 (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s)))))) (+ 1 (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s))))))) (/.f32 #s(approx (+ (* (/ (fabs x) s) -1/8) (- 1/4 (* (/ (- (* (fabs x) -4) (* -2 (fabs x))) s) 1/16))) (/.f32 (-.f32 (*.f32 #s(literal -1/8 binary32) (fabs.f32 x)) (*.f32 #s(literal 1/16 binary32) (-.f32 (*.f32 #s(literal -4 binary32) (fabs.f32 x)) (*.f32 #s(literal -2 binary32) (fabs.f32 x))))) s)) s)) #s(approx (/ (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s)))) (* (* s (+ 1 (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s)))))) (+ 1 (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s))))))) (/.f32 (-.f32 (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal -1/8 binary32) (/.f32 (fabs.f32 x) s))) (*.f32 #s(literal 1/16 binary32) (/.f32 (+.f32 (+.f32 (*.f32 (fabs.f32 x) #s(literal -4 binary32)) (fabs.f32 x)) (fabs.f32 x)) s))) 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 6044629/604462909807314587353088 binary32)) #s(approx (/ (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s)))) (* (* s (+ 1 (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s)))))) (+ 1 (/ (sqrt (exp (/ (fabs x) (neg s)))) (sqrt (exp (/ (fabs x) s))))))) (/.f32 #s(approx (+ (* (/ (fabs x) s) -1/8) (- 1/4 (* (/ (- (* (fabs x) -4) (* -2 (fabs x))) s) 1/16))) (/.f32 (-.f32 (*.f32 #s(literal -1/8 binary32) (fabs.f32 x)) (*.f32 #s(literal 1/16 binary32) (-.f32 (*.f32 #s(literal -4 binary32) (fabs.f32 x)) (*.f32 #s(literal -2 binary32) (fabs.f32 x))))) s)) 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 (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))))
#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 (/.f32 (sin.f32 (*.f32 (*.f32 tau (PI.f32)) x)) (*.f32 (*.f32 tau (PI.f32)) x)) (/.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 (neg.f32 (PI.f32)) x)) (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 (*.f32 (neg.f32 (PI.f32)) x) (*.f32 x (*.f32 (PI.f32) tau))))
(*.f32 (/.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))) (*.f32 (*.f32 (*.f32 (PI.f32) x) tau) (*.f32 (PI.f32) x))) (sin.f32 (*.f32 (PI.f32) x)))
(*.f32 (sin.f32 (*.f32 x (PI.f32))) (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 (*.f32 (*.f32 x (*.f32 (PI.f32) tau)) x) (PI.f32))))
(*.f32 #s(approx (/ (sin (* tau (* (PI) x))) (* (* (* (PI) x) x) (* tau (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))))) (sin.f32 (*.f32 (PI.f32) x)))
(/.f32 (*.f32 #s(approx (/ (sin (* x (PI))) (* (* x (* (PI) tau)) x)) (/.f32 #s(literal 1 binary32) (*.f32 tau x))) (sin.f32 (*.f32 (*.f32 (neg.f32 x) tau) (PI.f32)))) (neg.f32 (PI.f32)))
(*.f32 (sin.f32 (*.f32 (*.f32 (neg.f32 x) tau) (PI.f32))) #s(approx (/ (/ (sin (* (PI) x)) x) (* (* (PI) (* (PI) x)) (neg tau))) (/.f32 #s(literal -1 binary32) (*.f32 tau (*.f32 x (PI.f32))))))
(*.f32 #s(approx (/ (sin (* (* x (PI)) tau)) (* (* x (PI)) tau)) #s(literal 1 binary32)) (/.f32 #s(approx (sin (* x (PI))) (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (*.f32 x (*.f32 (*.f32 x x) #s(literal -1/6 binary32))) (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32))) (*.f32 x (PI.f32)))) (*.f32 x (PI.f32)))) (*.f32 x (PI.f32))))
(*.f32 #s(approx (/ (sin (* (* x (PI)) tau)) (* (* x (PI)) tau)) #s(literal 1 binary32)) (/.f32 #s(approx (sin (* x (PI))) (*.f32 x (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 (*.f32 (*.f32 #s(literal 1/6 binary32) (*.f32 x x)) (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32))) (PI.f32))) (PI.f32)))) (*.f32 x (PI.f32))))
(/.f32 #s(literal 1 binary32) (/.f32 (*.f32 x (PI.f32)) (*.f32 #s(approx (sin (* x (PI))) (*.f32 (-.f32 (PI.f32) (*.f32 (*.f32 #s(literal 1/6 binary32) (*.f32 x x)) (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32)))) x)) #s(approx (/ (sin (* (* x (PI)) tau)) (* (* x (PI)) tau)) #s(literal 1 binary32)))))
(*.f32 #s(approx (/ (sin (* (* x (PI)) tau)) (* (* x (PI)) tau)) #s(literal 1 binary32)) (/.f32 #s(approx (sin (* x (PI))) (+.f32 (*.f32 (*.f32 x (*.f32 (*.f32 x x) #s(literal -1/6 binary32))) (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32))) (*.f32 x (PI.f32)))) (*.f32 x (PI.f32))))
(*.f32 #s(approx (/ (sin (* (* x (PI)) tau)) (* (* x (PI)) tau)) #s(literal 1 binary32)) (/.f32 #s(approx (sin (* x (PI))) (*.f32 x (+.f32 (PI.f32) (*.f32 #s(literal -1/6 binary32) (*.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32)) (*.f32 x x)))))) (*.f32 x (PI.f32))))
#s(approx (* (/ (sin (* tau (* (PI) x))) (* (* (* (PI) x) tau) (* (PI) x))) (sin (* (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 (*.f32 (-.f32 #s(literal 1 binary32) u) (/.f32 #s(literal 1 binary32) #s(approx (exp (/ 2 v)) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 2 binary32) (*.f32 #s(literal 4/3 binary32) (/.f32 #s(literal 1 binary32) v))) v)) #s(literal 2 binary32)) v))))))))))
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (/.f32 (-.f32 #s(literal 1 binary32) u) #s(approx (exp (/ 2 v)) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 2 binary32) (*.f32 #s(literal 4/3 binary32) (/.f32 #s(literal 1 binary32) v))) v)) #s(literal 2 binary32)) v)))))))))
(if.f32 (<=.f32 v #s(literal 13421773/134217728 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)))))) (+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (/.f32 (+.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) #s(literal -2 binary32)) v) #s(approx (- (* -1/6 (/ (+ (- (* (* 16 (- 1 u)) (* (- 1 u) (- 1 u))) (* -8 (- 1 u))) (* (* -24 (- 1 u)) (- 1 u))) v)) (* (* -4 (- (* (- 1 u) (- 1 u)) (- 1 u))) -1/2)) (*.f32 u (+.f32 #s(literal 2 binary32) (+.f32 (*.f32 #s(literal 4/3 binary32) (/.f32 #s(literal 1 binary32) v)) (*.f32 u #s(approx (- (* 8/3 (/ u v)) (+ 2 (* 4 (/ 1 v)))) (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 4 binary32) (*.f32 #s(literal -8/3 binary32) u)) v)) #s(literal 2 binary32))))))))) v))))
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (/.f32 (-.f32 #s(literal 1 binary32) u) #s(approx (exp (/ 2 v)) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) v)))))))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (/.f32 (+.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) #s(literal -2 binary32)) v) #s(approx (- (* -1/6 (/ (+ (- (* (* 16 (- 1 u)) (* (- 1 u) (- 1 u))) (* -8 (- 1 u))) (* (* -24 (- 1 u)) (- 1 u))) v)) (* (* -4 (- (* (- 1 u) (- 1 u)) (- 1 u))) -1/2)) (*.f32 u #s(approx (+ 2 (+ (* 4/3 (/ 1 v)) (* u (- (* 8/3 (/ u v)) (+ 2 (* 4 (/ 1 v))))))) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -2 binary32) u)))))) v)))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(approx (* u (* v (- (/ 1 (exp (/ -2 v))) 1))) (+.f32 (*.f32 #s(literal 2 binary32) u) (*.f32 #s(literal 2 binary32) (/.f32 u v)))) #s(literal 2 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 (*.f32 u (*.f32 v #s(approx (- (/ 1 (exp (/ -2 v))) 1) (/.f32 #s(literal 2 binary32) v)))) #s(literal 2 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) (/ 1 (exp (/ 2 v)))))))) (+.f32 u (-.f32 u #s(literal 1 binary32))))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(asin.f32 (/.f32 h #s(approx (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O)))))) (*.f32 eta (/.f32 (+.f32 eta (*.f32 #s(literal -1/2 binary32) (*.f32 (/.f32 sinTheta_O #s(approx (* (sqrt (- 1 (* sinTheta_O sinTheta_O))) eta) eta)) sinTheta_O))) eta)))))
(asin.f32 (/.f32 h #s(approx (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O)))))) (+.f32 eta (*.f32 #s(literal -1/2 binary32) (*.f32 (/.f32 sinTheta_O #s(approx (* (sqrt (- 1 (* sinTheta_O sinTheta_O))) eta) eta)) sinTheta_O))))))
(asin.f32 #s(approx (/ h (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O))))))) (/.f32 h eta)))
(*.f32 (*.f32 (/.f32 #s(literal 1 binary32) v) cosTheta_O) (/.f32 cosTheta_i (*.f32 (*.f32 (+.f32 v v) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) 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))) (+.f32 v (*.f32 sinTheta_O sinTheta_i)))) (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))))
(*.f32 (*.f32 (/.f32 #s(literal 1 binary32) v) cosTheta_O) (/.f32 cosTheta_i (*.f32 #s(approx (* (+ v v) (exp (/ (* sinTheta_i sinTheta_O) v))) (*.f32 #s(literal 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 cosTheta_O (/.f32 (/.f32 cosTheta_i (*.f32 #s(approx (exp (/ (* sinTheta_O sinTheta_i) v)) #s(literal 1 binary32)) (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) (+.f32 v v)))) v))
(*.f32 (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(approx (* v (exp (/ (* sinTheta_O sinTheta_i) v))) v) (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v))))) cosTheta_O) cosTheta_i)
(*.f32 (/.f32 cosTheta_i (*.f32 #s(approx (* v (exp (/ (* sinTheta_O sinTheta_i) v))) v) (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v))))) cosTheta_O)
(/.f32 #s(approx (/ -1 (* (* (exp (/ (* sinTheta_O sinTheta_i) v)) (+ v v)) (sinh (/ -1 v)))) #s(literal 1/2 binary32)) (/.f32 v (*.f32 cosTheta_i cosTheta_O)))
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/.f32 (*.f32 (*.f32 #s(literal 1/2 binary32) 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 (*.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_O cosTheta_i) 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)))
#s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) (*.f32 #s(literal 2097053/2097152 binary32) (/.f32 (exp.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(literal 1 binary32)) v)) v)))
#s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) (*.f32 #s(literal 2097053/2097152 binary32) (/.f32 (exp.f32 (/.f32 #s(approx (- (* cosTheta_O cosTheta_i) 1) #s(literal -1 binary32)) v)) v)))
(if.f32 (<=.f32 (*.f32 cosTheta_i cosTheta_O) #s(literal -1/713623846352979940529142984724747568191373312 binary32)) #s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) #s(approx (/ (+ 2097053/2097152 (* 2097053/2097152 (/ (- (* cosTheta_O cosTheta_i) (+ 1 (* sinTheta_O sinTheta_i))) v))) v) (*.f32 #s(literal -2097053/2097152 binary32) (/.f32 (*.f32 sinTheta_O sinTheta_i) (pow.f32 v #s(literal 2 binary32)))))) (if.f32 (<=.f32 (*.f32 cosTheta_i cosTheta_O) #s(literal 223/11150372599265311570767859136324180752990208 binary32)) #s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) #s(approx (/ (+ 2097053/2097152 (* 2097053/2097152 (/ (- (* cosTheta_O cosTheta_i) (+ 1 (* sinTheta_O sinTheta_i))) v))) v) (*.f32 #s(literal 2097053/2097152 binary32) (/.f32 (*.f32 cosTheta_O cosTheta_i) (pow.f32 v #s(literal 2 binary32)))))) #s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) #s(approx (/ (+ 2097053/2097152 (* 2097053/2097152 (/ (- (* cosTheta_O cosTheta_i) (+ 1 (* sinTheta_O sinTheta_i))) v))) v) (*.f32 #s(literal -2097053/2097152 binary32) (/.f32 (*.f32 sinTheta_O sinTheta_i) (pow.f32 v #s(literal 2 binary32))))))))
#s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) #s(approx (/ (+ 2097053/2097152 (* 2097053/2097152 (/ (- (* cosTheta_O cosTheta_i) (+ 1 (* sinTheta_O sinTheta_i))) v))) v) (*.f32 #s(literal -2097053/2097152 binary32) (/.f32 (*.f32 sinTheta_O sinTheta_i) (pow.f32 v #s(literal 2 binary32))))))
#s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) (/.f32 #s(approx (+ 2097053/2097152 (* 2097053/2097152 (/ (- (* cosTheta_O cosTheta_i) (+ 1 (* sinTheta_O sinTheta_i))) v))) #s(literal 2097053/2097152 binary32)) 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 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (-.f32 (*.f32 #s(approx (* cosTheta (- (* alpha alpha) 1)) (neg.f32 cosTheta)) cosTheta) #s(literal -1 binary32)) (log.f32 (*.f32 alpha alpha)))) (PI.f32))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (-.f32 (*.f32 #s(approx (* cosTheta (- (* alpha alpha) 1)) (neg.f32 cosTheta)) cosTheta) #s(literal -1 binary32)) (log.f32 (*.f32 alpha alpha))) (PI.f32)))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (*.f32 (PI.f32) (log.f32 alpha)) #s(literal 2 binary32)) (-.f32 (*.f32 #s(approx (* cosTheta (- (* alpha alpha) 1)) (neg.f32 cosTheta)) cosTheta) #s(literal -1 binary32))))
(/.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 alpha alpha) #s(literal 1 binary32)) (*.f32 #s(approx (* (- (* (* cosTheta (- (* alpha alpha) 1)) cosTheta) -1) (PI)) (PI.f32)) (log.f32 (*.f32 alpha alpha))))
(/.f32 (-.f32 (*.f32 alpha alpha) #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 #s(approx (- (* alpha alpha) 1) #s(literal -1 binary32)) (*.f32 (*.f32 (log.f32 (*.f32 alpha alpha)) (PI.f32)) #s(approx (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta)) #s(literal 1 binary32))))
(/.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 (log.f32 (/.f32 #s(literal -27/64 binary32) (*.f32 (-.f32 u #s(literal 1 binary32)) (*.f32 (+.f32 #s(literal -1 binary32) u) (+.f32 #s(literal -1 binary32) u))))) s)
(*.f32 (*.f32 (neg.f32 (log.f32 (-.f32 (*.f32 (-.f32 #s(literal 1/4 binary32) u) #s(literal 4/3 binary32)) #s(literal -1 binary32)))) #s(literal 3 binary32)) s)
#s(approx (* (* (neg (log (- (* (- 1/4 u) 4/3) -1))) 3) s) (*.f32 #s(literal -3 binary32) (*.f32 s (log.f32 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 4/3 binary32) (-.f32 #s(literal 1/4 binary32) u)))))))
(*.f32 (*.f32 (neg.f32 (+.f32 (log.f32 (-.f32 #s(literal 1 binary32) u)) #s(literal 9653009/33554432 binary32))) #s(literal 3 binary32)) s)
(*.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 (log.f32 #s(literal 27/64 binary32)) #s(approx (log (pow (- 1 u) 3)) (*.f32 #s(literal -3 binary32) u))) s)
#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 #s(literal 3 binary32) (log.f32 #s(approx (pow (/ -3/4 (- u 1)) s) #s(literal 1 binary32)))))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 (*.f32 s #s(literal 3 binary32)) #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 8589935/1073741824 binary32)) #s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 (*.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) #s(literal -8 binary32)) s) u) 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 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) #s(literal -8 binary32)) s) u) u) (*.f32 (*.f32 #s(literal -4 binary32) u) s)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 u (+.f32 (*.f32 #s(literal 4 binary32) s) #s(approx (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* 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))))))))))
(*.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/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 #s(literal 13176795/2097152 binary32) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (*.f32 (/.f32 #s(literal 1 binary32) s) (*.f32 r #s(literal -1/3 binary32))))) (*.f32 (*.f32 #s(literal 2470649/131072 binary32) s) r)))
(/.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (*.f32 (PI.f32) s) (exp.f32 (/.f32 r s)))) (*.f32 #s(literal 3/4 binary32) (/.f32 (exp.f32 (/.f32 (*.f32 r #s(literal -1/3 binary32)) s)) (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s)))) r)
(-.f32 (*.f32 #s(literal 1/8 binary32) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (*.f32 (*.f32 (PI.f32) s) r))) (*.f32 #s(literal -1/8 binary32) (/.f32 (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s))) (*.f32 (*.f32 (PI.f32) s) r))))
(/.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (*.f32 (exp.f32 (/.f32 r s)) (PI.f32)) 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 #s(literal 1/8 binary32) (*.f32 (*.f32 (PI.f32) s) (exp.f32 (/.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 #s(literal 98304/2470649 binary32) (/.f32 (exp.f32 (/.f32 (*.f32 r #s(literal -1/3 binary32)) s)) (*.f32 s r))) (*.f32 #s(literal 524288/13176795 binary32) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (*.f32 s r))))
(/.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))))) (*.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 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 s (+.f32 (PI.f32) (/.f32 (*.f32 r (PI.f32)) 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) (*.f32 #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 (+.f32 s r) (PI.f32))) r)) r) (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 (*.f32 r #s(literal -1/3 binary32)) s)))) r)
(+.f32 (/.f32 (*.f32 #s(literal 1/8 binary32) (exp.f32 (/.f32 (*.f32 r #s(literal -1/3 binary32)) s))) (*.f32 (PI.f32) (*.f32 s r))) (/.f32 #s(literal 1/8 binary32) (*.f32 #s(approx (* (* (PI) s) (exp (/ r s))) (*.f32 (+.f32 s r) (PI.f32))) r)))
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* 13176795/2097152 s) r)) (/ (* 3/4 (exp (* (* (neg r) 1/3) (/ 1 s)))) (* (* 2470649/131072 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 -262144/13176795 binary32) r) (*.f32 #s(literal -16384/7411947 binary32) r)) s)) #s(literal 1727108841472/32555235389955 binary32)) s)) (*.f32 #s(literal 2590663278592/32555235389955 binary32) (/.f32 #s(literal 1 binary32) r))) 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 (PI.f32) r)) 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) r) (*.f32 (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 (PI.f32)) s)))
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* 13176795/2097152 s) r)) (/ (* 3/4 (exp (* (* (neg r) 1/3) (/ 1 s)))) (* (* 2470649/131072 s) r))) (/.f32 #s(literal 2590663278592/32555235389955 binary32) (*.f32 r s)))
(-.f32 (*.f32 (/.f32 n1_i (sin.f32 normAngle)) (sin.f32 (*.f32 normAngle u))) (*.f32 (sin.f32 (*.f32 (-.f32 u #s(literal 1 binary32)) normAngle)) (/.f32 n0_i (sin.f32 normAngle))))
(-.f32 (*.f32 (/.f32 n1_i (sin.f32 normAngle)) (sin.f32 (*.f32 normAngle u))) #s(approx (* (sin (* (- u 1) normAngle)) (/ n0_i (sin normAngle))) (*.f32 n0_i (-.f32 u #s(literal 1 binary32)))))
(-.f32 #s(approx (* (/ n1_i (sin normAngle)) (sin (* normAngle u))) (*.f32 n1_i u)) (*.f32 (sin.f32 (*.f32 (-.f32 u #s(literal 1 binary32)) normAngle)) (/.f32 n0_i (sin.f32 normAngle))))
#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 u (+.f32 n1_i (*.f32 #s(literal -1 binary32) n0_i))))))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (+.f32 #s(approx (* n0_i (- 1 u)) n0_i) (*.f32 n1_i u)))
(if.f32 (<=.f32 n1_i #s(literal -9444733/9444732965739290427392 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 u #s(approx (+ n1_i (* -1 n0_i)) n1_i)))) (if.f32 (<=.f32 n1_i #s(literal 6044629/302231454903657293676544 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)) 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 (- 1 u)) (* n1_i u)) (*.f32 u #s(approx (+ n1_i (* -1 n0_i)) n1_i))))))
#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)) n0_i))
(/.f32 (sqrt.f32 (PI.f32)) (+.f32 (*.f32 (sqrt.f32 (PI.f32)) (-.f32 c #s(literal -1 binary32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) cosTheta))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (/.f32 (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) cosTheta)) #s(literal 14868421/8388608 binary32))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) (*.f32 (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) #s(literal 14868421/8388608 binary32)) cosTheta))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) (*.f32 cosTheta #s(literal 14868421/8388608 binary32))))))
(/.f32 (sqrt.f32 (PI.f32)) #s(approx (+ (* (sqrt (PI)) (- c -1)) (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta))) (+.f32 (+.f32 (*.f32 (sqrt.f32 (PI.f32)) (-.f32 c #s(literal -1 binary32))) (+.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/2 binary32) cosTheta) #s(literal 3/2 binary32)) cosTheta) #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) cosTheta))))
(/.f32 (sqrt.f32 (PI.f32)) #s(approx (+ (* (sqrt (PI)) (- c -1)) (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta))) (/.f32 (+.f32 #s(literal 1 binary32) (*.f32 cosTheta (-.f32 #s(approx (+ (* cosTheta (- (* 1/2 cosTheta) 3/2)) (* (sqrt (PI)) (+ 1 c))) (+.f32 (sqrt.f32 (PI.f32)) (*.f32 cosTheta (-.f32 (*.f32 #s(literal 1/2 binary32) cosTheta) #s(literal 3/2 binary32))))) #s(literal 1 binary32)))) cosTheta)))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) #s(approx (/ (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) 14868421/8388608) (/.f32 (+.f32 #s(literal 8388608/14868421 binary32) (*.f32 cosTheta (-.f32 (*.f32 cosTheta (-.f32 (*.f32 #s(literal 4194304/14868421 binary32) cosTheta) #s(literal 12582912/14868421 binary32))) #s(literal 8388608/14868421 binary32)))) cosTheta))))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (/ (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) 14868421/8388608)) (/.f32 (+.f32 #s(literal 8388608/14868421 binary32) (*.f32 cosTheta (+.f32 #s(literal 6479813/14868421 binary32) (+.f32 c (*.f32 cosTheta (-.f32 (*.f32 #s(literal 4194304/14868421 binary32) cosTheta) #s(literal 12582912/14868421 binary32))))))) cosTheta)))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) #s(approx (/ (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) 14868421/8388608) (/.f32 (+.f32 #s(literal 8388608/14868421 binary32) (*.f32 cosTheta (-.f32 (*.f32 #s(literal -12582912/14868421 binary32) cosTheta) #s(literal 8388608/14868421 binary32)))) cosTheta))))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (/ (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) 14868421/8388608)) (/.f32 (+.f32 #s(literal 8388608/14868421 binary32) (*.f32 cosTheta (+.f32 #s(literal 6479813/14868421 binary32) (+.f32 c (*.f32 #s(literal -12582912/14868421 binary32) cosTheta))))) cosTheta)))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (/ (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) 14868421/8388608)) (+.f32 (-.f32 (+.f32 (*.f32 #s(literal -12582912/14868421 binary32) cosTheta) c) #s(literal -6479813/14868421 binary32)) (/.f32 #s(literal 8388608/14868421 binary32) cosTheta))))
#s(approx (/ 1 (+ (+ 1 c) (/ (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) 14868421/8388608))) (*.f32 cosTheta (+.f32 #s(literal 14868421/8388608 binary32) (*.f32 #s(literal -221069943033241/70368744177664 binary32) (*.f32 cosTheta (+.f32 #s(literal 6479813/14868421 binary32) c))))))
#s(approx (/ 1 (+ (+ 1 c) (/ (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) (sqrt (PI))))) (*.f32 cosTheta #s(literal 14868421/8388608 binary32)))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -9395241/268435456 binary32)) (*.f32 (exp.f32 (*.f32 (log.f32 (fabs.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (log.f32 (exp.f32 #s(literal 1/2 binary32))))) (sin.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -3019899/67108864 binary32)) (*.f32 (exp.f32 (log.f32 (sqrt.f32 (fabs.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))))) (sin.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -3019899/67108864 binary32)) (*.f32 (exp.f32 (*.f32 (log.f32 (fabs.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) #s(literal 1/2 binary32))) (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 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -5368709/134217728 binary32)) (*.f32 (*.f32 (sqrt.f32 (fabs.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (+.f32 (sin.f32 (*.f32 u2 (-.f32 (PI.f32) (PI.f32)))) (sin.f32 (*.f32 u2 (+.f32 (PI.f32) (PI.f32)))))))) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 u1 #s(literal 9395241/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (*.f32 (sqrt.f32 (fabs.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) #s(literal 2 binary32)) (*.f32 (cos.f32 (*.f32 u2 (PI.f32))) (sin.f32 (*.f32 u2 (PI.f32))))))
(if.f32 (<=.f32 u1 #s(literal 9395241/268435456 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (*.f32 u1 u1) (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) 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 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -6442451/536870912 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))) (-.f32 u1 (*.f32 (*.f32 u1 u1) #s(approx (- -1/2 (* (- (* 1/4 u1) -1/3) u1)) #s(literal -1/2 binary32)))))) (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 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -6442451/536870912 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 (* (* u1 u1) (- -1/2 (* (- (* 1/4 u1) -1/3) u1)))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) 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))))))))) (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 #s(literal -1/2 binary32) (*.f32 #s(approx (- (* 1/4 u1) -1/3) #s(literal 1/3 binary32)) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) #s(approx (- u1 (* (* u1 u1) (- -1/2 (* (- (* 1/4 u1) -1/3) u1)))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/3 binary32) u1)))))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)))
(if.f32 (<=.f32 u2 #s(literal 14774687/17179869184 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 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))))))))) (*.f32 #s(approx (sqrt (neg (log (- 1 u1)))) (sqrt.f32 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 #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)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 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)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 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)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) #s(approx (* u2 (sqrt (neg (log (- 1 u1))))) (*.f32 u2 (sqrt.f32 u1)))))
(if.f32 (<=.f32 u1 #s(literal 9395241/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 (*.f32 (PI.f32) #s(literal 1/2 binary32)) (*.f32 u2 #s(literal -13176795/2097152 binary32))))) (*.f32 (sqrt.f32 (exp.f32 (*.f32 (log.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))) #s(literal 2 binary32)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))))
(if.f32 (<=.f32 u1 #s(literal 9395241/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 (*.f32 (PI.f32) #s(literal 1/2 binary32)) (*.f32 u2 #s(literal -13176795/2097152 binary32))))) (*.f32 (exp.f32 (*.f32 (log.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) #s(literal 1/2 binary32))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))))
(if.f32 (<=.f32 u1 #s(literal 9395241/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 (*.f32 (PI.f32) #s(literal 1/2 binary32)) (*.f32 u2 #s(literal -13176795/2097152 binary32))))) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 u1 #s(literal 9395241/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 (*.f32 (PI.f32) #s(literal 1/2 binary32)) (*.f32 u2 #s(literal -13176795/2097152 binary32))))) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (sin.f32 (-.f32 (*.f32 (*.f32 #s(literal -2 binary32) u2) (PI.f32)) (*.f32 (PI.f32) #s(literal -1/2 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 (*.f32 (PI.f32) #s(literal 1/2 binary32)) (*.f32 u2 #s(literal -13176795/2097152 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 (*.f32 #s(literal 2 binary32) (PI.f32)) u2)))
(*.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))))) (cos.f32 (*.f32 #s(literal -13176795/2097152 binary32) 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))))))))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)))
(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/134217728 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 #s(approx (- -1/2 (* (- (* 1/4 u1) -1/3) u1)) #s(literal -1/2 binary32)) (*.f32 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 16106127/134217728 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 #s(approx (+ 1 (* u1 (+ 1/2 (* u1 (+ 1/3 (* 1/4 u1)))))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 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))))))
(*.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))))) (cos.f32 (*.f32 #s(literal -13176795/2097152 binary32) u2)))
(*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 #s(approx (+ 1 (* u1 (+ 1/2 (* u1 (+ 1/3 (* 1/4 u1)))))) (+.f32 #s(literal 1 binary32) (*.f32 u1 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/3 binary32) u1)))))))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)))
(if.f32 (<=.f32 (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2)) #s(literal 4194241/4194304 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 #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 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 16106127/536870912 binary32)) (*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 u0 (+.f32 alpha #s(approx (* u0 (+ (* 1/2 alpha) (* u0 (+ (* 1/4 (* alpha u0)) (* 1/3 alpha))))) (*.f32 alpha (*.f32 u0 (+.f32 #s(literal 1/2 binary32) (*.f32 u0 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u0)))))))))) alpha) (*.f32 (*.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) (neg.f32 alpha)) alpha))
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 u0 (+.f32 alpha #s(approx (* u0 (+ (* 1/2 alpha) (* u0 (+ (* 1/4 (* alpha u0)) (* 1/3 alpha))))) (*.f32 alpha (*.f32 u0 (+.f32 #s(literal 1/2 binary32) (*.f32 u0 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u0)))))))))) alpha)
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) #s(approx (* u0 (+ alpha (* u0 (+ (* 1/2 alpha) (* u0 (+ (* 1/4 (* alpha u0)) (* 1/3 alpha))))))) (*.f32 alpha (*.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)))))))))) 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 (*.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* -1/4 u0) 1/3) #s(literal -1/3 binary32)) u0) #s(literal 1/2 binary32)) u0) u0) u0)) (neg.f32 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)
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 u0 (+.f32 alpha (*.f32 #s(literal 1/2 binary32) (*.f32 alpha u0))))) alpha)
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 alpha u0)) alpha)
(if.f32 (<=.f32 u0 #s(literal 13421773/268435456 binary32)) #s(approx (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (-.f32 (/.f32 u0 (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 (/.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 u0 u0)))) (*.f32 (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (*.f32 sin2phi (*.f32 alphax alphax)) (*.f32 (*.f32 alphay alphay) cos2phi))) (*.f32 (*.f32 (*.f32 alphax alphax) alphay) alphay)))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) #s(literal -13421773/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))))) #s(approx (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (-.f32 (/.f32 u0 (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 (/.f32 (*.f32 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) u0) u0) (+.f32 (*.f32 (*.f32 (/.f32 sin2phi (*.f32 alphay alphay)) alphax) alphax) cos2phi)) (*.f32 alphax alphax)))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) #s(literal -13421773/268435456 binary32)) (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) #s(approx (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (-.f32 (/.f32 u0 (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 (/.f32 (*.f32 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) u0) u0) (+.f32 (*.f32 (*.f32 (/.f32 sin2phi (*.f32 alphay alphay)) alphax) alphax) cos2phi)) (*.f32 alphax alphax)))))
#s(approx (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (-.f32 (/.f32 u0 (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 (/.f32 (*.f32 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) u0) u0) (+.f32 (*.f32 (*.f32 (/.f32 sin2phi (*.f32 alphay alphay)) alphax) alphax) cos2phi)) (*.f32 alphax alphax))))
#s(approx (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (-.f32 (/.f32 u0 (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 (/.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 u0 u0))))
#s(approx (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (-.f32 (/.f32 u0 (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) (/.f32 (*.f32 u0 u0) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))))))
#s(approx (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (/.f32 (-.f32 u0 (*.f32 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0)) u0) u0)) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))))
(/.f32 #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 #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 #s(literal 1/3 binary32) 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 #s(literal 1/2 binary32) u0)))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
(*.f32 (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (*.f32 (*.f32 alphay alphay) cos2phi) (*.f32 (*.f32 alphax alphax) sin2phi))) (*.f32 (*.f32 (*.f32 alphay alphay) alphax) alphax))
(*.f32 #s(approx (log (- 1 u0)) (neg.f32 u0)) (*.f32 (/.f32 #s(literal -1 binary32) (+.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) (/.f32 sin2phi alphay))) alphay))
(/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax))))
(/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (/.f32 #s(approx (+ (* (* (/ cos2phi (* alphax alphax)) alphay) alphay) sin2phi) sin2phi) (*.f32 alphay alphay)))