(-.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -1 binary32))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (- (- (* maxCos ux) ux) -1) #s(literal 1 binary32))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux #s(approx (- (* maxCos ux) -2) (*.f32 ux (+.f32 maxCos (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) ux)))))))) (sin.f32 (*.f32 (+.f32 uy uy) (PI.f32)))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32))))) (sin.f32 (*.f32 (+.f32 uy uy) (PI.f32)))))
(*.f32 (sqrt.f32 (*.f32 #s(approx (- 2 (- ux (* maxCos ux))) (-.f32 #s(literal 2 binary32) ux)) (-.f32 ux (*.f32 maxCos ux)))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))
(if.f32 (<=.f32 uy #s(literal 8589935/536870912 binary32)) #s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (+.f32 (*.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)))))) uy) (*.f32 (*.f32 uy (*.f32 (*.f32 uy uy) #s(literal -4/3 binary32))) (*.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32))))))))) (*.f32 (sqrt.f32 #s(approx (* (- 2 (- ux (* maxCos ux))) (- ux (* maxCos ux))) (*.f32 ux (-.f32 #s(literal 2 binary32) ux)))) (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy)))))
(if.f32 (<=.f32 uy #s(literal 5368709/134217728 binary32)) #s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (+.f32 (*.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)))))) uy) (*.f32 (*.f32 uy (*.f32 (*.f32 uy uy) #s(literal -4/3 binary32))) (*.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 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)))) #s(approx (* ux (- 2 (* 2 maxCos))) (*.f32 #s(literal 2 binary32) ux))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (+.f32 (*.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)))))) uy) (*.f32 (*.f32 uy (*.f32 (*.f32 uy uy) #s(literal -4/3 binary32))) (*.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)))))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 uy (+.f32 (*.f32 #s(literal -4/3 binary32) (*.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) (PI.f32)) (*.f32 (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32))))) (*.f32 uy uy)))) (*.f32 #s(literal 2 binary32) (*.f32 (PI.f32) (sqrt.f32 (*.f32 (-.f32 ux (+.f32 #s(literal 2 binary32) (*.f32 maxCos ux))) (-.f32 (*.f32 maxCos ux) ux))))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 uy (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)))))) (*.f32 #s(literal 4/3 binary32) (*.f32 (*.f32 (*.f32 (*.f32 uy uy) (PI.f32)) (*.f32 (PI.f32) (PI.f32))) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32))))))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 (PI.f32) (sqrt.f32 (*.f32 (-.f32 ux #s(approx (+ 2 (* maxCos ux)) (*.f32 maxCos (+.f32 ux (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) maxCos)))))) (-.f32 (*.f32 maxCos ux) ux)))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 (+.f32 (PI.f32) (PI.f32)) (*.f32 (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32))))) uy)))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 (*.f32 (+.f32 uy uy) (PI.f32)) (sqrt.f32 (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 ux (-.f32 (*.f32 maxCos ux) #s(literal -2 binary32)))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 (PI.f32) (sqrt.f32 (*.f32 (-.f32 ux #s(approx (+ 2 (* maxCos ux)) #s(literal 2 binary32))) (-.f32 (*.f32 maxCos ux) ux)))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 (PI.f32) (sqrt.f32 #s(approx (* (- ux (+ 2 (* maxCos ux))) (- (* maxCos ux) ux)) (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 ux #s(literal 2 binary32))))))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 (PI.f32) (sqrt.f32 #s(approx (* (- ux (+ 2 (* maxCos ux))) (- (* maxCos ux) ux)) (*.f32 #s(literal -2 binary32) (*.f32 ux (-.f32 maxCos #s(literal 1 binary32))))))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 (+.f32 uy uy) (*.f32 (sqrt.f32 #s(approx (* (- ux (+ 2 (* maxCos ux))) (- (* maxCos ux) ux)) (*.f32 #s(literal -2 binary32) (-.f32 (*.f32 maxCos ux) ux)))) (PI.f32))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 (*.f32 (+.f32 uy uy) (sqrt.f32 #s(approx (* (- ux (+ 2 (* maxCos ux))) (- (* maxCos ux) ux)) (*.f32 #s(literal -2 binary32) (-.f32 (*.f32 maxCos ux) ux))))) (PI.f32)))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 (*.f32 (PI.f32) (+.f32 uy uy)) (sqrt.f32 #s(approx (* (- ux (+ 2 (* maxCos ux))) (- (* maxCos ux) ux)) (*.f32 #s(literal -2 binary32) (-.f32 (*.f32 maxCos ux) ux))))))
#s(approx (* (sin (* (* uy 2) (PI))) (sqrt (* (- (- ux (* maxCos ux)) 2) (- (- (* maxCos ux) -1) (+ ux 1))))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 (PI.f32) (sqrt.f32 #s(approx (* (- ux (+ 2 (* maxCos ux))) (- (* maxCos ux) ux)) #s(approx (* -2 (* ux (- maxCos 1))) (*.f32 #s(literal -2 binary32) (*.f32 maxCos ux)))))))))
(*.f32 (sin.f32 (*.f32 (PI.f32) (-.f32 #s(literal 1/2 binary32) (+.f32 uy uy)))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (+.f32 (*.f32 ux #s(literal 2 binary32)) (*.f32 ux (-.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) (-.f32 maxCos #s(literal 1 binary32))) (+.f32 maxCos maxCos)))))))
(*.f32 (sin.f32 (*.f32 (PI.f32) (-.f32 #s(literal 1/2 binary32) (+.f32 uy uy)))) (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 (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) (-.f32 maxCos #s(literal 1 binary32))) (+.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 (PI.f32) (+.f32 uy uy))))
(*.f32 (cos.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) uy)) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (-.f32 (-.f32 (-.f32 #s(literal 2 binary32) (*.f32 (*.f32 ux (-.f32 maxCos #s(literal 1 binary32))) (-.f32 maxCos #s(literal 1 binary32)))) 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 (-.f32 #s(approx (- 2 (* (* ux (- maxCos 1)) (- maxCos 1))) (-.f32 (+.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (*.f32 maxCos ux))) ux)) maxCos) maxCos)))))
(*.f32 (sin.f32 (*.f32 (PI.f32) (-.f32 #s(literal 1/2 binary32) (+.f32 uy uy)))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 ux (-.f32 (+.f32 #s(literal 2 binary32) #s(approx (* -1 (* ux (pow (- maxCos 1) 2))) (*.f32 #s(literal -1 binary32) ux))) (*.f32 #s(literal 2 binary32) maxCos))))))
(*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 #s(approx (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (*.f32 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 (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 (-.f32 #s(approx (- 2 (* (* ux (- maxCos 1)) (- maxCos 1))) (-.f32 #s(literal 2 binary32) ux)) maxCos) maxCos)))))
(if.f32 (<=.f32 maxCos #s(literal 13743895/274877906944 binary32)) (*.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 (* (* ux (- maxCos 1)) (- maxCos 1))) maxCos) maxCos)) (*.f32 ux (-.f32 #s(literal 2 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(literal 2 binary32) (*.f32 #s(literal 2 binary32) maxCos)))))))
(if.f32 (<=.f32 maxCos #s(literal 13743895/274877906944 binary32)) (*.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 (* (* ux (- maxCos 1)) (- maxCos 1))) maxCos) maxCos)) (*.f32 ux (-.f32 #s(literal 2 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 (* (* ux (- maxCos 1)) (- maxCos 1))) maxCos) (-.f32 #s(literal 2 binary32) 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 (* (* ux (- maxCos 1)) (- maxCos 1))) maxCos) maxCos)) (*.f32 ux (-.f32 #s(literal 2 binary32) ux))))))
(if.f32 (<=.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) (+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))) #s(literal 3489661/268435456 binary32)) #s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 #s(approx (/ (- (* 1 1) (* (pow (- (+ 1 (* maxCos ux)) ux) 2) (pow (- (+ 1 (* maxCos ux)) ux) 2))) (+ 1 (pow (- (+ 1 (* maxCos ux)) ux) 2))) (*.f32 #s(literal 1/2 binary32) (*.f32 ux (-.f32 #s(literal 4 binary32) (*.f32 #s(literal 4 binary32) maxCos))))))) #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 #s(literal 1 binary32) (*.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)))) (*.f32 (-.f32 (*.f32 maxCos ux) ux) (-.f32 (*.f32 maxCos ux) ux))))))
(if.f32 (<=.f32 ux #s(literal 2748779/34359738368 binary32)) #s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 #s(approx (/ (- (* 1 1) (* (pow (- (+ 1 (* maxCos ux)) ux) 2) (pow (- (+ 1 (* maxCos ux)) ux) 2))) (+ 1 (pow (- (+ 1 (* maxCos ux)) ux) 2))) (*.f32 #s(literal 1/2 binary32) (*.f32 ux (-.f32 #s(literal 4 binary32) (*.f32 #s(literal 4 binary32) maxCos))))))) #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))))))))
(if.f32 (<=.f32 ux #s(literal 6184753/34359738368 binary32)) #s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 #s(approx (/ (- (* 1 1) (* (pow (- (+ 1 (* maxCos ux)) ux) 2) (pow (- (+ 1 (* maxCos ux)) ux) 2))) (+ 1 (pow (- (+ 1 (* maxCos ux)) ux) 2))) (*.f32 #s(literal 1/2 binary32) (*.f32 ux (-.f32 #s(literal 4 binary32) (*.f32 #s(literal 4 binary32) maxCos))))))) #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 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) (-.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))))
(if.f32 (<=.f32 ux #s(literal 6184753/34359738368 binary32)) #s(approx (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sqrt.f32 #s(approx (/ (- (* 1 1) (* (pow (- (+ 1 (* maxCos ux)) ux) 2) (pow (- (+ 1 (* maxCos ux)) ux) 2))) (+ 1 (pow (- (+ 1 (* maxCos ux)) ux) 2))) (*.f32 #s(literal 1/2 binary32) (*.f32 ux (-.f32 #s(literal 4 binary32) (*.f32 #s(literal 4 binary32) maxCos))))))) #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 #s(approx (/ (- (* 1 1) (* (pow (- (+ 1 (* maxCos ux)) ux) 2) (pow (- (+ 1 (* maxCos ux)) ux) 2))) (+ 1 (pow (- (+ 1 (* maxCos ux)) ux) 2))) (*.f32 #s(literal 1/2 binary32) (*.f32 ux (-.f32 #s(literal 4 binary32) (*.f32 #s(literal 4 binary32) maxCos)))))))
#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 (+.f32 (*.f32 (*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (*.f32 #s(approx (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)) (*.f32 (*.f32 (*.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 (*.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))))))) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux (*.f32 zi (-.f32 #s(literal 1 binary32) ux)))) (+.f32 (*.f32 xi (cos.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) (*.f32 yi (sin.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (+.f32 (*.f32 (*.f32 zi ux) maxCos) (*.f32 yi (sin.f32 (*.f32 (PI.f32) (+.f32 uy uy))))) (*.f32 (cos.f32 (*.f32 (PI.f32) (+.f32 uy uy))) xi)))
(-.f32 (+.f32 #s(approx (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi) #s(approx (* (* (+ uy uy) yi) (* (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux))))) (PI))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32)))))) (*.f32 (*.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) ux) ux) (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux))))) xi) (cos.f32 (*.f32 (PI.f32) (+.f32 uy uy))))) (*.f32 (*.f32 (-.f32 ux #s(literal 1 binary32)) (*.f32 maxCos ux)) zi))
(-.f32 (+.f32 #s(approx (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi) (*.f32 (*.f32 (+.f32 uy uy) yi) #s(approx (* (sqrt (- 1 (* (* (* (* maxCos (- 1 ux)) ux) ux) (* maxCos (- 1 ux))))) (PI)) (PI.f32)))) (*.f32 (*.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux)) ux) ux) (*.f32 maxCos (-.f32 #s(literal 1 binary32) ux))))) xi) (cos.f32 (*.f32 (PI.f32) (+.f32 uy uy))))) (*.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)) (+.f32 (+.f32 (*.f32 (*.f32 zi ux) maxCos) #s(approx (* yi (sin (* (PI) (+ uy uy)))) (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32)))))) (*.f32 (cos.f32 (*.f32 (PI.f32) (+.f32 uy uy))) xi)))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+.f32 (*.f32 maxCos (*.f32 ux zi)) #s(approx (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI)))))) (+.f32 xi (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32))))))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (+.f32 xi (+.f32 (*.f32 #s(literal 2 binary32) (*.f32 uy (*.f32 yi (PI.f32)))) (*.f32 maxCos (*.f32 ux zi))))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 (*.f32 (*.f32 (neg.f32 maxCos) zi) ux) xi)) xi)))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (+.f32 xi (*.f32 (*.f32 maxCos zi) ux))))
#s(approx (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) #s(approx (+ (* maxCos (* ux zi)) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (+.f32 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 maxCos (*.f32 ux zi)))))
(pow.f32 (-.f32 #s(approx (/ (* (/ 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 u0 (*.f32 (+.f32 (/.f32 (pow.f32 (cos.f32 (atan.f32 (/.f32 (*.f32 alphay (sin.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 #s(literal 2 binary32) (*.f32 u1 (PI.f32)))))) (*.f32 alphax (cos.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 #s(literal 2 binary32) (*.f32 u1 (PI.f32))))))))) #s(literal 2 binary32)) (pow.f32 alphax #s(literal 2 binary32))) (/.f32 (pow.f32 (sin.f32 (atan.f32 (/.f32 (*.f32 alphay (sin.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 #s(literal 2 binary32) (*.f32 u1 (PI.f32)))))) (*.f32 alphax (cos.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) (PI.f32)) (*.f32 #s(literal 2 binary32) (*.f32 u1 (PI.f32))))))))) #s(literal 2 binary32)) (pow.f32 alphay #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) u0)))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 (/.f32 u0 (*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 #s(approx (- (* u1 (+ (PI) (PI))) (* -1/2 (PI))) (*.f32 u1 (+.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 (PI.f32) u1)) #s(literal 13176795/2097152 binary32))))) (/.f32 alphay alphax))) #s(literal 2 binary32)))) (*.f32 #s(literal 2 binary32) (*.f32 alphay alphay))) (/.f32 (-.f32 (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 #s(approx (- (* u1 (+ (PI) (PI))) (* -1/2 (PI))) (*.f32 u1 (+.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 (PI.f32) u1)) #s(literal 13176795/2097152 binary32))))) (/.f32 alphay alphax))) #s(literal 2 binary32))) #s(literal -1 binary32)) (*.f32 #s(literal 2 binary32) (*.f32 alphax alphax)))) (-.f32 #s(literal 1 binary32) u0))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 (/.f32 u0 (*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (-.f32 (*.f32 u1 (+.f32 (PI.f32) (PI.f32))) #s(literal -13176795/8388608 binary32))) (/.f32 alphay alphax))) #s(literal 2 binary32)))) (*.f32 #s(literal 2 binary32) (*.f32 alphay alphay))) (/.f32 (-.f32 (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (-.f32 (*.f32 u1 (+.f32 (PI.f32) (PI.f32))) #s(literal -13176795/8388608 binary32))) (/.f32 alphay alphax))) #s(literal 2 binary32))) #s(literal -1 binary32)) (*.f32 #s(literal 2 binary32) (*.f32 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))) #s(literal -13176795/8388608 binary32))) (/.f32 alphay alphax))) #s(literal 2 binary32)))) (*.f32 #s(literal 2 binary32) (*.f32 alphay alphay))) (/.f32 (-.f32 (cos.f32 (*.f32 (atan.f32 (*.f32 (tan.f32 (-.f32 (*.f32 u1 (+.f32 (PI.f32) (PI.f32))) #s(literal -13176795/8388608 binary32))) (/.f32 alphay alphax))) #s(literal 2 binary32))) #s(literal -1 binary32)) (*.f32 #s(literal 2 binary32) (*.f32 alphax alphax)))) (-.f32 #s(literal 1 binary32) u0))) #s(literal -1 binary32))))
(pow.f32 (-.f32 #s(approx (/ (* (/ 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 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) u1) (*.f32 (PI.f32) #s(literal 1/2 binary32)))) (*.f32 (PI.f32) #s(literal 1/2 binary32)))))) #s(literal -2 binary32))))) (-.f32 #s(literal 1 binary32) u0)))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 #s(approx (/ (* (/ 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 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (sin.f32 (+.f32 (*.f32 #s(literal -2 binary32) (atan.f32 (*.f32 (tan.f32 (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) u1) (*.f32 (PI.f32) #s(literal -1/2 binary32)))) (/.f32 alphay alphax)))) (/.f32 (PI.f32) #s(literal 2 binary32)))))) (-.f32 #s(literal 1 binary32) u0)))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(pow.f32 (-.f32 #s(approx (/ (* (/ 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 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) u1) (*.f32 #s(literal -1/2 binary32) (PI.f32)))))) #s(literal -2 binary32))))) (-.f32 #s(literal 1 binary32) u0)))) #s(literal -1 binary32)) #s(literal -1/2 binary32))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 #s(approx (/ (* (/ 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 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) u1) (*.f32 #s(literal -1/2 binary32) (PI.f32)))))) #s(literal -2 binary32))))) (-.f32 #s(literal 1 binary32) u0)))) #s(literal -1 binary32))))
(/.f32 #s(literal 1 binary32) #s(approx (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (-.f32 (*.f32 (/.f32 (*.f32 (*.f32 alphay alphay) u0) (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) u1) #s(literal -13176795/8388608 binary32))))) #s(literal -2 binary32))))) (-.f32 #s(literal 1 binary32) u0))) #s(literal 1/2 binary32)) #s(literal -1 binary32))))
(/.f32 #s(literal 1 binary32) #s(approx (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/2 binary32) (/.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 #s(approx (/ (* alphay (sin (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* alphax (cos (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))) (*.f32 (tan.f32 (*.f32 (PI.f32) #s(literal 1/2 binary32))) (/.f32 alphay alphax)))))))) (-.f32 #s(literal 1 binary32) u0)))))))
#s(approx (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/2 binary32) (*.f32 (*.f32 alphax alphax) (/.f32 u0 (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal -1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (-.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) u1) #s(literal -13176795/8388608 binary32))))) #s(literal -2 binary32))))) #s(approx (- 1 u0) #s(literal 1 binary32))))))))
#s(approx (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1/2 binary32) (*.f32 (*.f32 alphax alphax) (/.f32 u0 (*.f32 (-.f32 #s(literal 1/2 binary32) (*.f32 #s(literal -1/2 binary32) (cos.f32 (*.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (- (* (+ (PI) (PI)) u1) -13176795/8388608) #s(literal 13176795/8388608 binary32))))) #s(literal -2 binary32))))) (-.f32 #s(literal 1 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 5368709/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 #s(literal 1 binary32) (/.f32 (-.f32 #s(literal 1 binary32) u1) #s(approx (* (/ u1 (sqrt (/ u1 (- 1 u1)))) (sin (* u2 314159265359/50000000000))) (*.f32 #s(literal 314159265359/50000000000 binary32) (/.f32 (*.f32 u1 u2) (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1)))))))))
(if.f32 (<=.f32 u2 #s(literal 11166915/4294967296 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 (*.f32 u2 #s(literal 314159265359/50000000000 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) (/.f32 (-.f32 #s(literal 1 binary32) u1) u1))))) (*.f32 #s(approx (sqrt (/ u1 (- 1 u1))) (sqrt.f32 u1)) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 (*.f32 u2 #s(literal 314159265359/50000000000 binary32)) (sqrt.f32 (/.f32 #s(literal 1 binary32) (/.f32 (-.f32 #s(literal 1 binary32) u1) u1)))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 (*.f32 u2 #s(literal 314159265359/50000000000 binary32)) (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1)))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 #s(literal 314159265359/50000000000 binary32) (*.f32 u2 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 (*.f32 u2 #s(literal 314159265359/50000000000 binary32)) (sqrt.f32 #s(approx (/ u1 (- 1 u1)) (*.f32 u1 (+.f32 #s(literal 1 binary32) u1))))))
#s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (*.f32 #s(literal 314159265359/50000000000 binary32) #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 #s(literal -1/2 binary32) (PI.f32)) (*.f32 #s(literal -314159265359/50000000000 binary32) u2))) (*.f32 #s(literal -314159265359/50000000000 binary32) u2))))
(*.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) (/.f32 (-.f32 #s(literal 1 binary32) u1) u1))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
(*.f32 (sqrt.f32 (/.f32 #s(literal 1 binary32) (-.f32 (/.f32 #s(literal 1 binary32) u1) #s(literal 1 binary32)))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
(*.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 (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))) #s(literal 1090519/16777216 binary32)) (*.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))) #s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (*.f32 (/.f32 (-.f32 #s(literal 1 binary32) u1) u1) (/.f32 (*.f32 u1 u1) u1))))))
(if.f32 (<=.f32 u2 #s(literal 8589935/8589934592 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (/.f32 (+.f32 (*.f32 u1 (neg.f32 u1)) u1) u1)))) #s(approx (* (sqrt (/ u1 (- 1 u1))) (sin (- (* -314159265359/50000000000 u2) (* (PI) -1/2)))) (*.f32 (sin.f32 (-.f32 (*.f32 #s(literal -314159265359/50000000000 binary32) u2) (*.f32 #s(literal -1/2 binary32) (PI.f32)))) (sqrt.f32 u1))))
(if.f32 (<=.f32 u2 #s(literal 8589935/8589934592 binary32)) #s(approx (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt.f32 (/.f32 u1 (/.f32 (+.f32 (*.f32 u1 (neg.f32 u1)) u1) 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 (+.f32 (*.f32 u1 (neg.f32 u1)) u1) 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 (/.f32 u1 #s(approx (- 1 u1) #s(literal 1 binary32)))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 (-.f32 (/.f32 #s(literal 1 binary32) (-.f32 (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)) #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 (exp.f32 (/.f32 (PI.f32) s)) #s(literal -1 binary32)))) u) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (*.f32 (/.f32 #s(literal 1 binary32) s) (PI.f32))))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (pow.f32 (E.f32) (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (pow.f32 (E.f32) (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.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 (-.f32 #s(approx (/ 1 (+ (* (- (/ 1 (- (exp (/ -13176795/4194304 s)) -1)) (/ 1 (- (exp (/ (PI) s)) -1))) u) (/ 1 (+ 1 (exp (* (/ 1 s) (PI))))))) (/.f32 #s(literal 1 binary32) (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.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 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (PI) s))) (+.f32 #s(literal 2 binary32) (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (PI) s))) (+.f32 #s(literal 2 binary32) (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 #s(approx (- (/ 1 (+ (* (- (/ 1 (- (exp (/ -13176795/4194304 s)) -1)) (/ 1 (- (exp (/ (PI) s)) -1))) u) (/ 1 (+ 1 (exp (* (/ 1 s) (PI))))))) 1) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) (/.f32 (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) #s(literal 13176795/16777216 binary32))) (*.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 (*.f32 #s(approx (- (/ 1 (- (exp (/ (neg (PI)) s)) -1)) (/ 1 (- (exp (/ (PI) s)) -1))) (/.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))) s)) u) (neg.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(approx (* (- (/ 1 (- (exp (/ (neg (PI)) s)) -1)) (/ 1 (- (exp (/ (PI) s)) -1))) u) (/.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) s)) (neg.f32 s))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* (- (/ 1 (- (exp (/ -13176795/4194304 s)) -1)) (/ 1 (- (exp (/ (PI) s)) -1))) u) (/ 1 (+ 1 (exp (* (/ 1 s) (PI))))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (+.f32 #s(literal 13176795/16777216 binary32) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 2722259/2722258935367507707706996859454145691648 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) (/.f32 #s(literal 1 binary32) (/.f32 s #s(approx (+ (* 1/2 s) (* 1/4 x)) (*.f32 #s(literal 1/2 binary32) s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (-.f32 (/.f32 (+.f32 s s) s) (*.f32 s (/.f32 x (*.f32 s s)))))))
(if.f32 (<=.f32 (neg.f32 x) #s(literal 15845633/316912650057057350374175801344 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) (/.f32 #s(literal 1 binary32) (/.f32 s #s(approx (+ (* 1/2 s) (* 1/4 x)) (*.f32 #s(literal 1/2 binary32) 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 5000 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) (/.f32 #s(literal 1 binary32) (/.f32 s #s(approx (+ (* 1/2 s) (* 1/4 x)) (*.f32 #s(literal 1/2 binary32) s))))) (/.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 (neg.f32 x) s) #s(literal -1 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) (/.f32 #s(literal 1 binary32) (/.f32 s #s(approx (+ (* 1/2 s) (* 1/4 x)) (*.f32 #s(literal 1/2 binary32) s))))) (/.f32 (E.f32) (*.f32 (E.f32) #s(approx (+ 1 (exp (/ (neg x) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s))))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 11744051/8388608 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) (/.f32 #s(literal 1 binary32) (/.f32 s #s(approx (+ (* 1/2 s) (* 1/4 x)) (*.f32 #s(literal 1/2 binary32) s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (/.f32 (-.f32 (+.f32 s s) x) s))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 11744051/8388608 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) (/.f32 #s(literal 1 binary32) (/.f32 s #s(approx (+ (* 1/2 s) (* 1/4 x)) (*.f32 #s(literal 1/2 binary32) s))))) (/.f32 #s(literal 1 binary32) #s(approx (+ 1 (exp (/ (neg x) s))) (-.f32 #s(literal 2 binary32) (/.f32 x s)))))
(if.f32 (<=.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))) #s(literal 11744051/8388608 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 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (-.f32 (*.f32 (-.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) #s(literal -2 binary32)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) #s(literal -1 binary32))) s)
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 (*.f32 (*.f32 (+.f32 (-.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) #s(literal -1 binary32)) #s(literal 1 binary32)) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) s) s))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (+.f32 (*.f32 (-.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) #s(literal -2 binary32)) (*.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)) s))
(/.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 #s(literal -1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) #s(literal -2 binary32)) (*.f32 (exp.f32 (/.f32 (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 1547425/38685626227668133590597632 binary32)) #s(approx (/ (exp (/ (neg (fabs x)) s)) (+ (* (* (+ (- (exp (/ (neg (fabs x)) s)) -1) 1) (exp (/ (neg (fabs x)) s))) s) s)) (/.f32 #s(approx (- (+ 1/4 (* -1/4 (/ (fabs x) s))) (* 1/16 (/ (+ (* -3 (fabs x)) (* -1 (fabs x))) s))) (/.f32 (-.f32 (*.f32 #s(literal -1/4 binary32) (fabs.f32 x)) (*.f32 #s(literal 1/16 binary32) (+.f32 (*.f32 #s(literal -3 binary32) (fabs.f32 x)) (*.f32 #s(literal -1 binary32) (fabs.f32 x))))) s)) s)) #s(approx (/ (exp (/ (neg (fabs x)) s)) (+ (* (* (+ (- (exp (/ (neg (fabs x)) s)) -1) 1) (exp (/ (neg (fabs x)) s))) s) s)) (/.f32 (-.f32 (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal -1/4 binary32) (/.f32 (fabs.f32 x) s))) (*.f32 (*.f32 (fabs.f32 x) (/.f32 #s(literal -4 binary32) s)) #s(literal 1/16 binary32))) s)))
(if.f32 (<=.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))) #s(literal 1547425/38685626227668133590597632 binary32)) #s(approx (/ (exp (/ (neg (fabs x)) s)) (+ (* (* (+ (- (exp (/ (neg (fabs x)) s)) -1) 1) (exp (/ (neg (fabs x)) s))) s) s)) (/.f32 #s(approx (- (+ 1/4 (* -1/4 (/ (fabs x) s))) (* 1/16 (/ (+ (* -3 (fabs x)) (* -1 (fabs x))) s))) (/.f32 (-.f32 (*.f32 #s(literal -1/4 binary32) (fabs.f32 x)) (*.f32 #s(literal 1/16 binary32) (+.f32 (*.f32 #s(literal -3 binary32) (fabs.f32 x)) (*.f32 #s(literal -1 binary32) (fabs.f32 x))))) s)) s)) #s(approx (/ (exp (/ (neg (fabs x)) s)) (+ (* (* (+ (- (exp (/ (neg (fabs x)) s)) -1) 1) (exp (/ (neg (fabs x)) s))) s) s)) (/.f32 (-.f32 #s(literal 1/4 binary32) (/.f32 (+.f32 (*.f32 #s(literal 1/4 binary32) (fabs.f32 x)) (*.f32 (*.f32 #s(literal 1/16 binary32) (fabs.f32 x)) #s(literal -4 binary32))) 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))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 (sqrt.f32 x) (sqrt.f32 x))) s)) #s(approx (+ (+ (* (* (- (exp (/ (fabs x) (neg s))) -1) (exp (/ (fabs x) (neg s)))) s) (* (exp (/ (fabs x) (neg s))) s)) s) (*.f32 #s(literal 4 binary32) s)))
(/.f32 (exp.f32 (/.f32 #s(literal 1 binary32) (/.f32 (neg.f32 s) (fabs.f32 x)))) #s(approx (+ (+ (* (* (- (exp (/ (fabs x) (neg s))) -1) (exp (/ (fabs x) (neg s)))) s) (* (exp (/ (fabs x) (neg s))) s)) s) (*.f32 #s(literal 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)))
#s(approx (/ (exp (/ (neg (fabs x)) s)) (+ (* (* (+ (- (exp (/ (neg (fabs x)) s)) -1) 1) (exp (/ (neg (fabs x)) s))) s) s)) (/.f32 (/.f32 (-.f32 (+.f32 (*.f32 #s(literal 1/4 binary32) s) (*.f32 (fabs.f32 x) #s(literal -1/4 binary32))) (*.f32 (*.f32 #s(literal 1/16 binary32) (fabs.f32 x)) #s(literal -4 binary32))) s) s))
(/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (*.f32 s (+.f32 #s(literal 4 binary32) (*.f32 #s(literal -4 binary32) (/.f32 (sqrt.f32 (*.f32 x x)) s))))))
(/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (*.f32 (-.f32 (*.f32 (fabs.f32 x) (/.f32 #s(literal -4 binary32) s)) #s(literal -4 binary32)) s)))
(/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (*.f32 s (+.f32 #s(literal 4 binary32) (*.f32 #s(literal -4 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 0 binary32)) (/.f32 #s(approx (exp (/ (neg (fabs x)) s)) #s(literal 1 binary32)) #s(approx (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) #s(approx (* s (+ 4 (* -4 (/ (fabs x) s)))) (*.f32 #s(literal -4 binary32) (fabs.f32 x))))) #s(approx (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (/.f32 #s(literal 1/4 binary32) s)))
#s(approx (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (/.f32 #s(literal 1/4 binary32) s))
(*.f32 (/.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 x (*.f32 (PI.f32) tau))) (*.f32 x (PI.f32))) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (*.f32 (PI.f32) tau))))
(*.f32 (/.f32 (sin.f32 (*.f32 (PI.f32) x)) (*.f32 (*.f32 (*.f32 (PI.f32) x) (*.f32 (PI.f32) x)) tau)) (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))))
(*.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 (*.f32 (*.f32 (*.f32 x (PI.f32)) x) (PI.f32)) tau)) (sin.f32 (*.f32 x (PI.f32))))
(*.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 (*.f32 (*.f32 (*.f32 x (PI.f32)) x) (PI.f32)) tau)) (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))))
(*.f32 (/.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))) (*.f32 (*.f32 (*.f32 tau x) (PI.f32)) (*.f32 (PI.f32) x))) (sin.f32 (*.f32 (PI.f32) x)))
(*.f32 (/.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))) (*.f32 x (*.f32 (*.f32 (*.f32 (PI.f32) (PI.f32)) x) tau))) (sin.f32 (*.f32 (PI.f32) x)))
(*.f32 (/.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))) (*.f32 x (*.f32 (PI.f32) (*.f32 (*.f32 tau x) (PI.f32))))) (sin.f32 (*.f32 (PI.f32) x)))
(*.f32 (sin.f32 (*.f32 (PI.f32) x)) (*.f32 (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))) (/.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 x x) #s(literal 5174515/524288 binary32)) tau))))
(*.f32 (sin.f32 (*.f32 (PI.f32) x)) #s(approx (* (sin (* tau (* (PI) x))) (/ 1 (* (* (* (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))))))
(*.f32 #s(approx (/ (sin (* (PI) x)) (* (* (* (PI) x) x) (* tau (PI)))) (/.f32 #s(literal 1 binary32) (*.f32 tau (*.f32 x (PI.f32))))) (sin.f32 (*.f32 tau (*.f32 (PI.f32) x))))
#s(approx (/ (* (/ (sin (* x (* (PI) tau))) (* x (* (PI) tau))) (sin (* x (PI)))) (* (PI) x)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))
(/.f32 (/.f32 #s(approx (/ (* (sin (* (PI) x)) (sin (* tau (* (PI) x)))) (* x (* (PI) x))) (*.f32 tau (PI.f32))) tau) (PI.f32))
#s(approx (* (/ (sin (* x (* (PI) tau))) (* x (PI))) (/ (sin (* x (PI))) (* x (* (PI) tau)))) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (/.f32 #s(approx (* (+ (* (neg u) 2) 2) 1/2) (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) u) #s(literal 1 binary32)))) (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) (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) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
(+.f32 #s(literal 1 binary32) (*.f32 v (-.f32 (log.f32 (-.f32 (*.f32 #s(literal 2 binary32) u) (/.f32 (-.f32 #s(literal -2 binary32) (*.f32 u #s(literal -2 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))))))) #s(literal 1453635/2097152 binary32))))
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (/.f32 (*.f32 (+.f32 (*.f32 (neg.f32 u) #s(literal 2 binary32)) #s(literal 2 binary32)) #s(literal 1 binary32)) #s(approx (* 2 (exp (/ 2 v))) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 4 binary32) (*.f32 #s(literal 8/3 binary32) (/.f32 #s(literal 1 binary32) v))) v)) #s(literal 4 binary32)) v)))))))))
(if.f32 (<=.f32 v #s(literal 16575889/33554432 binary32)) #s(approx (+ 1 (* v (log (+ u (/ (* (+ (* (neg u) 2) 2) 1) (* 2 (exp (/ 2 v)))))))) #s(literal 1 binary32)) #s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 u (*.f32 v (-.f32 (/.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1 binary32)))) #s(literal 1 binary32))))
(if.f32 (<=.f32 v #s(literal 16575889/33554432 binary32)) #s(approx (+ 1 (* v (log (+ u (/ (* (+ (* (neg u) 2) 2) 1) (* 2 (exp (/ 2 v)))))))) #s(literal 1 binary32)) #s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (-.f32 (*.f32 (-.f32 (exp.f32 (/.f32 #s(literal 2 binary32) v)) #s(literal 1 binary32)) (*.f32 u v)) #s(literal 1 binary32))))
(-.f32 (*.f32 (log.f32 (-.f32 u (/.f32 (+.f32 (+.f32 u u) #s(literal -2 binary32)) #s(approx (* 2 (exp (/ 2 v))) (-.f32 (/.f32 #s(literal 4 binary32) v) #s(literal -2 binary32)))))) v) #s(literal -1 binary32))
#s(approx (+ 1 (* v (log (+ u (/ (* (+ (* (neg u) 2) 2) 1) (* 2 (exp (/ 2 v)))))))) #s(literal 1 binary32))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(asin.f32 #s(approx (/ h (sqrt (- (* eta eta) (/ (* sinTheta_O sinTheta_O) (sqrt (- 1 (* sinTheta_O sinTheta_O))))))) (/.f32 h eta)))
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 v v)) (*.f32 (*.f32 (/.f32 #s(literal 1 binary32) v) cosTheta_O) cosTheta_i)) (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 v v)) (*.f32 (/.f32 cosTheta_O v) cosTheta_i)) (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(approx (exp (/ (* sinTheta_i sinTheta_O) v)) (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 sinTheta_O sinTheta_i) v)))))
(*.f32 (*.f32 (/.f32 cosTheta_O (*.f32 (*.f32 (+.f32 v v) v) (sinh.f32 (/.f32 #s(literal 1 binary32) v)))) #s(approx (exp (* (/ (neg sinTheta_O) v) sinTheta_i)) (-.f32 #s(literal 1 binary32) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)))) cosTheta_i)
(*.f32 (*.f32 #s(approx (exp (* (/ (neg sinTheta_O) v) sinTheta_i)) (-.f32 #s(literal 1 binary32) (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) cosTheta_i) (/.f32 cosTheta_O (*.f32 v (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v))))))
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 v v)) (*.f32 (/.f32 cosTheta_O v) cosTheta_i)) (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(approx (exp (/ (* sinTheta_i sinTheta_O) v)) #s(literal 1 binary32))))
(*.f32 (*.f32 #s(approx (/ (exp (* sinTheta_i (/ (neg sinTheta_O) v))) v) (/.f32 #s(literal 1 binary32) v)) (*.f32 cosTheta_O cosTheta_i)) (/.f32 #s(literal -1 binary32) (*.f32 (sinh.f32 (/.f32 #s(literal -1 binary32) v)) (+.f32 v v))))
(*.f32 (*.f32 #s(approx (exp (* (/ (neg sinTheta_O) v) sinTheta_i)) #s(literal 1 binary32)) cosTheta_i) (/.f32 cosTheta_O (*.f32 v (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v))))))
(*.f32 (*.f32 cosTheta_O cosTheta_i) (/.f32 #s(approx (exp (* (/ (neg sinTheta_O) v) sinTheta_i)) #s(literal 1 binary32)) (*.f32 v (*.f32 (+.f32 v v) (sinh.f32 (/.f32 #s(literal 1 binary32) v))))))
(/.f32 #s(literal 1 binary32) #s(approx (/ (* (* (+ v v) v) (sinh (/ 1 v))) (* (* cosTheta_O cosTheta_i) (exp (* sinTheta_i (/ (neg sinTheta_O) v))))) #s(approx (* v (+ (* 2 (/ (* sinTheta_O sinTheta_i) (* cosTheta_O (* cosTheta_i v)))) (* 2 (/ 1 (* cosTheta_O cosTheta_i))))) (/.f32 (*.f32 v (+.f32 (*.f32 #s(literal 2 binary32) (/.f32 (*.f32 sinTheta_O sinTheta_i) (*.f32 cosTheta_i v))) (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) cosTheta_i)))) cosTheta_O))))
(/.f32 #s(literal 1 binary32) #s(approx (/ (* (* (+ v v) v) (sinh (/ 1 v))) (* (* cosTheta_O cosTheta_i) (exp (* sinTheta_i (/ (neg sinTheta_O) v))))) #s(approx (* v (+ (* 2 (/ (* sinTheta_O sinTheta_i) (* cosTheta_O (* cosTheta_i v)))) (* 2 (/ 1 (* cosTheta_O cosTheta_i))))) (/.f32 (*.f32 v (+.f32 (*.f32 #s(literal 2 binary32) (/.f32 (*.f32 sinTheta_O sinTheta_i) (*.f32 cosTheta_O v))) (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) cosTheta_O)))) cosTheta_i))))
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (*.f32 (/.f32 cosTheta_i v) cosTheta_O))))
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/.f32 #s(literal 1 binary32) (/.f32 v (*.f32 (*.f32 cosTheta_O cosTheta_i) #s(literal 1/2 binary32)))))
#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_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_O cosTheta_i) v)))
#s(approx (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (*.f32 cosTheta_i (/.f32 cosTheta_O (+.f32 v v))))
(/.f32 (*.f32 (*.f32 (pow.f32 (exp.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(approx (+ (* sinTheta_O sinTheta_i) 1) #s(literal 1 binary32))) v)) #s(literal 1/4 binary32)) (pow.f32 (exp.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(approx (+ (* sinTheta_O sinTheta_i) 1) #s(literal 1 binary32))) v)) #s(literal 1/4 binary32))) (*.f32 (pow.f32 (exp.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(approx (+ (* sinTheta_O sinTheta_i) 1) #s(literal 1 binary32))) v)) #s(literal 1/4 binary32)) (pow.f32 (exp.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(approx (+ (* sinTheta_O sinTheta_i) 1) #s(literal 1 binary32))) v)) #s(literal 1/4 binary32)))) (exp.f32 (+.f32 #s(literal -6931/10000 binary32) (log.f32 (+.f32 v v)))))
(/.f32 (exp.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(approx (+ (* sinTheta_O sinTheta_i) 1) #s(literal 1 binary32))) v)) (exp.f32 (+.f32 #s(literal -6931/10000 binary32) (log.f32 (+.f32 v v)))))
(*.f32 (/.f32 #s(literal 1/2 binary32) v) (exp.f32 (-.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(approx (+ (* sinTheta_O sinTheta_i) 1) #s(literal 1 binary32))) v) #s(literal -6931/10000 binary32))))
#s(approx (* (/ 2097053/1048576 (+ v v)) (exp (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v))) (*.f32 (exp.f32 (/.f32 (-.f32 (*.f32 cosTheta_O cosTheta_i) #s(literal 1 binary32)) v)) (/.f32 #s(literal 2097053/2097152 binary32) 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 -535/356811923176489970264571492362373784095686656 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 357/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 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))))))
(/.f32 #s(literal 1 binary32) (*.f32 (+.f32 v v) (exp.f32 (neg.f32 #s(approx (- (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v) -6931/10000) #s(literal 6931/10000 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 (*.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)) (PI.f32))) (log.f32 (*.f32 alpha alpha)))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (+.f32 (*.f32 (*.f32 (*.f32 cosTheta cosTheta) (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32))) (PI.f32)) (*.f32 #s(literal 1 binary32) (PI.f32))) (log.f32 (*.f32 alpha alpha))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (-.f32 (*.f32 (*.f32 cosTheta (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32))) cosTheta) #s(literal -1 binary32)) (PI.f32)) (log.f32 (*.f32 alpha alpha))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 alpha alpha)) cosTheta) cosTheta)) (*.f32 (+.f32 (PI.f32) (PI.f32)) (log.f32 alpha))))
(/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (*.f32 alpha alpha)) (*.f32 (-.f32 #s(literal -1 binary32) (*.f32 #s(approx (* (- (* alpha alpha) 1) cosTheta) (neg.f32 cosTheta)) cosTheta)) (*.f32 #s(literal 2 binary32) (log.f32 alpha)))) (PI.f32))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (-.f32 (*.f32 #s(approx (* (- (* alpha alpha) 1) cosTheta) (neg.f32 cosTheta)) cosTheta) #s(literal -1 binary32))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (+.f32 (PI.f32) (PI.f32)) (log.f32 alpha)) (-.f32 (*.f32 #s(approx (* (- (* alpha alpha) 1) cosTheta) (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 (*.f32 alpha alpha) #s(literal 1 binary32)) #s(approx (* (- (* (* cosTheta (- (* alpha alpha) 1)) cosTheta) -1) (* 2 (log alpha))) (*.f32 #s(literal 2 binary32) (log.f32 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 #s(approx (- (* alpha alpha) 1) #s(literal -1 binary32)) #s(approx (* (* (* (log alpha) 2) (PI)) (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta))) (*.f32 #s(literal 2 binary32) (*.f32 (PI.f32) (log.f32 alpha)))))
(*.f32 (log.f32 (/.f32 #s(literal -1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) (-.f32 #s(literal 1 binary32) u)) (-.f32 #s(literal 1 binary32) u)) #s(literal -64/27 binary32)))) s)
(*.f32 (*.f32 #s(literal 3 binary32) s) (-.f32 #s(literal 13605151/33554432 binary32) (log.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 2 binary32)))))
(*.f32 (*.f32 #s(literal 3 binary32) s) (-.f32 #s(literal -9653009/33554432 binary32) (log.f32 (-.f32 #s(literal 1 binary32) u))))
(*.f32 (*.f32 #s(literal 3 binary32) s) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (+.f32 u (log.f32 #s(literal 3/4 binary32)))))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 #s(literal 3 binary32) (*.f32 s #s(approx (log (/ 1 (- 1 (* 4/3 (- u 1/4))))) (+.f32 u (log.f32 #s(literal 3/4 binary32)))))))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 (log.f32 #s(literal 27/64 binary32)) s))
#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (*.f32 #s(literal 3 binary32) (*.f32 s #s(literal -9653009/33554432 binary32))))
#s(approx (* (* 3 s) (- (log 3/4) (log (- 1 u)))) (*.f32 #s(literal -28959027/33554432 binary32) s))
(if.f32 (<=.f32 u #s(literal 5261335/536870912 binary32)) (*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) #s(literal -8 binary32)) u) u) (*.f32 #s(literal -4 binary32) u)))) (*.f32 s (/.f32 (-.f32 (*.f32 (log.f32 #s(literal 2 binary32)) (log.f32 #s(literal 2 binary32))) (*.f32 (log.f32 (-.f32 (*.f32 #s(literal -8 binary32) u) #s(literal -2 binary32))) (log.f32 (-.f32 (*.f32 #s(literal -8 binary32) u) #s(literal -2 binary32))))) (+.f32 (log.f32 #s(literal 2 binary32)) (log.f32 (-.f32 (*.f32 #s(literal -8 binary32) u) #s(literal -2 binary32)))))))
(if.f32 (<=.f32 u #s(literal 5261335/536870912 binary32)) (*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) #s(literal -8 binary32)) u) u) (*.f32 #s(literal -4 binary32) u)))) (*.f32 s (-.f32 #s(literal 1453635/2097152 binary32) (log.f32 (-.f32 (*.f32 u #s(literal -8 binary32)) #s(literal -2 binary32))))))
(if.f32 (<=.f32 (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)) #s(literal 8069841/8388608 binary32)) (*.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (*.f32 u #s(literal 4 binary32))))) s) (*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (/.f32 (*.f32 (*.f32 u u) (-.f32 #s(literal 64 binary32) (*.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) u) (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32))))) (+.f32 (*.f32 #s(literal 8 binary32) u) (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) (*.f32 u u)))) u) (*.f32 #s(literal -4 binary32) u)))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (/.f32 (-.f32 (*.f32 (*.f32 #s(literal 8 binary32) u) (*.f32 #s(literal 8 binary32) u)) (*.f32 (*.f32 (*.f32 (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) u) u) (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) u)) u)) (+.f32 (*.f32 #s(literal 8 binary32) u) (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) (*.f32 u u)))) u) (*.f32 #s(literal -4 binary32) u))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (/.f32 (-.f32 (*.f32 (*.f32 u u) #s(literal 64 binary32)) (*.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) u) (*.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) u))) (+.f32 (*.f32 #s(literal 8 binary32) u) (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) (*.f32 u u)))) u) (*.f32 #s(literal -4 binary32) u))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (/.f32 (-.f32 (*.f32 (*.f32 #s(literal 8 binary32) u) (*.f32 #s(literal 8 binary32) u)) (*.f32 (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) (*.f32 u u)) (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) (*.f32 u u)))) (*.f32 u (+.f32 (*.f32 (-.f32 #s(literal -64/3 binary32) (*.f32 #s(literal 64 binary32) u)) u) #s(literal 8 binary32)))) u) (*.f32 #s(literal -4 binary32) u))))
(*.f32 s #s(approx (log (/ 1 (- 1 (* 4 u)))) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 64 binary32) u) #s(literal -64/3 binary32)) u) #s(literal -8 binary32)) u) u) (*.f32 #s(literal -4 binary32) u))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 u (+.f32 (*.f32 #s(literal 4 binary32) s) (*.f32 u #s(approx (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))) (*.f32 s (+.f32 #s(literal 8 binary32) (*.f32 u (+.f32 #s(literal 64/3 binary32) (*.f32 #s(literal 64 binary32) u))))))))))
#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(approx (- (* 64 u) -64/3) #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)))))))
#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 (* u (+ 64/3 (* 64 u)))))) #s(literal 4 binary32)))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) (*.f32 s u)))
(/.f32 (+.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (*.f32 (PI.f32) s) (exp.f32 (/.f32 r s)))) (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (pow.f32 (E.f32) (/.f32 r (*.f32 #s(literal -3 binary32) s))))) r)
(/.f32 (neg.f32 (-.f32 (*.f32 (exp.f32 (/.f32 (neg.f32 r) s)) #s(literal 1/8 binary32)) (*.f32 #s(literal -1/8 binary32) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))))) (*.f32 (neg.f32 (PI.f32)) (*.f32 r s)))
(/.f32 (-.f32 (*.f32 (exp.f32 (/.f32 (neg.f32 r) s)) #s(literal 1/8 binary32)) (*.f32 #s(literal -1/8 binary32) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s))))) (*.f32 (*.f32 r (PI.f32)) s))
(if.f32 (<=.f32 r #s(literal 30 binary32)) (/.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 3/4 binary32) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))) (/.f32 #s(literal 1 binary32) (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s)))) r) #s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/.f32 #s(literal 1/4 binary32) (*.f32 (log.f32 (exp.f32 (*.f32 r (PI.f32)))) s))))
(/.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 3/4 binary32) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s)))) (/.f32 #s(literal 1 binary32) (*.f32 (*.f32 #s(literal 6 binary32) (PI.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) (*.f32 (*.f32 (PI.f32) s) #s(approx (exp (/ r s)) (+.f32 #s(literal 1 binary32) (/.f32 r s))))) (*.f32 (/.f32 #s(literal 1/8 binary32) (*.f32 (PI.f32) s)) (exp.f32 (/.f32 r (*.f32 #s(literal -3 binary32) s))))) r)
(/.f32 (+.f32 (/.f32 #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 #s(literal 1/8 binary32) #s(approx (* (* (PI) s) (exp (/ r s))) (+.f32 (*.f32 r (PI.f32)) (*.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)
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 (*.f32 #s(literal -1/16 binary32) (/.f32 r (PI.f32))) (*.f32 #s(literal -1/144 binary32) (/.f32 r (PI.f32)))) s)) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (PI.f32)))) s)) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (*.f32 r (PI.f32))))) s)))
(/.f32 #s(approx (+ (/ 1/8 (* (* (PI) s) (exp (/ r s)))) (* (/ 1/8 (* (PI) s)) (exp (/ r (* -3 s))))) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 (*.f32 #s(literal -1/8 binary32) (/.f32 r (PI.f32))) (*.f32 #s(literal -1/24 binary32) (/.f32 r (PI.f32)))) s)) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (PI.f32)))) s))) r)
#s(approx (/ (+ (/ 1/8 (* (* (PI) s) (exp (/ r s)))) (* (/ 1/8 (* (PI) s)) (exp (/ r (* -3 s))))) r) (/.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) (*.f32 s (PI.f32))) (*.f32 #s(literal 1/6 binary32) (*.f32 r (PI.f32)))) (*.f32 (*.f32 (*.f32 (*.f32 r (PI.f32)) s) (PI.f32)) s)))
#s(approx (/ (+ (/ 1/8 (* (* (PI) s) (exp (/ r s)))) (* (/ 1/8 (* (PI) s)) (exp (/ r (* -3 s))))) r) (*.f32 (/.f32 #s(literal 1 binary32) s) (-.f32 (/.f32 #s(literal 1/4 binary32) (*.f32 r (PI.f32))) (/.f32 #s(literal 1/6 binary32) (*.f32 s (PI.f32))))))
#s(approx (/ (+ (/ 1/8 (* (* (PI) s) (exp (/ r s)))) (* (/ 1/8 (* (PI) s)) (exp (/ r (* -3 s))))) r) (/.f32 (-.f32 (/.f32 #s(literal 1/4 binary32) (*.f32 r (PI.f32))) (/.f32 #s(literal 1/6 binary32) (*.f32 s (PI.f32)))) s))
#s(approx (/ (+ (/ 1/8 (* (* (PI) s) (exp (/ r s)))) (* (/ 1/8 (* (PI) s)) (exp (/ r (* -3 s))))) r) (-.f32 (/.f32 #s(literal 1/4 binary32) (*.f32 (*.f32 r s) (PI.f32))) (/.f32 #s(literal 1/6 binary32) (*.f32 (*.f32 s (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 (/.f32 (/.f32 #s(literal 1/4 binary32) r) s) (PI.f32)))
#s(approx (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/.f32 #s(literal 1/4 binary32) (*.f32 r (*.f32 s (PI.f32)))))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) (-.f32 n0_i (*.f32 (-.f32 n0_i n1_i) u))))
(if.f32 (<=.f32 n0_i #s(literal 14019525/36893488147419103232 binary32)) (+.f32 #s(approx (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) n0_i) (*.f32 #s(approx (* (sin (* u normAngle)) (/ 1 (sin normAngle))) u) 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)) (-.f32 n0_i #s(approx (* (- n0_i n1_i) u) (*.f32 n0_i u))))))
(if.f32 (<=.f32 n0_i #s(literal -14953815/166153499473114484112975882535043072 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) (-.f32 n0_i #s(approx (* (- n0_i n1_i) u) (*.f32 n0_i u))))) (if.f32 (<=.f32 n0_i #s(literal 1661535/332306998946228968225951765070086144 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) #s(approx (- n0_i (* (- n0_i n1_i) u)) (*.f32 u (-.f32 n1_i 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 n0_i #s(approx (* (- n0_i n1_i) u) (*.f32 n0_i u)))))))
(if.f32 (<=.f32 n0_i #s(literal -14953815/166153499473114484112975882535043072 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) #s(approx (- n0_i (* (- n0_i n1_i) u)) (*.f32 n0_i (-.f32 #s(literal 1 binary32) u))))) (if.f32 (<=.f32 n0_i #s(literal 1661535/332306998946228968225951765070086144 binary32)) #s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) #s(approx (- n0_i (* (- n0_i n1_i) u)) (*.f32 u (-.f32 n1_i 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)) #s(approx (- n0_i (* (- n0_i n1_i) u)) (*.f32 n0_i (-.f32 #s(literal 1 binary32) u)))))))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) #s(approx (- n0_i (* (- n0_i n1_i) u)) (*.f32 n0_i (-.f32 #s(literal 1 binary32) u)))))
#s(approx (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) #s(approx (+ (* n0_i (- 1 u)) (* n1_i u)) #s(approx (+ n0_i (* u (+ n1_i (* -1 n0_i)))) n0_i)))
(/.f32 (*.f32 (sqrt.f32 (/.f32 (PI.f32) (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta))) (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) cosTheta)) (-.f32 (*.f32 (*.f32 (-.f32 c #s(literal -1 binary32)) (sqrt.f32 (/.f32 (PI.f32) (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)))) (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) cosTheta)) #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (/.f32 #s(literal 1 binary32) (/.f32 (sqrt.f32 (PI.f32)) (/.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)) (sqrt.f32 (PI.f32)))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (*.f32 (/.f32 (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)) cosTheta) (sqrt.f32 (/.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta) (PI.f32))))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (*.f32 (*.f32 #s(literal 9465531/16777216 binary32) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta)) (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)))))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (*.f32 #s(literal 9465531/16777216 binary32) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) (*.f32 (exp.f32 (*.f32 cosTheta cosTheta)) cosTheta))) #s(literal 1 binary32)) c))
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (/.f32 #s(literal 1 binary32) (/.f32 (sqrt.f32 (PI.f32)) #s(approx (/ (sqrt (- (- 1 cosTheta) cosTheta)) (* (exp (* cosTheta cosTheta)) cosTheta)) (/.f32 (+.f32 #s(literal 1 binary32) (*.f32 cosTheta (-.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 (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))) (/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 (*.f32 (-.f32 #s(literal 9465531/16777216 binary32) (*.f32 (-.f32 (*.f32 #s(literal 9465531/33554432 binary32) cosTheta) #s(literal 28396593/33554432 binary32)) cosTheta)) cosTheta) #s(literal 9465531/16777216 binary32))) #s(literal 9465531/16777216 binary32)) cosTheta))))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta)))) (/.f32 (+.f32 #s(literal 9465531/16777216 binary32) (*.f32 cosTheta (+.f32 #s(literal 7311685/16777216 binary32) (+.f32 c (*.f32 cosTheta (-.f32 (*.f32 #s(literal 9465531/33554432 binary32) cosTheta) #s(literal 28396593/33554432 binary32))))))) cosTheta)))
(/.f32 #s(literal 1 binary32) (-.f32 (+.f32 #s(approx (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))) (+.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 9465531/33554432 binary32) cosTheta) #s(literal 28396593/33554432 binary32)) cosTheta) #s(literal 9465531/16777216 binary32)) (/.f32 #s(literal 9465531/16777216 binary32) cosTheta))) c) #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta)))) (/.f32 (+.f32 #s(literal 9465531/16777216 binary32) (*.f32 cosTheta (+.f32 #s(literal 7311685/16777216 binary32) (+.f32 c (*.f32 #s(literal -28396593/33554432 binary32) cosTheta))))) cosTheta)))
(/.f32 #s(literal 1 binary32) #s(approx (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta)))) (+.f32 (-.f32 (+.f32 (*.f32 #s(literal -28396593/33554432 binary32) cosTheta) c) #s(literal -7311685/16777216 binary32)) (/.f32 #s(literal 9465531/16777216 binary32) cosTheta))))
#s(approx (/ 1 (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))))) (*.f32 cosTheta (+.f32 #s(literal 16777216/9465531 binary32) (*.f32 #s(literal -281474976710656/89596277111961 binary32) (*.f32 cosTheta (+.f32 #s(literal 7311685/16777216 binary32) c))))))
#s(approx (/ 1 (+ (+ 1 c) (* (* 9465531/16777216 (/ (sqrt (- (- 1 cosTheta) cosTheta)) cosTheta)) (exp (* (neg cosTheta) cosTheta))))) (*.f32 #s(literal 16777216/9465531 binary32) cosTheta))
(if.f32 (<=.f32 u1 #s(literal 3019899/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 (-.f32 (log.f32 #s(literal 2 binary32)) (log.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal 1 binary32) u1))))) (sin.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))))
(if.f32 (<=.f32 u1 #s(literal 5368709/134217728 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (-.f32 u1 (*.f32 (-.f32 #s(literal -1/2 binary32) (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 (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 -9395241/134217728 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (log.f32 (/.f32 #s(literal 1 binary32) (-.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))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -9395241/134217728 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) u1))))))) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) #s(approx (- u1 (* (- -1/2 (* (- (* 1/4 u1) -1/3) u1)) (* u1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 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 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -33135/2097152 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 #s(approx (- -1/2 (* (- (* 1/4 u1) -1/3) u1)) #s(literal -1/2 binary32)) (*.f32 u1 u1))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) 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))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2)))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)) #s(literal -33135/2097152 binary32)) #s(approx (* (sqrt (neg (log (- 1 u1)))) (sin (* 13176795/2097152 u2))) (*.f32 #s(literal 13176795/2097152 binary32) (*.f32 u2 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))))) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) #s(approx (- u1 (* (- -1/2 (* (- (* 1/4 u1) -1/3) u1)) (* u1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) u1)))))) (sin.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(*.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)))
(if.f32 (<=.f32 u2 #s(literal 12455405/8589934592 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 16106127/536870912 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (exp.f32 (*.f32 (log.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) #s(literal 1/2 binary32))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))))
(if.f32 (<=.f32 u1 #s(literal 3019899/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 (-.f32 (log.f32 #s(literal 2 binary32)) (log.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal 1 binary32) u1))))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))))
(if.f32 (<=.f32 u1 #s(literal 16106127/536870912 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (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 16106127/536870912 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (sin.f32 (+.f32 (*.f32 #s(literal -13176795/2097152 binary32) u2) #s(literal 13176795/8388608 binary32)))))
(if.f32 (<=.f32 u1 #s(literal 16106127/536870912 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) (*.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 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 13421773/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u1) #s(literal -1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* 13176795/2097152 u2))) (*.f32 (+.f32 (*.f32 (*.f32 u2 u2) #s(literal -173627926472025/8796093022208 binary32)) #s(literal 1 binary32)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))))))
(if.f32 (<=.f32 (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))) (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2))) #s(literal 13421773/67108864 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (*.f32 u1 (+.f32 #s(literal 1 binary32) (*.f32 u1 (+.f32 #s(literal 1/2 binary32) (*.f32 u1 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u1))))))))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* 13176795/2097152 u2))) (*.f32 (+.f32 (*.f32 (*.f32 u2 u2) #s(literal -173627926472025/8796093022208 binary32)) #s(literal 1 binary32)) (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 16374563/134217728 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u1) -1/3) #s(literal 1/3 binary32)) u1) #s(literal -1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* 13176795/2097152 u2))) (*.f32 (+.f32 (*.f32 (*.f32 u2 u2) #s(literal -173627926472025/8796093022208 binary32)) #s(literal 1 binary32)) (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 16374563/134217728 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) #s(approx (+ (* (* (- (* (- (* 1/4 u1) -1/3) u1) -1/2) u1) u1) u1) (*.f32 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))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* 13176795/2097152 u2))) (*.f32 (+.f32 (*.f32 (*.f32 u2 u2) #s(literal -173627926472025/8796093022208 binary32)) #s(literal 1 binary32)) (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 1090519/16777216 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) (+.f32 (*.f32 (*.f32 #s(approx (- (* (- (* 1/4 u1) -1/3) u1) -1/2) #s(literal 1/2 binary32)) u1) u1) u1))) (cos.f32 (*.f32 #s(literal 13176795/2097152 binary32) u2))) #s(approx (* (sqrt (neg (log (- 1 u1)))) (cos (* 13176795/2097152 u2))) (*.f32 (+.f32 (*.f32 (*.f32 u2 u2) #s(literal -173627926472025/8796093022208 binary32)) #s(literal 1 binary32)) (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 1090519/16777216 binary32)) (*.f32 (sqrt.f32 #s(approx (neg (log (- 1 u1))) #s(approx (+ (* (* (- (* (- (* 1/4 u1) -1/3) u1) -1/2) u1) u1) u1) (*.f32 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 (* 13176795/2097152 u2))) (*.f32 (+.f32 (*.f32 (*.f32 u2 u2) #s(literal -173627926472025/8796093022208 binary32)) #s(literal 1 binary32)) (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 9878425/536870912 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 (* 13176795/2097152 u2))) (*.f32 (+.f32 (*.f32 (*.f32 u2 u2) #s(literal -173627926472025/8796093022208 binary32)) #s(literal 1 binary32)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))))))
(if.f32 (<=.f32 (cos.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u2)) #s(literal 4194237/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 (*.f32 (*.f32 u0 u0) #s(approx (- (* (- (* 1/3 alpha) (* -1/4 (* alpha u0))) u0) (* -1/2 alpha)) (*.f32 alpha (+.f32 #s(literal 1/2 binary32) (*.f32 u0 (-.f32 #s(literal 1/3 binary32) (*.f32 #s(literal -1/4 binary32) u0))))))) (*.f32 alpha u0))) alpha) (*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 #s(literal 1 binary32) u0))))
(if.f32 (<=.f32 u0 #s(literal 16106127/536870912 binary32)) (*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (+.f32 (*.f32 (*.f32 u0 u0) #s(approx (- (* (- (* 1/3 alpha) (* -1/4 (* alpha u0))) u0) (* -1/2 alpha)) (*.f32 alpha (+.f32 #s(literal 1/2 binary32) (*.f32 u0 (-.f32 #s(literal 1/3 binary32) (*.f32 #s(literal -1/4 binary32) u0))))))) (*.f32 alpha 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 (*.f32 (*.f32 u0 u0) (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/3 binary32) alpha) (*.f32 #s(literal -1/4 binary32) (*.f32 alpha u0))) u0) (*.f32 #s(literal -1/2 binary32) alpha))) (*.f32 alpha u0))) alpha)
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (+.f32 (*.f32 (*.f32 u0 u0) #s(approx (- (* (- (* 1/3 alpha) (* -1/4 (* alpha u0))) u0) (* -1/2 alpha)) (*.f32 alpha (+.f32 #s(literal 1/2 binary32) (*.f32 u0 (-.f32 #s(literal 1/3 binary32) (*.f32 #s(literal -1/4 binary32) u0))))))) (*.f32 alpha u0))) 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 (*.f32 (neg.f32 #s(approx (log (- 1 u0)) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/3 binary32) u0) #s(literal 1/2 binary32)) u0) u0) u0))) alpha) alpha)
(*.f32 (*.f32 (neg.f32 alpha) alpha) #s(approx (log (- 1 u0)) (-.f32 (*.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/3 binary32) u0) #s(literal 1/2 binary32)) u0) u0) u0)))
(*.f32 (*.f32 #s(approx (log (- 1 u0)) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal -1/3 binary32) u0) #s(literal 1/2 binary32)) u0) #s(literal 1 binary32)) u0)) (neg.f32 alpha)) alpha)
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (*.f32 u0 (-.f32 (*.f32 alpha alpha) (*.f32 #s(literal -1/2 binary32) (*.f32 (*.f32 alpha alpha) u0)))))
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 u0 (+.f32 alpha (*.f32 #s(literal 1/2 binary32) (*.f32 alpha u0))))) alpha)
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (*.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) u0) #s(literal 1 binary32)) (*.f32 (*.f32 alpha alpha) u0)))
#s(approx (* (* (neg alpha) alpha) (log (- 1 u0))) (*.f32 (*.f32 (+.f32 (*.f32 #s(literal 1/2 binary32) u0) #s(literal 1 binary32)) (*.f32 alpha alpha)) u0))
(*.f32 #s(approx (* (log (- 1 u0)) (neg alpha)) (*.f32 alpha u0)) alpha)
(if.f32 (<=.f32 u0 #s(literal 5368709/134217728 binary32)) (/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) (+.f32 (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay) sin2phi)) (*.f32 (/.f32 (*.f32 alphay alphay) (+.f32 (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay) sin2phi)) (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)))))
(if.f32 (<=.f32 u0 #s(literal 5368709/134217728 binary32)) (/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) (+.f32 (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay) sin2phi)) (*.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))))))
(if.f32 (<=.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)) #s(literal -11274289/268435456 binary32)) (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) (/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) (+.f32 (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay) sin2phi)))
(/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) (+.f32 (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay) sin2phi))
(*.f32 (/.f32 (*.f32 alphay alphay) (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 (/.f32 alphay (+.f32 sin2phi (/.f32 (*.f32 (*.f32 alphay alphay) cos2phi) (*.f32 alphax alphax)))) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 (/.f32 alphay (+.f32 sin2phi (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay))) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) alphay) (/.f32 alphay (+.f32 sin2phi (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay))))
(/.f32 #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) u0)) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
(/.f32 #s(approx (neg (log (- 1 u0))) (*.f32 u0 (+.f32 #s(literal 1 binary32) (*.f32 u0 (+.f32 #s(literal 1/2 binary32) (*.f32 u0 (+.f32 #s(literal 1/3 binary32) (*.f32 #s(literal 1/4 binary32) u0)))))))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
(*.f32 (/.f32 (*.f32 alphay alphay) (+.f32 (*.f32 (*.f32 alphay (/.f32 cos2phi (*.f32 alphax alphax))) alphay) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u0) -1/3) #s(literal 1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (*.f32 (/.f32 alphay (+.f32 sin2phi (*.f32 (*.f32 (/.f32 cos2phi (*.f32 alphax alphax)) alphay) alphay))) alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u0) -1/3) #s(literal 1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(/.f32 #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))))
(if.f32 (<=.f32 sin2phi #s(literal 5033165/33554432 binary32)) (/.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 (*.f32 alphay alphay) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))))
(if.f32 (<=.f32 sin2phi #s(literal 13743895/68719476736 binary32)) (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 (/.f32 cos2phi alphax) alphax))) (*.f32 (/.f32 (*.f32 alphay alphay) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))))
(if.f32 (<=.f32 sin2phi #s(literal 13743895/68719476736 binary32)) (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (*.f32 (/.f32 (*.f32 alphay alphay) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (+.f32 (*.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) u0) (*.f32 #s(literal 1 binary32) u0)))))
(if.f32 (<=.f32 sin2phi #s(literal 13743895/68719476736 binary32)) (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (/.f32 (*.f32 (*.f32 alphay alphay) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)))
(if.f32 (<=.f32 sin2phi #s(literal 13743895/68719476736 binary32)) (/.f32 (neg.f32 #s(approx (log (- 1 u0)) (neg.f32 u0))) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (*.f32 (/.f32 (*.f32 alphay alphay) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))))
(if.f32 (<=.f32 sin2phi #s(literal 6338253/1267650600228229401496703205376 binary32)) (*.f32 #s(approx (/ (* alphay alphay) (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi)) (/.f32 (*.f32 alphax alphax) cos2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) (*.f32 (*.f32 alphay alphay) (/.f32 #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi))))
(if.f32 (<=.f32 sin2phi #s(literal 6338253/1267650600228229401496703205376 binary32)) (*.f32 #s(approx (/ (* alphay alphay) (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi)) (/.f32 (*.f32 alphax alphax) cos2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) (*.f32 alphay (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))))
(if.f32 (<=.f32 sin2phi #s(literal 6338253/1267650600228229401496703205376 binary32)) (*.f32 #s(approx (/ (* alphay alphay) (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi)) (*.f32 alphax (/.f32 alphax cos2phi))) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))) (*.f32 alphay (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))))
(*.f32 alphay (*.f32 (/.f32 alphay #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(literal 1/4 binary32) u0) #s(literal -1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0))))
(*.f32 (/.f32 (*.f32 alphay alphay) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 (-.f32 (*.f32 #s(approx (- (* 1/4 u0) -1/3) #s(literal 1/3 binary32)) u0) #s(literal -1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (/.f32 (*.f32 alphay alphay) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 (-.f32 (*.f32 #s(approx (- (* (- (* 1/4 u0) -1/3) u0) -1/2) #s(literal 1/2 binary32)) u0) #s(literal -1 binary32)) u0)))
(*.f32 (/.f32 (*.f32 alphay alphay) #s(approx (+ (* (* alphay (/ cos2phi (* alphax alphax))) alphay) sin2phi) sin2phi)) #s(approx (neg (log (- 1 u0))) (*.f32 #s(approx (- (* (- (* (- (* 1/4 u0) -1/3) u0) -1/2) u0) -1) #s(literal 1 binary32)) u0)))