
(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 13 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)))
(-
(cos delta)
(*
(sin phi1)
(fma
(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) * fma(sin(phi1), cos(delta), (cos(phi1) * (sin(delta) * cos(theta)))))));
}
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), Float64(cos(delta) - Float64(sin(phi1) * fma(sin(phi1), cos(delta), Float64(cos(phi1) * Float64(sin(delta) * cos(theta)))))))) 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[(N[Sin[phi1], $MachinePrecision] * N[(N[Sin[phi1], $MachinePrecision] * N[Cos[delta], $MachinePrecision] + N[(N[Cos[phi1], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[theta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $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 \cdot \mathsf{fma}\left(\sin \phi_1, \cos delta, \cos \phi_1 \cdot \left(\sin delta \cdot \cos theta\right)\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(+
lambda1
(atan2
(* (sin theta) (* (sin delta) (cos phi1)))
(-
(cos delta)
(*
(sin phi1)
(+
(* (cos phi1) (* (sin delta) (cos theta)))
(* (cos delta) (sin phi1))))))))
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) * ((cos(phi1) * (sin(delta) * cos(theta))) + (cos(delta) * sin(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(delta) - (sin(phi1) * ((cos(phi1) * (sin(delta) * cos(theta))) + (cos(delta) * sin(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.cos(delta) - (Math.sin(phi1) * ((Math.cos(phi1) * (Math.sin(delta) * Math.cos(theta))) + (Math.cos(delta) * Math.sin(phi1))))));
}
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.cos(phi1) * (math.sin(delta) * math.cos(theta))) + (math.cos(delta) * math.sin(phi1))))))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), Float64(cos(delta) - Float64(sin(phi1) * Float64(Float64(cos(phi1) * Float64(sin(delta) * cos(theta))) + Float64(cos(delta) * sin(phi1))))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), (cos(delta) - (sin(phi1) * ((cos(phi1) * (sin(delta) * cos(theta))) + (cos(delta) * sin(phi1)))))); 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[(N[Sin[phi1], $MachinePrecision] * N[(N[(N[Cos[phi1], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Cos[theta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Cos[delta], $MachinePrecision] * N[Sin[phi1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $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 \cdot \left(\cos \phi_1 \cdot \left(\sin delta \cdot \cos theta\right) + \cos delta \cdot \sin \phi_1\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(let* ((t_1 (* (sin delta) (cos phi1))))
(+
lambda1
(atan2
(* (sin theta) t_1)
(- (cos delta) (* (sin phi1) (+ (* (cos delta) (sin phi1)) t_1)))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = sin(delta) * cos(phi1);
return lambda1 + atan2((sin(theta) * t_1), (cos(delta) - (sin(phi1) * ((cos(delta) * sin(phi1)) + t_1))));
}
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
t_1 = sin(delta) * cos(phi1)
code = lambda1 + atan2((sin(theta) * t_1), (cos(delta) - (sin(phi1) * ((cos(delta) * sin(phi1)) + t_1))))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = Math.sin(delta) * Math.cos(phi1);
return lambda1 + Math.atan2((Math.sin(theta) * t_1), (Math.cos(delta) - (Math.sin(phi1) * ((Math.cos(delta) * Math.sin(phi1)) + t_1))));
}
def code(lambda1, phi1, phi2, delta, theta): t_1 = math.sin(delta) * math.cos(phi1) return lambda1 + math.atan2((math.sin(theta) * t_1), (math.cos(delta) - (math.sin(phi1) * ((math.cos(delta) * math.sin(phi1)) + t_1))))
function code(lambda1, phi1, phi2, delta, theta) t_1 = Float64(sin(delta) * cos(phi1)) return Float64(lambda1 + atan(Float64(sin(theta) * t_1), Float64(cos(delta) - Float64(sin(phi1) * Float64(Float64(cos(delta) * sin(phi1)) + t_1))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) t_1 = sin(delta) * cos(phi1); tmp = lambda1 + atan2((sin(theta) * t_1), (cos(delta) - (sin(phi1) * ((cos(delta) * sin(phi1)) + t_1)))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := Block[{t$95$1 = N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]}, N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * t$95$1), $MachinePrecision] / N[(N[Cos[delta], $MachinePrecision] - N[(N[Sin[phi1], $MachinePrecision] * N[(N[(N[Cos[delta], $MachinePrecision] * N[Sin[phi1], $MachinePrecision]), $MachinePrecision] + t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \sin delta \cdot \cos \phi_1\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot t_1}{\cos delta - \sin \phi_1 \cdot \left(\cos delta \cdot \sin \phi_1 + t_1\right)}
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* (sin theta) (* (sin delta) (cos phi1))) (log (exp (- (cos delta) (* (sin phi1) (sin (+ delta phi1)))))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), log(exp((cos(delta) - (sin(phi1) * sin((delta + 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))), log(exp((cos(delta) - (sin(phi1) * sin((delta + 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.log(Math.exp((Math.cos(delta) - (Math.sin(phi1) * Math.sin((delta + phi1)))))));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.sin(theta) * (math.sin(delta) * math.cos(phi1))), math.log(math.exp((math.cos(delta) - (math.sin(phi1) * math.sin((delta + phi1)))))))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), log(exp(Float64(cos(delta) - Float64(sin(phi1) * sin(Float64(delta + phi1)))))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), log(exp((cos(delta) - (sin(phi1) * sin((delta + phi1))))))); 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[Log[N[Exp[N[(N[Cos[delta], $MachinePrecision] - N[(N[Sin[phi1], $MachinePrecision] * N[Sin[N[(delta + phi1), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \left(\sin delta \cdot \cos \phi_1\right)}{\log \left(e^{\cos delta - \sin \phi_1 \cdot \sin \left(delta + \phi_1\right)}\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(let* ((t_1 (* (sin delta) (cos phi1))) (t_2 (* (sin theta) t_1)))
(if (<= delta -260000.0)
(+ lambda1 (atan2 t_2 (cos delta)))
(if (<= delta 1.4e-19)
(+ lambda1 (atan2 t_2 (pow (cos phi1) 2.0)))
(+ lambda1 (atan2 (* t_1 (log1p (expm1 (sin theta)))) (cos delta)))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = sin(delta) * cos(phi1);
double t_2 = sin(theta) * t_1;
double tmp;
if (delta <= -260000.0) {
tmp = lambda1 + atan2(t_2, cos(delta));
} else if (delta <= 1.4e-19) {
tmp = lambda1 + atan2(t_2, pow(cos(phi1), 2.0));
} else {
tmp = lambda1 + atan2((t_1 * log1p(expm1(sin(theta)))), cos(delta));
}
return tmp;
}
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = Math.sin(delta) * Math.cos(phi1);
double t_2 = Math.sin(theta) * t_1;
double tmp;
if (delta <= -260000.0) {
tmp = lambda1 + Math.atan2(t_2, Math.cos(delta));
} else if (delta <= 1.4e-19) {
tmp = lambda1 + Math.atan2(t_2, Math.pow(Math.cos(phi1), 2.0));
} else {
tmp = lambda1 + Math.atan2((t_1 * Math.log1p(Math.expm1(Math.sin(theta)))), Math.cos(delta));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): t_1 = math.sin(delta) * math.cos(phi1) t_2 = math.sin(theta) * t_1 tmp = 0 if delta <= -260000.0: tmp = lambda1 + math.atan2(t_2, math.cos(delta)) elif delta <= 1.4e-19: tmp = lambda1 + math.atan2(t_2, math.pow(math.cos(phi1), 2.0)) else: tmp = lambda1 + math.atan2((t_1 * math.log1p(math.expm1(math.sin(theta)))), math.cos(delta)) return tmp
function code(lambda1, phi1, phi2, delta, theta) t_1 = Float64(sin(delta) * cos(phi1)) t_2 = Float64(sin(theta) * t_1) tmp = 0.0 if (delta <= -260000.0) tmp = Float64(lambda1 + atan(t_2, cos(delta))); elseif (delta <= 1.4e-19) tmp = Float64(lambda1 + atan(t_2, (cos(phi1) ^ 2.0))); else tmp = Float64(lambda1 + atan(Float64(t_1 * log1p(expm1(sin(theta)))), cos(delta))); end return tmp end
code[lambda1_, phi1_, phi2_, delta_, theta_] := Block[{t$95$1 = N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(N[Sin[theta], $MachinePrecision] * t$95$1), $MachinePrecision]}, If[LessEqual[delta, -260000.0], N[(lambda1 + N[ArcTan[t$95$2 / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[delta, 1.4e-19], N[(lambda1 + N[ArcTan[t$95$2 / N[Power[N[Cos[phi1], $MachinePrecision], 2.0], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[N[(t$95$1 * N[Log[1 + N[(Exp[N[Sin[theta], $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \sin delta \cdot \cos \phi_1\\
t_2 := \sin theta \cdot t_1\\
\mathbf{if}\;delta \leq -260000:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_2}{\cos delta}\\
\mathbf{elif}\;delta \leq 1.4 \cdot 10^{-19}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_2}{{\cos \phi_1}^{2}}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_1 \cdot \mathsf{log1p}\left(\mathsf{expm1}\left(\sin theta\right)\right)}{\cos delta}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(let* ((t_1 (* (sin delta) (cos phi1))))
(if (<= delta -260000.0)
(+ lambda1 (atan2 (* (sin theta) (log1p (expm1 t_1))) (cos delta)))
(if (<= delta 1.4e-19)
(+ lambda1 (atan2 (* (sin theta) t_1) (pow (cos phi1) 2.0)))
(+ lambda1 (atan2 (* t_1 (log1p (expm1 (sin theta)))) (cos delta)))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = sin(delta) * cos(phi1);
double tmp;
if (delta <= -260000.0) {
tmp = lambda1 + atan2((sin(theta) * log1p(expm1(t_1))), cos(delta));
} else if (delta <= 1.4e-19) {
tmp = lambda1 + atan2((sin(theta) * t_1), pow(cos(phi1), 2.0));
} else {
tmp = lambda1 + atan2((t_1 * log1p(expm1(sin(theta)))), cos(delta));
}
return tmp;
}
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = Math.sin(delta) * Math.cos(phi1);
double tmp;
if (delta <= -260000.0) {
tmp = lambda1 + Math.atan2((Math.sin(theta) * Math.log1p(Math.expm1(t_1))), Math.cos(delta));
} else if (delta <= 1.4e-19) {
tmp = lambda1 + Math.atan2((Math.sin(theta) * t_1), Math.pow(Math.cos(phi1), 2.0));
} else {
tmp = lambda1 + Math.atan2((t_1 * Math.log1p(Math.expm1(Math.sin(theta)))), Math.cos(delta));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): t_1 = math.sin(delta) * math.cos(phi1) tmp = 0 if delta <= -260000.0: tmp = lambda1 + math.atan2((math.sin(theta) * math.log1p(math.expm1(t_1))), math.cos(delta)) elif delta <= 1.4e-19: tmp = lambda1 + math.atan2((math.sin(theta) * t_1), math.pow(math.cos(phi1), 2.0)) else: tmp = lambda1 + math.atan2((t_1 * math.log1p(math.expm1(math.sin(theta)))), math.cos(delta)) return tmp
function code(lambda1, phi1, phi2, delta, theta) t_1 = Float64(sin(delta) * cos(phi1)) tmp = 0.0 if (delta <= -260000.0) tmp = Float64(lambda1 + atan(Float64(sin(theta) * log1p(expm1(t_1))), cos(delta))); elseif (delta <= 1.4e-19) tmp = Float64(lambda1 + atan(Float64(sin(theta) * t_1), (cos(phi1) ^ 2.0))); else tmp = Float64(lambda1 + atan(Float64(t_1 * log1p(expm1(sin(theta)))), cos(delta))); end return tmp end
code[lambda1_, phi1_, phi2_, delta_, theta_] := Block[{t$95$1 = N[(N[Sin[delta], $MachinePrecision] * N[Cos[phi1], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[delta, -260000.0], N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[Log[1 + N[(Exp[t$95$1] - 1), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[delta, 1.4e-19], N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * t$95$1), $MachinePrecision] / N[Power[N[Cos[phi1], $MachinePrecision], 2.0], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[N[(t$95$1 * N[Log[1 + N[(Exp[N[Sin[theta], $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \sin delta \cdot \cos \phi_1\\
\mathbf{if}\;delta \leq -260000:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \mathsf{log1p}\left(\mathsf{expm1}\left(t_1\right)\right)}{\cos delta}\\
\mathbf{elif}\;delta \leq 1.4 \cdot 10^{-19}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot t_1}{{\cos \phi_1}^{2}}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_1 \cdot \mathsf{log1p}\left(\mathsf{expm1}\left(\sin theta\right)\right)}{\cos delta}\\
\end{array}
\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 -260000.0) (not (<= delta 1.4e-19)))
(+ 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 <= -260000.0) || !(delta <= 1.4e-19)) {
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 <= (-260000.0d0)) .or. (.not. (delta <= 1.4d-19))) 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 <= -260000.0) || !(delta <= 1.4e-19)) {
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 <= -260000.0) or not (delta <= 1.4e-19): 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 <= -260000.0) || !(delta <= 1.4e-19)) 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 <= -260000.0) || ~((delta <= 1.4e-19))) 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, -260000.0], N[Not[LessEqual[delta, 1.4e-19]], $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 -260000 \lor \neg \left(delta \leq 1.4 \cdot 10^{-19}\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 (+ lambda1 (atan2 (* (sin theta) (* (sin delta) (cos phi1))) (cos delta))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * (sin(delta) * cos(phi1))), 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(phi1))), 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(phi1))), Math.cos(delta));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.sin(theta) * (math.sin(delta) * math.cos(phi1))), math.cos(delta))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * Float64(sin(delta) * cos(phi1))), cos(delta))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * (sin(delta) * cos(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[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \left(\sin delta \cdot \cos \phi_1\right)}{\cos delta}
\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 (or (<= theta -1.2e+40) (not (<= theta 9.2e-7))) (+ lambda1 (atan2 (* (sin theta) delta) (cos delta))) (+ lambda1 (atan2 (* theta (sin delta)) (cos delta)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((theta <= -1.2e+40) || !(theta <= 9.2e-7)) {
tmp = lambda1 + atan2((sin(theta) * delta), cos(delta));
} 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 <= (-1.2d+40)) .or. (.not. (theta <= 9.2d-7))) then
tmp = lambda1 + atan2((sin(theta) * delta), cos(delta))
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 <= -1.2e+40) || !(theta <= 9.2e-7)) {
tmp = lambda1 + Math.atan2((Math.sin(theta) * delta), Math.cos(delta));
} 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 <= -1.2e+40) or not (theta <= 9.2e-7): tmp = lambda1 + math.atan2((math.sin(theta) * delta), math.cos(delta)) 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 <= -1.2e+40) || !(theta <= 9.2e-7)) tmp = Float64(lambda1 + atan(Float64(sin(theta) * delta), cos(delta))); 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 <= -1.2e+40) || ~((theta <= 9.2e-7))) tmp = lambda1 + atan2((sin(theta) * delta), cos(delta)); else tmp = lambda1 + atan2((theta * sin(delta)), cos(delta)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[Or[LessEqual[theta, -1.2e+40], N[Not[LessEqual[theta, 9.2e-7]], $MachinePrecision]], N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * delta), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $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}\;theta \leq -1.2 \cdot 10^{+40} \lor \neg \left(theta \leq 9.2 \cdot 10^{-7}\right):\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot delta}{\cos delta}\\
\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 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 2024006
(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))))))))))