(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 #s(literal -1 binary64) ror))) #s(literal -1/2 binary64))) (sqrt.f64 (fabs.f64 (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) b))))) (sin.f64 (*.f64 (/.f64 duration period) (PI.f64))))
(/.f64 (*.f64 (sqrt.f64 (fabs.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) b)))) (sqrt.f64 (fabs.f64 (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) b))))) (sin.f64 (*.f64 (/.f64 duration period) (PI.f64))))
(*.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 ror #s(literal -1 binary64))))) (sin.f64 (*.f64 (/.f64 (PI.f64) period) duration))) (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 #s(literal -1 binary64) ror)))))
(/.f64 (sqrt.f64 (*.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 #s(literal -1 binary64) ror)) (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b)))) (sin.f64 (*.f64 (/.f64 duration period) (PI.f64))))
(/.f64 (sqrt.f64 (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) b)) (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) b)))) (sin.f64 (/.f64 (*.f64 (PI.f64) duration) period)))
(/.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 ror #s(literal -1 binary64)) (-.f64 ror #s(literal -1 binary64))) (*.f64 (*.f64 (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64)) #s(literal 1/2 binary64)) (*.f64 b b)))) (sin.f64 (*.f64 (/.f64 duration period) (PI.f64))))
(if.f64 (<=.f64 (*.f64 (+.f64 #s(literal 1 binary64) ror) (+.f64 #s(literal 1 binary64) ror)) #s(literal 999999999999999945402341696592674884578976541955442659132610359825718694242914119314842162820675279649039207299571308833846909191138684972507989282336695782607667040225918275050684065261167516978177354790265605065466066369376850351293060923539046438669680406904714953752576 binary64)) (/.f64 (/.f64 (/.f64 (*.f64 (*.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (+.f64 (-.f64 ror #s(literal -1 binary64)) b)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) (PI.f64))) (sqrt.f64 (-.f64 (*.f64 (-.f64 ror #s(literal -1 binary64)) (-.f64 ror #s(literal -1 binary64))) (*.f64 (*.f64 (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64)) #s(literal 1/2 binary64)) (*.f64 b b))))) (*.f64 (sin.f64 (/.f64 (*.f64 duration (PI.f64)) period)) period)) (sin.f64 (/.f64 (*.f64 duration (PI.f64)) period))) (*.f64 (/.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 #s(literal -1 binary64) ror))))) (/.f64 (*.f64 (*.f64 (-.f64 b (-.f64 #s(literal -1 binary64) ror)) (PI.f64)) (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b)))) (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (*.f64 (+.f64 duration duration) (/.f64 (PI.f64) period))) #s(literal 1/2 binary64))) period)))))
(if.f64 (<=.f64 (*.f64 (+.f64 #s(literal 1 binary64) ror) (+.f64 #s(literal 1 binary64) ror)) #s(literal 999999999999999980159157920520442850193109519852847211800025710561650359982538085224088616186146493844286149397221450372619320895438893697947652166455225334059372746413748147206443420891752540620587530362220273863006901551095990707698442841525909542472844588688081080376132618600579072 binary64)) (/.f64 (/.f64 (/.f64 (*.f64 (*.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (+.f64 (-.f64 ror #s(literal -1 binary64)) b)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) (PI.f64))) (sqrt.f64 (-.f64 (*.f64 (-.f64 ror #s(literal -1 binary64)) (-.f64 ror #s(literal -1 binary64))) (*.f64 (*.f64 (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64)) #s(literal 1/2 binary64)) (*.f64 b b))))) (*.f64 (sin.f64 (/.f64 (*.f64 duration (PI.f64)) period)) period)) (sin.f64 (/.f64 (*.f64 duration (PI.f64)) period))) (/.f64 (*.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 #s(literal 1 binary64) period) (*.f64 duration (PI.f64)))) (PI.f64)))) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) period) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (+.f64 duration duration) (/.f64 (PI.f64) period))))) (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 #s(literal -1 binary64) ror))))) (sqrt.f64 (fabs.f64 (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b)))))))
(if.f64 (<=.f64 (*.f64 (+.f64 #s(literal 1 binary64) ror) (+.f64 #s(literal 1 binary64) ror)) #s(literal 999999999999999945402341696592674884578976541955442659132610359825718694242914119314842162820675279649039207299571308833846909191138684972507989282336695782607667040225918275050684065261167516978177354790265605065466066369376850351293060923539046438669680406904714953752576 binary64)) (/.f64 (/.f64 (/.f64 (*.f64 (*.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (+.f64 (-.f64 ror #s(literal -1 binary64)) b)) (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) (PI.f64))) (sqrt.f64 (-.f64 (*.f64 (-.f64 ror #s(literal -1 binary64)) (-.f64 ror #s(literal -1 binary64))) (*.f64 (*.f64 (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64)) #s(literal 1/2 binary64)) (*.f64 b b))))) (*.f64 (sin.f64 (/.f64 (*.f64 duration (PI.f64)) period)) period)) (sin.f64 (/.f64 (*.f64 duration (PI.f64)) period))) (/.f64 (*.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 duration period) (PI.f64))) (PI.f64)))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (*.f64 (+.f64 duration duration) (/.f64 (PI.f64) period))) #s(literal 1/2 binary64))) period) (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 #s(literal -1 binary64) ror))))) (sqrt.f64 (fabs.f64 (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b)))))))
(if.f64 (<=.f64 (*.f64 (+.f64 #s(literal 1 binary64) ror) (+.f64 #s(literal 1 binary64) ror)) #s(literal 999999999999999945402341696592674884578976541955442659132610359825718694242914119314842162820675279649039207299571308833846909191138684972507989282336695782607667040225918275050684065261167516978177354790265605065466066369376850351293060923539046438669680406904714953752576 binary64)) (*.f64 (PI.f64) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 duration period) (PI.f64))) (/.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) ror) (-.f64 #s(literal -1 binary64) ror)) (*.f64 (*.f64 (*.f64 b b) #s(literal 1/2 binary64)) (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64))))) (*.f64 (*.f64 (sin.f64 (*.f64 (/.f64 (PI.f64) period) duration)) period) (sin.f64 (*.f64 (/.f64 (PI.f64) period) duration)))))))) (/.f64 (*.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 duration period) (PI.f64))) (PI.f64)))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (*.f64 (+.f64 duration duration) (/.f64 (PI.f64) period))) #s(literal 1/2 binary64))) period) (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b) (-.f64 #s(literal -1 binary64) ror))))) (sqrt.f64 (fabs.f64 (-.f64 (-.f64 ror #s(literal -1 binary64)) (*.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) duration)) b)))))))
(*.f64 (PI.f64) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 duration period) (PI.f64))) (/.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) ror) (-.f64 #s(literal -1 binary64) ror)) (*.f64 (*.f64 (*.f64 b b) #s(literal 1/2 binary64)) (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64))))) (*.f64 (*.f64 (sin.f64 (*.f64 (/.f64 (PI.f64) period) duration)) period) (sin.f64 (*.f64 (/.f64 (PI.f64) period) duration))))))))
(*.f64 (PI.f64) (/.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (*.f64 duration (PI.f64)) period)) (+.f64 (-.f64 ror #s(literal -1 binary64)) b)) (-.f64 b (-.f64 ror #s(literal -1 binary64)))) (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 ror #s(literal -1 binary64)) (-.f64 ror #s(literal -1 binary64))) (*.f64 (*.f64 (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64)) #s(literal 1/2 binary64)) (*.f64 b b)))) (pow.f64 (sin.f64 (*.f64 (/.f64 duration period) (PI.f64))) #s(literal 2 binary64))) period)))
(*.f64 (PI.f64) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 #s(literal 1 binary64) period) (*.f64 duration (PI.f64)))) (/.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) ror) (-.f64 #s(literal -1 binary64) ror)) (*.f64 (*.f64 (*.f64 b b) #s(literal 1/2 binary64)) (-.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) (+.f64 duration duration))) #s(literal -1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (/.f64 (PI.f64) period) (+.f64 duration duration)))) (*.f64 #s(literal 1/2 binary64) period)))))))
(*.f64 (*.f64 (PI.f64) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (cos.f64 (*.f64 (/.f64 duration period) (PI.f64))))) (/.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) ror) (-.f64 #s(literal -1 binary64) ror)) (*.f64 (*.f64 (*.f64 b b) #s(literal 1/2 binary64)) (-.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) (+.f64 duration duration))) #s(literal -1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (/.f64 (PI.f64) period) (+.f64 duration duration)))) (*.f64 #s(literal 1/2 binary64) period)))))
(*.f64 (PI.f64) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 duration period) (PI.f64))) (/.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) ror) (-.f64 #s(literal -1 binary64) ror)) (*.f64 (*.f64 (*.f64 b b) #s(literal 1/2 binary64)) (-.f64 (cos.f64 (*.f64 (/.f64 (PI.f64) period) (+.f64 duration duration))) #s(literal -1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (/.f64 (PI.f64) period) (+.f64 duration duration)))) (*.f64 #s(literal 1/2 binary64) period)))))))
(*.f64 (PI.f64) (*.f64 (+.f64 (-.f64 ror #s(literal -1 binary64)) b) (*.f64 (cos.f64 (*.f64 (/.f64 duration period) (PI.f64))) (/.f64 (-.f64 b (-.f64 ror #s(literal -1 binary64))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 #s(literal -1 binary64) ror) (-.f64 #s(literal -1 binary64) ror)) (*.f64 (*.f64 (*.f64 b b) #s(literal 1/2 binary64)) (-.f64 (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64)))) #s(literal -1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (/.f64 duration period) (+.f64 (PI.f64) (PI.f64))))) (*.f64 #s(literal 1/2 binary64) period)))))))
(-.f64 (*.f64 #s(literal 2 binary64) (atan2.f64 (*.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) e)) cos_omega) (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) e)) (+.f64 #s(literal 1 binary64) sin_omega)))) (*.f64 e (sin.f64 (*.f64 #s(literal 2 binary64) (atan2.f64 (*.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) e)) cos_omega) (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) e)) (+.f64 #s(literal 1 binary64) sin_omega)))))))
(*.f64 #s(literal 2 binary64) (atan2.f64 (*.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) e)) cos_omega) (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) e)) (+.f64 #s(literal 1 binary64) sin_omega))))
(if.f64 (<=.f64 aor #s(literal 479999999999999993997870636621648697406793656424236411899565092694635561041705088381793998473140550136081607363594054304530432 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 aor aor)) #s(literal 1 binary64)) (-.f64 (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 sin_omega e)) (+.f64 #s(literal 2 binary64) (*.f64 sin_omega e))) (+.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 (*.f64 e e) (-.f64 #s(literal 2 binary64) (*.f64 e e))))) #s(literal 1 binary64))))) (*.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) period)) (*.f64 duration (PI.f64)))) aor) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))))) sin_omega) (+.f64 e e)) (*.f64 (neg.f64 (*.f64 (sin.f64 (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (PI.f64)) duration) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e))))) (*.f64 sin_omega e))) (*.f64 (sin.f64 (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (PI.f64)) duration) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e))))) (*.f64 sin_omega e)))) (/.f64 #s(literal 1 binary64) (pow.f64 (sin.f64 (*.f64 (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration) (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 2 binary64) (*.f64 e e))) (*.f64 (*.f64 e e) (*.f64 e e))) #s(literal 1 binary64)))) (-.f64 #s(literal 1 binary64) (*.f64 e e))))
(if.f64 (<=.f64 aor #s(literal 479999999999999993997870636621648697406793656424236411899565092694635561041705088381793998473140550136081607363594054304530432 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 aor aor)) #s(literal 1 binary64)) (-.f64 (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 sin_omega e)) (+.f64 #s(literal 2 binary64) (*.f64 sin_omega e))) (+.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 (*.f64 e e) (-.f64 #s(literal 2 binary64) (*.f64 e e))))) #s(literal 1 binary64))))) (*.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) period)) (*.f64 duration (PI.f64)))) aor) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))))) sin_omega) (+.f64 e e)) (*.f64 (neg.f64 (*.f64 (sin.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) duration) (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))) (*.f64 sin_omega e))) (*.f64 (sin.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) duration) (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))) (*.f64 sin_omega e)))) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period)))) #s(literal 1/2 binary64)))) (*.f64 #s(literal 2 binary64) (*.f64 e e))) (*.f64 (*.f64 e e) (*.f64 e e))) #s(literal 1 binary64)))) (-.f64 #s(literal 1 binary64) (*.f64 e e))))
(if.f64 (<=.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 aor aor) (*.f64 (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period)) (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period)))) #s(literal 1 binary64)) (-.f64 (-.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period)) (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period))) (*.f64 (*.f64 e sin_omega) (*.f64 e sin_omega))) (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period)) (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period))) (*.f64 e sin_omega)))) (*.f64 (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period)) (sin.f64 (/.f64 (*.f64 (*.f64 (PI.f64) duration) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 e sin_omega)) (-.f64 #s(literal 1 binary64) (*.f64 e e)))) period)))) (*.f64 #s(literal 2 binary64) (*.f64 e e))) (*.f64 (*.f64 e e) (*.f64 e e))) #s(literal 1 binary64)))) (-.f64 #s(literal 1 binary64) (*.f64 e e))) #s(literal +inf.0 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) duration) (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))) #s(literal 2 binary64)) (*.f64 aor aor)) #s(literal 1 binary64)) (-.f64 (+.f64 (*.f64 (*.f64 (pow.f64 (sin.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) duration) (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))) #s(literal 2 binary64)) (*.f64 sin_omega e)) (+.f64 #s(literal 2 binary64) (*.f64 sin_omega e))) (+.f64 (pow.f64 (sin.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) duration) (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))) #s(literal 2 binary64)) (*.f64 (*.f64 e e) (-.f64 #s(literal 2 binary64) (*.f64 e e))))) #s(literal 1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))))) aor) aor) #s(literal 1 binary64)) (-.f64 (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 duration (PI.f64))) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) period))))) #s(literal 1/2 binary64)) (*.f64 sin_omega e)) (+.f64 #s(literal 2 binary64) (*.f64 sin_omega e))) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 duration (PI.f64))) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) period))))) #s(literal 1/2 binary64)) (*.f64 (*.f64 e e) (-.f64 #s(literal 2 binary64) (*.f64 e e))))) #s(literal 1 binary64))))))
(if.f64 (<=.f64 aor #s(literal 20999999999999999173756620486477155818071879239119456450442161067393536825824764448973321405693872637165810709812751148158812160 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 aor aor)) #s(literal 1 binary64)) (-.f64 (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 sin_omega e)) (+.f64 #s(literal 2 binary64) (*.f64 sin_omega e))) (+.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) (sin.f64 (+.f64 (*.f64 (-.f64 (PI.f64) (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (/.f64 (PI.f64) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))) duration))) #s(literal -2 binary64)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))) (*.f64 (*.f64 e e) (-.f64 #s(literal 2 binary64) (*.f64 e e))))) #s(literal 1 binary64))))) (*.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) period)) (*.f64 duration (PI.f64)))) aor) #s(literal 2 binary64)) #s(literal 1 binary64)) (+.f64 (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) (-.f64 (*.f64 #s(literal -1/2 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e))))))) #s(literal 1/2 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e))))))) (*.f64 #s(literal 1/2 binary64) (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) (*.f64 sin_omega e))))))) (-.f64 #s(literal 1 binary64) (*.f64 e e))))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))))) aor) aor) #s(literal 1 binary64)) (-.f64 (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 duration (PI.f64))) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) period))))) #s(literal 1/2 binary64)) (*.f64 sin_omega e)) (+.f64 #s(literal 2 binary64) (*.f64 sin_omega e))) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 duration (PI.f64))) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) period))))) #s(literal 1/2 binary64)) (*.f64 (*.f64 e e) (-.f64 #s(literal 2 binary64) (*.f64 e e))))) #s(literal 1 binary64)))))
(if.f64 (<=.f64 (*.f64 aor aor) #s(literal 1000000000000000066436467741248103118547156170586292454485461107376856746627884050583544890346687569804406120783567460668037744292161050890877875387371120199760770880078039125129799472606133954939884328574613293205683935969567348590731356020719265634967118123751637393518591968740451429495341056 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 aor aor)) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e)))))))) #s(literal 1 binary64)) (+.f64 (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) (-.f64 (*.f64 #s(literal -1/2 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e))))))) #s(literal 1/2 binary64))) (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 sin_omega e)) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period))))))))))) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (PI.f64)) (+.f64 duration duration)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period)))) (*.f64 #s(literal 1/2 binary64) aor)) aor) #s(literal 1 binary64)) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period))))) (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) #s(literal 1/2 binary64)) sin_omega) e) #s(literal 1/2 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) #s(literal -1 binary64)))))))
(if.f64 (<=.f64 (*.f64 aor aor) #s(literal 1000000000000000066436467741248103118547156170586292454485461107376856746627884050583544890346687569804406120783567460668037744292161050890877875387371120199760770880078039125129799472606133954939884328574613293205683935969567348590731356020719265634967118123751637393518591968740451429495341056 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 aor aor)) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period)))))) #s(literal 1 binary64)) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period))))) (+.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) (*.f64 (*.f64 sin_omega e) #s(literal 1/2 binary64))) #s(literal 1/2 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) #s(literal -1 binary64)))))) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (PI.f64)) (+.f64 duration duration)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period)))) (*.f64 #s(literal 1/2 binary64) aor)) aor) #s(literal 1 binary64)) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period))))) (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) #s(literal 1/2 binary64)) sin_omega) e) #s(literal 1/2 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) #s(literal -1 binary64)))))))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period))))) (*.f64 #s(literal 1/2 binary64) aor)) aor) #s(literal 1 binary64)) (+.f64 (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) (-.f64 (*.f64 #s(literal -1/2 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e))))))) #s(literal 1/2 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 (*.f64 sin_omega e) #s(literal -1 binary64)) (*.f64 period (-.f64 #s(literal 1 binary64) (*.f64 e e))))))) (*.f64 #s(literal 1/2 binary64) (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) (*.f64 sin_omega e))))))))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 aor aor)) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period)))))) #s(literal 1 binary64)) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period))))) (+.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) (*.f64 (*.f64 sin_omega e) #s(literal 1/2 binary64))) #s(literal 1/2 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) #s(literal -1 binary64))))))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 e e)) (sqrt.f64 (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 aor aor)) (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period)))))) #s(literal 1 binary64)) (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 (*.f64 (*.f64 (+.f64 duration duration) (PI.f64)) (/.f64 (-.f64 #s(literal -1 binary64) (*.f64 sin_omega e)) (*.f64 (-.f64 (*.f64 e e) #s(literal 1 binary64)) period))))) (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 sin_omega e) #s(literal -2 binary64)) #s(literal 1/2 binary64)) sin_omega) e) #s(literal 1/2 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 e e)) e) e) #s(literal -1 binary64))))))
(if.f64 (<=.f64 c_light #s(literal -800000000000 binary64)) (/.f64 (+.f64 (+.f64 vz c_light) (*.f64 c_light (neg.f64 (sqrt.f64 (-.f64 (-.f64 (*.f64 (-.f64 (/.f64 vz c_light) #s(literal -2 binary64)) (/.f64 vz c_light)) #s(literal -1 binary64)) (*.f64 (+.f64 az az) (*.f64 (/.f64 #s(literal 1 binary64) c_light) (/.f64 (-.f64 z0 z) c_light)))))))) az) (if.f64 (<=.f64 c_light #s(literal 1060000000000000000 binary64)) (/.f64 (-.f64 (+.f64 vz c_light) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (+.f64 az az) (-.f64 z0 z)) (*.f64 (+.f64 vz c_light) (+.f64 vz c_light))))) (/.f64 c_light (fabs.f64 c_light)))) az) (/.f64 (+.f64 (+.f64 vz c_light) (*.f64 c_light (neg.f64 (sqrt.f64 (-.f64 (-.f64 (*.f64 (-.f64 (/.f64 vz c_light) #s(literal -2 binary64)) (/.f64 vz c_light)) #s(literal -1 binary64)) (*.f64 (/.f64 (-.f64 z0 z) c_light) (/.f64 (+.f64 az az) c_light))))))) az)))
(if.f64 (<=.f64 c_light #s(literal -32000000000000001547094147697717089840908635068496456187904 binary64)) (/.f64 (+.f64 (+.f64 vz c_light) (*.f64 c_light (neg.f64 (sqrt.f64 (-.f64 (-.f64 (*.f64 (-.f64 (/.f64 vz c_light) #s(literal -2 binary64)) (/.f64 vz c_light)) #s(literal -1 binary64)) (*.f64 (/.f64 (-.f64 z0 z) c_light) (/.f64 (+.f64 az az) c_light))))))) az) (if.f64 (<=.f64 c_light #s(literal 1060000000000000000 binary64)) (/.f64 (-.f64 (+.f64 vz c_light) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (+.f64 az az) (-.f64 z0 z)) (*.f64 (+.f64 vz c_light) (+.f64 vz c_light))))) (/.f64 c_light (fabs.f64 c_light)))) az) (/.f64 (+.f64 (+.f64 vz c_light) (*.f64 c_light (neg.f64 (sqrt.f64 (-.f64 (-.f64 (*.f64 (-.f64 (/.f64 vz c_light) #s(literal -2 binary64)) (/.f64 vz c_light)) #s(literal -1 binary64)) (*.f64 (/.f64 (-.f64 z0 z) c_light) (/.f64 (+.f64 az az) c_light))))))) az)))
(if.f64 (<=.f64 c_light #s(literal -230000000000000 binary64)) (/.f64 (+.f64 (+.f64 vz c_light) (*.f64 c_light (neg.f64 (sqrt.f64 (-.f64 (-.f64 (*.f64 (-.f64 (/.f64 vz c_light) #s(literal -2 binary64)) (/.f64 vz c_light)) #s(literal -1 binary64)) (*.f64 (/.f64 (-.f64 z0 z) (*.f64 c_light c_light)) (+.f64 az az))))))) az) (if.f64 (<=.f64 c_light #s(literal 1060000000000000000 binary64)) (/.f64 (-.f64 (+.f64 vz c_light) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (+.f64 az az) (-.f64 z0 z)) (*.f64 (+.f64 vz c_light) (+.f64 vz c_light))))) (/.f64 c_light (fabs.f64 c_light)))) az) (/.f64 (+.f64 (+.f64 vz c_light) (*.f64 c_light (neg.f64 (sqrt.f64 (-.f64 (-.f64 (*.f64 (-.f64 (/.f64 vz c_light) #s(literal -2 binary64)) (/.f64 vz c_light)) #s(literal -1 binary64)) (*.f64 (/.f64 (-.f64 z0 z) (*.f64 c_light c_light)) (+.f64 az az))))))) az)))
(if.f64 (<=.f64 c_light #s(literal -319999999999999988290174900188370374752868583208754169397771642989666768049372397568 binary64)) (/.f64 (+.f64 c_light (-.f64 vz (*.f64 (sqrt.f64 (-.f64 (-.f64 (*.f64 (-.f64 (/.f64 vz c_light) #s(literal -2 binary64)) (/.f64 vz c_light)) #s(literal -1 binary64)) (/.f64 (*.f64 (+.f64 az az) (-.f64 z0 z)) (*.f64 c_light c_light)))) c_light))) az) (/.f64 (-.f64 (+.f64 vz c_light) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (+.f64 az az) (-.f64 z0 z)) (*.f64 (+.f64 vz c_light) (+.f64 vz c_light))))) (/.f64 c_light (fabs.f64 c_light)))) az))
(/.f64 (-.f64 (+.f64 vz c_light) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (+.f64 az az) (-.f64 z0 z)) (*.f64 (+.f64 vz c_light) (+.f64 vz c_light))))) (/.f64 c_light (fabs.f64 c_light)))) az)
(/.f64 (-.f64 c_light (-.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (+.f64 az az) (-.f64 z0 z)) (*.f64 (+.f64 vz c_light) (+.f64 vz c_light))))) (/.f64 c_light (fabs.f64 c_light))) vz)) az)
(/.f64 (+.f64 c_light (-.f64 vz (*.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 (*.f64 (+.f64 vz c_light) (+.f64 vz c_light)) (*.f64 (+.f64 az az) (-.f64 z0 z))))) (fabs.f64 c_light)) c_light))) az)