
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(+
lambda1
(atan2
(* (* (sin theta) (sin delta)) (cos phi1))
(-
(cos delta)
(*
(sin phi1)
(sin
(asin
(+
(* (sin phi1) (cos delta))
(* (* (cos phi1) (sin delta)) (cos theta))))))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (cos(delta) - (sin(phi1) * sin(asin(((sin(phi1) * cos(delta)) + ((cos(phi1) * sin(delta)) * cos(theta))))))));
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (cos(delta) - (sin(phi1) * sin(asin(((sin(phi1) * cos(delta)) + ((cos(phi1) * sin(delta)) * cos(theta))))))))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2(((Math.sin(theta) * Math.sin(delta)) * Math.cos(phi1)), (Math.cos(delta) - (Math.sin(phi1) * Math.sin(Math.asin(((Math.sin(phi1) * Math.cos(delta)) + ((Math.cos(phi1) * Math.sin(delta)) * Math.cos(theta))))))));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2(((math.sin(theta) * math.sin(delta)) * math.cos(phi1)), (math.cos(delta) - (math.sin(phi1) * math.sin(math.asin(((math.sin(phi1) * math.cos(delta)) + ((math.cos(phi1) * math.sin(delta)) * math.cos(theta))))))))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(Float64(sin(theta) * sin(delta)) * cos(phi1)), Float64(cos(delta) - Float64(sin(phi1) * sin(asin(Float64(Float64(sin(phi1) * cos(delta)) + Float64(Float64(cos(phi1) * sin(delta)) * cos(theta))))))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (cos(delta) - (sin(phi1) * sin(asin(((sin(phi1) * cos(delta)) + ((cos(phi1) * sin(delta)) * cos(theta)))))))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[(N[Sin[theta], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision] / N[(N[Cos[delta], $MachinePrecision] - N[(N[Sin[phi1], $MachinePrecision] * N[Sin[N[ArcSin[N[(N[(N[Sin[phi1], $MachinePrecision] * N[Cos[delta], $MachinePrecision]), $MachinePrecision] + N[(N[(N[Cos[phi1], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] * N[Cos[theta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta - \sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 14 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(+
lambda1
(atan2
(* (* (sin theta) (sin delta)) (cos phi1))
(-
(cos delta)
(*
(sin phi1)
(sin
(asin
(+
(* (sin phi1) (cos delta))
(* (* (cos phi1) (sin delta)) (cos theta))))))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (cos(delta) - (sin(phi1) * sin(asin(((sin(phi1) * cos(delta)) + ((cos(phi1) * sin(delta)) * cos(theta))))))));
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (cos(delta) - (sin(phi1) * sin(asin(((sin(phi1) * cos(delta)) + ((cos(phi1) * sin(delta)) * cos(theta))))))))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2(((Math.sin(theta) * Math.sin(delta)) * Math.cos(phi1)), (Math.cos(delta) - (Math.sin(phi1) * Math.sin(Math.asin(((Math.sin(phi1) * Math.cos(delta)) + ((Math.cos(phi1) * Math.sin(delta)) * Math.cos(theta))))))));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2(((math.sin(theta) * math.sin(delta)) * math.cos(phi1)), (math.cos(delta) - (math.sin(phi1) * math.sin(math.asin(((math.sin(phi1) * math.cos(delta)) + ((math.cos(phi1) * math.sin(delta)) * math.cos(theta))))))))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(Float64(sin(theta) * sin(delta)) * cos(phi1)), Float64(cos(delta) - Float64(sin(phi1) * sin(asin(Float64(Float64(sin(phi1) * cos(delta)) + Float64(Float64(cos(phi1) * sin(delta)) * cos(theta))))))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (cos(delta) - (sin(phi1) * sin(asin(((sin(phi1) * cos(delta)) + ((cos(phi1) * sin(delta)) * cos(theta)))))))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[(N[Sin[theta], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision] / N[(N[Cos[delta], $MachinePrecision] - N[(N[Sin[phi1], $MachinePrecision] * N[Sin[N[ArcSin[N[(N[(N[Sin[phi1], $MachinePrecision] * N[Cos[delta], $MachinePrecision]), $MachinePrecision] + N[(N[(N[Cos[phi1], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] * N[Cos[theta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{\cos delta - \sin \phi_1 \cdot \sin \sin^{-1} \left(\sin \phi_1 \cdot \cos delta + \left(\cos \phi_1 \cdot \sin delta\right) \cdot \cos theta\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(+
lambda1
(atan2
(* (* (sin theta) (sin delta)) (cos phi1))
(-
(* (pow (cos phi1) 2.0) (cos delta))
(* (* (sin phi1) (cos theta)) (* (sin delta) (cos phi1)))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), ((pow(cos(phi1), 2.0) * cos(delta)) - ((sin(phi1) * cos(theta)) * (sin(delta) * cos(phi1)))));
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (((cos(phi1) ** 2.0d0) * cos(delta)) - ((sin(phi1) * cos(theta)) * (sin(delta) * cos(phi1)))))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2(((Math.sin(theta) * Math.sin(delta)) * Math.cos(phi1)), ((Math.pow(Math.cos(phi1), 2.0) * Math.cos(delta)) - ((Math.sin(phi1) * Math.cos(theta)) * (Math.sin(delta) * Math.cos(phi1)))));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2(((math.sin(theta) * math.sin(delta)) * math.cos(phi1)), ((math.pow(math.cos(phi1), 2.0) * math.cos(delta)) - ((math.sin(phi1) * math.cos(theta)) * (math.sin(delta) * math.cos(phi1)))))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(Float64(sin(theta) * sin(delta)) * cos(phi1)), Float64(Float64((cos(phi1) ^ 2.0) * cos(delta)) - Float64(Float64(sin(phi1) * cos(theta)) * Float64(sin(delta) * cos(phi1)))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (((cos(phi1) ^ 2.0) * cos(delta)) - ((sin(phi1) * cos(theta)) * (sin(delta) * cos(phi1))))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[(N[Sin[theta], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision] / N[(N[(N[Power[N[Cos[phi1], $MachinePrecision], 2.0], $MachinePrecision] * N[Cos[delta], $MachinePrecision]), $MachinePrecision] - N[(N[(N[Sin[phi1], $MachinePrecision] * N[Cos[theta], $MachinePrecision]), $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{{\cos \phi_1}^{2} \cdot \cos delta - \left(\sin \phi_1 \cdot \cos theta\right) \cdot \left(\sin delta \cdot \cos \phi_1\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(+
lambda1
(atan2
(* (* (sin theta) (sin delta)) (cos phi1))
(-
(* (pow (cos phi1) 2.0) (cos delta))
(* (sin phi1) (* (sin delta) (cos phi1)))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), ((pow(cos(phi1), 2.0) * cos(delta)) - (sin(phi1) * (sin(delta) * cos(phi1)))));
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (((cos(phi1) ** 2.0d0) * cos(delta)) - (sin(phi1) * (sin(delta) * cos(phi1)))))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2(((Math.sin(theta) * Math.sin(delta)) * Math.cos(phi1)), ((Math.pow(Math.cos(phi1), 2.0) * Math.cos(delta)) - (Math.sin(phi1) * (Math.sin(delta) * Math.cos(phi1)))));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2(((math.sin(theta) * math.sin(delta)) * math.cos(phi1)), ((math.pow(math.cos(phi1), 2.0) * math.cos(delta)) - (math.sin(phi1) * (math.sin(delta) * math.cos(phi1)))))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(Float64(sin(theta) * sin(delta)) * cos(phi1)), Float64(Float64((cos(phi1) ^ 2.0) * cos(delta)) - Float64(sin(phi1) * Float64(sin(delta) * cos(phi1)))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2(((sin(theta) * sin(delta)) * cos(phi1)), (((cos(phi1) ^ 2.0) * cos(delta)) - (sin(phi1) * (sin(delta) * cos(phi1))))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[(N[Sin[theta], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision] / N[(N[(N[Power[N[Cos[phi1], $MachinePrecision], 2.0], $MachinePrecision] * N[Cos[delta], $MachinePrecision]), $MachinePrecision] - N[(N[Sin[phi1], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\left(\sin theta \cdot \sin delta\right) \cdot \cos \phi_1}{{\cos \phi_1}^{2} \cdot \cos delta - \sin \phi_1 \cdot \left(\sin delta \cdot \cos \phi_1\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* (sin theta) (* (sin delta) (cos phi1))) (fma (sin (asin (sin phi1))) (- (sin phi1)) (cos delta)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), fma(sin(asin(sin(phi1))), -sin(phi1), cos(delta)));
}
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), fma(sin(asin(sin(phi1))), Float64(-sin(phi1)), cos(delta)))) end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[Sin[N[ArcSin[N[Sin[phi1], $MachinePrecision]], $MachinePrecision]], $MachinePrecision] * (-N[Sin[phi1], $MachinePrecision]) + N[Cos[delta], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \left(\sin delta \cdot \cos \phi_1\right)}{\mathsf{fma}\left(\sin \sin^{-1} \sin \phi_1, -\sin \phi_1, \cos delta\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* (sin theta) (* (sin delta) (cos phi1))) (- (cos delta) (pow (sin phi1) 2.0)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), (cos(delta) - pow(sin(phi1), 2.0)));
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), (cos(delta) - (sin(phi1) ** 2.0d0)))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2((Math.sin(theta) * (Math.sin(delta) * Math.cos(phi1))), (Math.cos(delta) - Math.pow(Math.sin(phi1), 2.0)));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.sin(theta) * (math.sin(delta) * math.cos(phi1))), (math.cos(delta) - math.pow(math.sin(phi1), 2.0)))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), Float64(cos(delta) - (sin(phi1) ^ 2.0)))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), (cos(delta) - (sin(phi1) ^ 2.0))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[Cos[delta], $MachinePrecision] - N[Power[N[Sin[phi1], $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \left(\sin delta \cdot \cos \phi_1\right)}{\cos delta - {\sin \phi_1}^{2}}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(let* ((t_1 (* (sin theta) (* (sin delta) (cos phi1)))))
(if (or (<= delta -0.0018) (not (<= delta 5e-84)))
(+ lambda1 (atan2 t_1 (cos delta)))
(+ lambda1 (atan2 t_1 (pow (cos phi1) 2.0))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = sin(theta) * (sin(delta) * cos(phi1));
double tmp;
if ((delta <= -0.0018) || !(delta <= 5e-84)) {
tmp = lambda1 + atan2(t_1, cos(delta));
} else {
tmp = lambda1 + atan2(t_1, pow(cos(phi1), 2.0));
}
return tmp;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
real(8) :: t_1
real(8) :: tmp
t_1 = sin(theta) * (sin(delta) * cos(phi1))
if ((delta <= (-0.0018d0)) .or. (.not. (delta <= 5d-84))) then
tmp = lambda1 + atan2(t_1, cos(delta))
else
tmp = lambda1 + atan2(t_1, (cos(phi1) ** 2.0d0))
end if
code = tmp
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = Math.sin(theta) * (Math.sin(delta) * Math.cos(phi1));
double tmp;
if ((delta <= -0.0018) || !(delta <= 5e-84)) {
tmp = lambda1 + Math.atan2(t_1, Math.cos(delta));
} else {
tmp = lambda1 + Math.atan2(t_1, Math.pow(Math.cos(phi1), 2.0));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): t_1 = math.sin(theta) * (math.sin(delta) * math.cos(phi1)) tmp = 0 if (delta <= -0.0018) or not (delta <= 5e-84): tmp = lambda1 + math.atan2(t_1, math.cos(delta)) else: tmp = lambda1 + math.atan2(t_1, math.pow(math.cos(phi1), 2.0)) return tmp
function code(lambda1, phi1, phi2, delta, theta) t_1 = Float64(sin(theta) * Float64(sin(delta) * cos(phi1))) tmp = 0.0 if ((delta <= -0.0018) || !(delta <= 5e-84)) tmp = Float64(lambda1 + atan(t_1, cos(delta))); else tmp = Float64(lambda1 + atan(t_1, (cos(phi1) ^ 2.0))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) t_1 = sin(theta) * (sin(delta) * cos(phi1)); tmp = 0.0; if ((delta <= -0.0018) || ~((delta <= 5e-84))) tmp = lambda1 + atan2(t_1, cos(delta)); else tmp = lambda1 + atan2(t_1, (cos(phi1) ^ 2.0)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := Block[{t$95$1 = N[(N[Sin[theta], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Or[LessEqual[delta, -0.0018], N[Not[LessEqual[delta, 5e-84]], $MachinePrecision]], N[(lambda1 + N[ArcTan[t$95$1 / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[t$95$1 / N[Power[N[Cos[phi1], $MachinePrecision], 2.0], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \sin theta \cdot \left(\sin delta \cdot \cos \phi_1\right)\\
\mathbf{if}\;delta \leq -0.0018 \lor \neg \left(delta \leq 5 \cdot 10^{-84}\right):\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_1}{\cos delta}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_1}{{\cos \phi_1}^{2}}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(if (or (<= delta -0.00186) (not (<= delta 1.62e-83)))
(+ lambda1 (atan2 (* (sin theta) (* (sin delta) (cos phi1))) (cos delta)))
(+
lambda1
(atan2 (* (cos phi1) (* (sin theta) delta)) (pow (cos phi1) 2.0)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((delta <= -0.00186) || !(delta <= 1.62e-83)) {
tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), cos(delta));
} else {
tmp = lambda1 + atan2((cos(phi1) * (sin(theta) * delta)), pow(cos(phi1), 2.0));
}
return tmp;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
real(8) :: tmp
if ((delta <= (-0.00186d0)) .or. (.not. (delta <= 1.62d-83))) then
tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), cos(delta))
else
tmp = lambda1 + atan2((cos(phi1) * (sin(theta) * delta)), (cos(phi1) ** 2.0d0))
end if
code = tmp
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((delta <= -0.00186) || !(delta <= 1.62e-83)) {
tmp = lambda1 + Math.atan2((Math.sin(theta) * (Math.sin(delta) * Math.cos(phi1))), Math.cos(delta));
} else {
tmp = lambda1 + Math.atan2((Math.cos(phi1) * (Math.sin(theta) * delta)), Math.pow(Math.cos(phi1), 2.0));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): tmp = 0 if (delta <= -0.00186) or not (delta <= 1.62e-83): tmp = lambda1 + math.atan2((math.sin(theta) * (math.sin(delta) * math.cos(phi1))), math.cos(delta)) else: tmp = lambda1 + math.atan2((math.cos(phi1) * (math.sin(theta) * delta)), math.pow(math.cos(phi1), 2.0)) return tmp
function code(lambda1, phi1, phi2, delta, theta) tmp = 0.0 if ((delta <= -0.00186) || !(delta <= 1.62e-83)) tmp = Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), cos(delta))); else tmp = Float64(lambda1 + atan(Float64(cos(phi1) * Float64(sin(theta) * delta)), (cos(phi1) ^ 2.0))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) tmp = 0.0; if ((delta <= -0.00186) || ~((delta <= 1.62e-83))) tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), cos(delta)); else tmp = lambda1 + atan2((cos(phi1) * (sin(theta) * delta)), (cos(phi1) ^ 2.0)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[Or[LessEqual[delta, -0.00186], N[Not[LessEqual[delta, 1.62e-83]], $MachinePrecision]], N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[N[(N[Cos[phi1], $MachinePrecision] * N[(N[Sin[theta], $MachinePrecision] * delta), $MachinePrecision]), $MachinePrecision] / N[Power[N[Cos[phi1], $MachinePrecision], 2.0], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;delta \leq -0.00186 \lor \neg \left(delta \leq 1.62 \cdot 10^{-83}\right):\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \left(\sin delta \cdot \cos \phi_1\right)}{\cos delta}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\cos \phi_1 \cdot \left(\sin theta \cdot delta\right)}{{\cos \phi_1}^{2}}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(if (or (<= delta -0.00186) (not (<= delta 1e-83)))
(+ lambda1 (atan2 (* (sin theta) (* (sin delta) (cos phi1))) (cos delta)))
(+
lambda1
(atan2
(* delta (* (sin theta) (cos phi1)))
(/ (+ 1.0 (cos (* phi1 2.0))) 2.0)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((delta <= -0.00186) || !(delta <= 1e-83)) {
tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), cos(delta));
} else {
tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), ((1.0 + cos((phi1 * 2.0))) / 2.0));
}
return tmp;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
real(8) :: tmp
if ((delta <= (-0.00186d0)) .or. (.not. (delta <= 1d-83))) then
tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), cos(delta))
else
tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), ((1.0d0 + cos((phi1 * 2.0d0))) / 2.0d0))
end if
code = tmp
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((delta <= -0.00186) || !(delta <= 1e-83)) {
tmp = lambda1 + Math.atan2((Math.sin(theta) * (Math.sin(delta) * Math.cos(phi1))), Math.cos(delta));
} else {
tmp = lambda1 + Math.atan2((delta * (Math.sin(theta) * Math.cos(phi1))), ((1.0 + Math.cos((phi1 * 2.0))) / 2.0));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): tmp = 0 if (delta <= -0.00186) or not (delta <= 1e-83): tmp = lambda1 + math.atan2((math.sin(theta) * (math.sin(delta) * math.cos(phi1))), math.cos(delta)) else: tmp = lambda1 + math.atan2((delta * (math.sin(theta) * math.cos(phi1))), ((1.0 + math.cos((phi1 * 2.0))) / 2.0)) return tmp
function code(lambda1, phi1, phi2, delta, theta) tmp = 0.0 if ((delta <= -0.00186) || !(delta <= 1e-83)) tmp = Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), cos(delta))); else tmp = Float64(lambda1 + atan(Float64(delta * Float64(sin(theta) * cos(phi1))), Float64(Float64(1.0 + cos(Float64(phi1 * 2.0))) / 2.0))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) tmp = 0.0; if ((delta <= -0.00186) || ~((delta <= 1e-83))) tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), cos(delta)); else tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), ((1.0 + cos((phi1 * 2.0))) / 2.0)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[Or[LessEqual[delta, -0.00186], N[Not[LessEqual[delta, 1e-83]], $MachinePrecision]], N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[N[(delta * N[(N[Sin[theta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[(1.0 + N[Cos[N[(phi1 * 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;delta \leq -0.00186 \lor \neg \left(delta \leq 10^{-83}\right):\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \left(\sin delta \cdot \cos \phi_1\right)}{\cos delta}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{delta \cdot \left(\sin theta \cdot \cos \phi_1\right)}{\frac{1 + \cos \left(\phi_1 \cdot 2\right)}{2}}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(if (or (<= delta -0.0031) (not (<= delta 5e-84)))
(+ lambda1 (atan2 (* (sin theta) (sin delta)) (cos delta)))
(+
lambda1
(atan2
(* delta (* (sin theta) (cos phi1)))
(/ (+ 1.0 (cos (* phi1 2.0))) 2.0)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((delta <= -0.0031) || !(delta <= 5e-84)) {
tmp = lambda1 + atan2((sin(theta) * sin(delta)), cos(delta));
} else {
tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), ((1.0 + cos((phi1 * 2.0))) / 2.0));
}
return tmp;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
real(8) :: tmp
if ((delta <= (-0.0031d0)) .or. (.not. (delta <= 5d-84))) then
tmp = lambda1 + atan2((sin(theta) * sin(delta)), cos(delta))
else
tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), ((1.0d0 + cos((phi1 * 2.0d0))) / 2.0d0))
end if
code = tmp
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((delta <= -0.0031) || !(delta <= 5e-84)) {
tmp = lambda1 + Math.atan2((Math.sin(theta) * Math.sin(delta)), Math.cos(delta));
} else {
tmp = lambda1 + Math.atan2((delta * (Math.sin(theta) * Math.cos(phi1))), ((1.0 + Math.cos((phi1 * 2.0))) / 2.0));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): tmp = 0 if (delta <= -0.0031) or not (delta <= 5e-84): tmp = lambda1 + math.atan2((math.sin(theta) * math.sin(delta)), math.cos(delta)) else: tmp = lambda1 + math.atan2((delta * (math.sin(theta) * math.cos(phi1))), ((1.0 + math.cos((phi1 * 2.0))) / 2.0)) return tmp
function code(lambda1, phi1, phi2, delta, theta) tmp = 0.0 if ((delta <= -0.0031) || !(delta <= 5e-84)) tmp = Float64(lambda1 + atan(Float64(sin(theta) * sin(delta)), cos(delta))); else tmp = Float64(lambda1 + atan(Float64(delta * Float64(sin(theta) * cos(phi1))), Float64(Float64(1.0 + cos(Float64(phi1 * 2.0))) / 2.0))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) tmp = 0.0; if ((delta <= -0.0031) || ~((delta <= 5e-84))) tmp = lambda1 + atan2((sin(theta) * sin(delta)), cos(delta)); else tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), ((1.0 + cos((phi1 * 2.0))) / 2.0)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[Or[LessEqual[delta, -0.0031], N[Not[LessEqual[delta, 5e-84]], $MachinePrecision]], N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[N[(delta * N[(N[Sin[theta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[(1.0 + N[Cos[N[(phi1 * 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;delta \leq -0.0031 \lor \neg \left(delta \leq 5 \cdot 10^{-84}\right):\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \sin delta}{\cos delta}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{delta \cdot \left(\sin theta \cdot \cos \phi_1\right)}{\frac{1 + \cos \left(\phi_1 \cdot 2\right)}{2}}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* (sin theta) (sin delta)) (cos delta))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * sin(delta)), cos(delta));
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1 + atan2((sin(theta) * sin(delta)), cos(delta))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2((Math.sin(theta) * Math.sin(delta)), Math.cos(delta));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.sin(theta) * math.sin(delta)), math.cos(delta))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * sin(delta)), cos(delta))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * sin(delta)), cos(delta)); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \sin delta}{\cos delta}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (if (<= delta 0.43) (+ lambda1 (atan2 (* delta (* (sin theta) (cos phi1))) 1.0)) (+ lambda1 (atan2 (* theta (sin delta)) (cos delta)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if (delta <= 0.43) {
tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), 1.0);
} else {
tmp = lambda1 + atan2((theta * sin(delta)), cos(delta));
}
return tmp;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
real(8) :: tmp
if (delta <= 0.43d0) then
tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), 1.0d0)
else
tmp = lambda1 + atan2((theta * sin(delta)), cos(delta))
end if
code = tmp
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if (delta <= 0.43) {
tmp = lambda1 + Math.atan2((delta * (Math.sin(theta) * Math.cos(phi1))), 1.0);
} else {
tmp = lambda1 + Math.atan2((theta * Math.sin(delta)), Math.cos(delta));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): tmp = 0 if delta <= 0.43: tmp = lambda1 + math.atan2((delta * (math.sin(theta) * math.cos(phi1))), 1.0) else: tmp = lambda1 + math.atan2((theta * math.sin(delta)), math.cos(delta)) return tmp
function code(lambda1, phi1, phi2, delta, theta) tmp = 0.0 if (delta <= 0.43) tmp = Float64(lambda1 + atan(Float64(delta * Float64(sin(theta) * cos(phi1))), 1.0)); else tmp = Float64(lambda1 + atan(Float64(theta * sin(delta)), cos(delta))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) tmp = 0.0; if (delta <= 0.43) tmp = lambda1 + atan2((delta * (sin(theta) * cos(phi1))), 1.0); else tmp = lambda1 + atan2((theta * sin(delta)), cos(delta)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[LessEqual[delta, 0.43], N[(lambda1 + N[ArcTan[N[(delta * N[(N[Sin[theta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / 1.0], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[N[(theta * N[Sin[delta], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;delta \leq 0.43:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{delta \cdot \left(\sin theta \cdot \cos \phi_1\right)}{1}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{theta \cdot \sin delta}{\cos delta}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (if (<= theta -2.6e+52) lambda1 (+ lambda1 (atan2 (* theta (sin delta)) (cos delta)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if (theta <= -2.6e+52) {
tmp = lambda1;
} else {
tmp = lambda1 + atan2((theta * sin(delta)), cos(delta));
}
return tmp;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
real(8) :: tmp
if (theta <= (-2.6d+52)) then
tmp = lambda1
else
tmp = lambda1 + atan2((theta * sin(delta)), cos(delta))
end if
code = tmp
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if (theta <= -2.6e+52) {
tmp = lambda1;
} else {
tmp = lambda1 + Math.atan2((theta * Math.sin(delta)), Math.cos(delta));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): tmp = 0 if theta <= -2.6e+52: tmp = lambda1 else: tmp = lambda1 + math.atan2((theta * math.sin(delta)), math.cos(delta)) return tmp
function code(lambda1, phi1, phi2, delta, theta) tmp = 0.0 if (theta <= -2.6e+52) tmp = lambda1; else tmp = Float64(lambda1 + atan(Float64(theta * sin(delta)), cos(delta))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) tmp = 0.0; if (theta <= -2.6e+52) tmp = lambda1; else tmp = lambda1 + atan2((theta * sin(delta)), cos(delta)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[LessEqual[theta, -2.6e+52], lambda1, N[(lambda1 + N[ArcTan[N[(theta * N[Sin[delta], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;theta \leq -2.6 \cdot 10^{+52}:\\
\;\;\;\;\lambda_1\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{theta \cdot \sin delta}{\cos delta}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* (sin theta) delta) (cos delta))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * delta), cos(delta));
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1 + atan2((sin(theta) * delta), cos(delta))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2((Math.sin(theta) * delta), Math.cos(delta));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.sin(theta) * delta), math.cos(delta))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * delta), cos(delta))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * delta), cos(delta)); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * delta), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot delta}{\cos delta}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (if (<= delta 4.7e-90) lambda1 (+ lambda1 (atan2 (* theta delta) (cos delta)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if (delta <= 4.7e-90) {
tmp = lambda1;
} else {
tmp = lambda1 + atan2((theta * delta), cos(delta));
}
return tmp;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
real(8) :: tmp
if (delta <= 4.7d-90) then
tmp = lambda1
else
tmp = lambda1 + atan2((theta * delta), cos(delta))
end if
code = tmp
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if (delta <= 4.7e-90) {
tmp = lambda1;
} else {
tmp = lambda1 + Math.atan2((theta * delta), Math.cos(delta));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): tmp = 0 if delta <= 4.7e-90: tmp = lambda1 else: tmp = lambda1 + math.atan2((theta * delta), math.cos(delta)) return tmp
function code(lambda1, phi1, phi2, delta, theta) tmp = 0.0 if (delta <= 4.7e-90) tmp = lambda1; else tmp = Float64(lambda1 + atan(Float64(theta * delta), cos(delta))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) tmp = 0.0; if (delta <= 4.7e-90) tmp = lambda1; else tmp = lambda1 + atan2((theta * delta), cos(delta)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[LessEqual[delta, 4.7e-90], lambda1, N[(lambda1 + N[ArcTan[N[(theta * delta), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;delta \leq 4.7 \cdot 10^{-90}:\\
\;\;\;\;\lambda_1\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{theta \cdot delta}{\cos delta}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 lambda1)
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1;
}
real(8) function code(lambda1, phi1, phi2, delta, theta)
real(8), intent (in) :: lambda1
real(8), intent (in) :: phi1
real(8), intent (in) :: phi2
real(8), intent (in) :: delta
real(8), intent (in) :: theta
code = lambda1
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1;
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1
function code(lambda1, phi1, phi2, delta, theta) return lambda1 end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := lambda1
\begin{array}{l}
\\
\lambda_1
\end{array}
herbie shell --seed 2023348
(FPCore (lambda1 phi1 phi2 delta theta)
:name "Destination given bearing on a great circle"
:precision binary64
(+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))