
(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 9 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
(* (cos phi1) (* (sin delta) (sin theta)))
(-
(cos delta)
(*
(sin phi1)
(+
(* (cos delta) (sin phi1))
(* (cos phi1) (* (sin delta) (cos theta)))))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((cos(phi1) * (sin(delta) * sin(theta))), (cos(delta) - (sin(phi1) * ((cos(delta) * sin(phi1)) + (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((cos(phi1) * (sin(delta) * sin(theta))), (cos(delta) - (sin(phi1) * ((cos(delta) * sin(phi1)) + (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.cos(phi1) * (Math.sin(delta) * Math.sin(theta))), (Math.cos(delta) - (Math.sin(phi1) * ((Math.cos(delta) * Math.sin(phi1)) + (Math.cos(phi1) * (Math.sin(delta) * Math.cos(theta)))))));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.cos(phi1) * (math.sin(delta) * math.sin(theta))), (math.cos(delta) - (math.sin(phi1) * ((math.cos(delta) * math.sin(phi1)) + (math.cos(phi1) * (math.sin(delta) * math.cos(theta)))))))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(cos(phi1) * Float64(sin(delta) * sin(theta))), Float64(cos(delta) - Float64(sin(phi1) * Float64(Float64(cos(delta) * sin(phi1)) + Float64(cos(phi1) * Float64(sin(delta) * cos(theta)))))))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((cos(phi1) * (sin(delta) * sin(theta))), (cos(delta) - (sin(phi1) * ((cos(delta) * sin(phi1)) + (cos(phi1) * (sin(delta) * cos(theta))))))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Cos[phi1], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Sin[theta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[Cos[delta], $MachinePrecision] - N[(N[Sin[phi1], $MachinePrecision] * N[(N[(N[Cos[delta], $MachinePrecision] * N[Sin[phi1], $MachinePrecision]), $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{\cos \phi_1 \cdot \left(\sin delta \cdot \sin theta\right)}{\cos delta - \sin \phi_1 \cdot \left(\cos delta \cdot \sin \phi_1 + \cos \phi_1 \cdot \left(\sin delta \cdot \cos theta\right)\right)}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(let* ((t_1 (* (cos phi1) (sin delta))))
(+
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 = cos(phi1) * sin(delta);
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 = cos(phi1) * sin(delta)
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.cos(phi1) * Math.sin(delta);
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.cos(phi1) * math.sin(delta) 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(cos(phi1) * sin(delta)) 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 = cos(phi1) * sin(delta); 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[Cos[phi1], $MachinePrecision] * N[Sin[delta], $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 := \cos \phi_1 \cdot \sin delta\\
\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) (* (cos phi1) (sin delta))) (- (cos delta) (pow (sin phi1) 2.0)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * (cos(phi1) * sin(delta))), (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) * (cos(phi1) * sin(delta))), (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.cos(phi1) * Math.sin(delta))), (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.cos(phi1) * math.sin(delta))), (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(cos(phi1) * sin(delta))), Float64(cos(delta) - (sin(phi1) ^ 2.0)))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * (cos(phi1) * sin(delta))), (cos(delta) - (sin(phi1) ^ 2.0))); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[(N[Cos[phi1], $MachinePrecision] * N[Sin[delta], $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(\cos \phi_1 \cdot \sin delta\right)}{\cos delta - {\sin \phi_1}^{2}}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta)
:precision binary64
(let* ((t_1 (* (sin theta) (* (cos phi1) (sin delta)))))
(if (<= delta -3.1e-6)
(+ lambda1 (atan2 t_1 (cos delta)))
(if (<= delta 3.6e-27)
(+
lambda1
(atan2
(* (cos phi1) (* (sin delta) (sin theta)))
(- 1.0 (pow (sin phi1) 2.0))))
(+ lambda1 (atan2 t_1 (- (cos delta) (* phi1 (sin delta)))))))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double t_1 = sin(theta) * (cos(phi1) * sin(delta));
double tmp;
if (delta <= -3.1e-6) {
tmp = lambda1 + atan2(t_1, cos(delta));
} else if (delta <= 3.6e-27) {
tmp = lambda1 + atan2((cos(phi1) * (sin(delta) * sin(theta))), (1.0 - pow(sin(phi1), 2.0)));
} else {
tmp = lambda1 + atan2(t_1, (cos(delta) - (phi1 * sin(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) :: t_1
real(8) :: tmp
t_1 = sin(theta) * (cos(phi1) * sin(delta))
if (delta <= (-3.1d-6)) then
tmp = lambda1 + atan2(t_1, cos(delta))
else if (delta <= 3.6d-27) then
tmp = lambda1 + atan2((cos(phi1) * (sin(delta) * sin(theta))), (1.0d0 - (sin(phi1) ** 2.0d0)))
else
tmp = lambda1 + atan2(t_1, (cos(delta) - (phi1 * sin(delta))))
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.cos(phi1) * Math.sin(delta));
double tmp;
if (delta <= -3.1e-6) {
tmp = lambda1 + Math.atan2(t_1, Math.cos(delta));
} else if (delta <= 3.6e-27) {
tmp = lambda1 + Math.atan2((Math.cos(phi1) * (Math.sin(delta) * Math.sin(theta))), (1.0 - Math.pow(Math.sin(phi1), 2.0)));
} else {
tmp = lambda1 + Math.atan2(t_1, (Math.cos(delta) - (phi1 * Math.sin(delta))));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): t_1 = math.sin(theta) * (math.cos(phi1) * math.sin(delta)) tmp = 0 if delta <= -3.1e-6: tmp = lambda1 + math.atan2(t_1, math.cos(delta)) elif delta <= 3.6e-27: tmp = lambda1 + math.atan2((math.cos(phi1) * (math.sin(delta) * math.sin(theta))), (1.0 - math.pow(math.sin(phi1), 2.0))) else: tmp = lambda1 + math.atan2(t_1, (math.cos(delta) - (phi1 * math.sin(delta)))) return tmp
function code(lambda1, phi1, phi2, delta, theta) t_1 = Float64(sin(theta) * Float64(cos(phi1) * sin(delta))) tmp = 0.0 if (delta <= -3.1e-6) tmp = Float64(lambda1 + atan(t_1, cos(delta))); elseif (delta <= 3.6e-27) tmp = Float64(lambda1 + atan(Float64(cos(phi1) * Float64(sin(delta) * sin(theta))), Float64(1.0 - (sin(phi1) ^ 2.0)))); else tmp = Float64(lambda1 + atan(t_1, Float64(cos(delta) - Float64(phi1 * sin(delta))))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) t_1 = sin(theta) * (cos(phi1) * sin(delta)); tmp = 0.0; if (delta <= -3.1e-6) tmp = lambda1 + atan2(t_1, cos(delta)); elseif (delta <= 3.6e-27) tmp = lambda1 + atan2((cos(phi1) * (sin(delta) * sin(theta))), (1.0 - (sin(phi1) ^ 2.0))); else tmp = lambda1 + atan2(t_1, (cos(delta) - (phi1 * sin(delta)))); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := Block[{t$95$1 = N[(N[Sin[theta], $MachinePrecision] * N[(N[Cos[phi1], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[delta, -3.1e-6], N[(lambda1 + N[ArcTan[t$95$1 / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[delta, 3.6e-27], N[(lambda1 + N[ArcTan[N[(N[Cos[phi1], $MachinePrecision] * N[(N[Sin[delta], $MachinePrecision] * N[Sin[theta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(1.0 - N[Power[N[Sin[phi1], $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[t$95$1 / N[(N[Cos[delta], $MachinePrecision] - N[(phi1 * N[Sin[delta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \sin theta \cdot \left(\cos \phi_1 \cdot \sin delta\right)\\
\mathbf{if}\;delta \leq -3.1 \cdot 10^{-6}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_1}{\cos delta}\\
\mathbf{elif}\;delta \leq 3.6 \cdot 10^{-27}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\cos \phi_1 \cdot \left(\sin delta \cdot \sin theta\right)}{1 - {\sin \phi_1}^{2}}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{t_1}{\cos delta - \phi_1 \cdot \sin delta}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* (sin theta) (* (cos phi1) (sin delta))) (cos delta))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(theta) * (cos(phi1) * 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) * (cos(phi1) * 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.cos(phi1) * Math.sin(delta))), Math.cos(delta));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.sin(theta) * (math.cos(phi1) * math.sin(delta))), math.cos(delta))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(theta) * Float64(cos(phi1) * sin(delta))), cos(delta))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(theta) * (cos(phi1) * sin(delta))), cos(delta)); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Sin[theta], $MachinePrecision] * N[(N[Cos[phi1], $MachinePrecision] * N[Sin[delta], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin theta \cdot \left(\cos \phi_1 \cdot \sin delta\right)}{\cos delta}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* (sin delta) (sin theta)) (cos delta))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((sin(delta) * sin(theta)), 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(delta) * sin(theta)), cos(delta))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2((Math.sin(delta) * Math.sin(theta)), Math.cos(delta));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((math.sin(delta) * math.sin(theta)), math.cos(delta))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(sin(delta) * sin(theta)), cos(delta))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((sin(delta) * sin(theta)), cos(delta)); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(N[Sin[delta], $MachinePrecision] * N[Sin[theta], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{\sin delta \cdot \sin theta}{\cos delta}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (if (or (<= delta -6.2e-6) (not (<= delta 3.6e-27))) (+ lambda1 (atan2 (* (sin delta) theta) (cos delta))) (+ lambda1 (atan2 (* delta (sin theta)) (cos delta)))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
double tmp;
if ((delta <= -6.2e-6) || !(delta <= 3.6e-27)) {
tmp = lambda1 + atan2((sin(delta) * theta), cos(delta));
} else {
tmp = lambda1 + atan2((delta * sin(theta)), 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 <= (-6.2d-6)) .or. (.not. (delta <= 3.6d-27))) then
tmp = lambda1 + atan2((sin(delta) * theta), cos(delta))
else
tmp = lambda1 + atan2((delta * sin(theta)), 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 <= -6.2e-6) || !(delta <= 3.6e-27)) {
tmp = lambda1 + Math.atan2((Math.sin(delta) * theta), Math.cos(delta));
} else {
tmp = lambda1 + Math.atan2((delta * Math.sin(theta)), Math.cos(delta));
}
return tmp;
}
def code(lambda1, phi1, phi2, delta, theta): tmp = 0 if (delta <= -6.2e-6) or not (delta <= 3.6e-27): tmp = lambda1 + math.atan2((math.sin(delta) * theta), math.cos(delta)) else: tmp = lambda1 + math.atan2((delta * math.sin(theta)), math.cos(delta)) return tmp
function code(lambda1, phi1, phi2, delta, theta) tmp = 0.0 if ((delta <= -6.2e-6) || !(delta <= 3.6e-27)) tmp = Float64(lambda1 + atan(Float64(sin(delta) * theta), cos(delta))); else tmp = Float64(lambda1 + atan(Float64(delta * sin(theta)), cos(delta))); end return tmp end
function tmp_2 = code(lambda1, phi1, phi2, delta, theta) tmp = 0.0; if ((delta <= -6.2e-6) || ~((delta <= 3.6e-27))) tmp = lambda1 + atan2((sin(delta) * theta), cos(delta)); else tmp = lambda1 + atan2((delta * sin(theta)), cos(delta)); end tmp_2 = tmp; end
code[lambda1_, phi1_, phi2_, delta_, theta_] := If[Or[LessEqual[delta, -6.2e-6], N[Not[LessEqual[delta, 3.6e-27]], $MachinePrecision]], N[(lambda1 + N[ArcTan[N[(N[Sin[delta], $MachinePrecision] * theta), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(lambda1 + N[ArcTan[N[(delta * N[Sin[theta], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;delta \leq -6.2 \cdot 10^{-6} \lor \neg \left(delta \leq 3.6 \cdot 10^{-27}\right):\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{\sin delta \cdot theta}{\cos delta}\\
\mathbf{else}:\\
\;\;\;\;\lambda_1 + \tan^{-1}_* \frac{delta \cdot \sin theta}{\cos delta}\\
\end{array}
\end{array}
(FPCore (lambda1 phi1 phi2 delta theta) :precision binary64 (+ lambda1 (atan2 (* delta (sin theta)) (cos delta))))
double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + atan2((delta * sin(theta)), 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((delta * sin(theta)), cos(delta))
end function
public static double code(double lambda1, double phi1, double phi2, double delta, double theta) {
return lambda1 + Math.atan2((delta * Math.sin(theta)), Math.cos(delta));
}
def code(lambda1, phi1, phi2, delta, theta): return lambda1 + math.atan2((delta * math.sin(theta)), math.cos(delta))
function code(lambda1, phi1, phi2, delta, theta) return Float64(lambda1 + atan(Float64(delta * sin(theta)), cos(delta))) end
function tmp = code(lambda1, phi1, phi2, delta, theta) tmp = lambda1 + atan2((delta * sin(theta)), cos(delta)); end
code[lambda1_, phi1_, phi2_, delta_, theta_] := N[(lambda1 + N[ArcTan[N[(delta * N[Sin[theta], $MachinePrecision]), $MachinePrecision] / N[Cos[delta], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\lambda_1 + \tan^{-1}_* \frac{delta \cdot \sin theta}{\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 2023340
(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))))))))))