init-lam0-alpha

Specification

?
\[lamc - \frac{\sin^{-1} \left(\left(0.5 \cdot \left(F - \frac{1}{F}\right)\right) \cdot \tan gamma0\right)}{B} \]
(FPCore (lamc F gamma0 B)
  :precision binary64
  :pre TRUE
  (- lamc (/ (asin (* (* 0.5 (- F (/ 1.0 F))) (tan gamma0))) B)))
double code(double lamc, double F, double gamma0, double B) {
	return lamc - (asin(((0.5 * (F - (1.0 / F))) * tan(gamma0))) / B);
}
real(8) function code(lamc, f, gamma0, b)
use fmin_fmax_functions
    real(8), intent (in) :: lamc
    real(8), intent (in) :: f
    real(8), intent (in) :: gamma0
    real(8), intent (in) :: b
    code = lamc - (asin(((0.5d0 * (f - (1.0d0 / f))) * tan(gamma0))) / b)
end function
public static double code(double lamc, double F, double gamma0, double B) {
	return lamc - (Math.asin(((0.5 * (F - (1.0 / F))) * Math.tan(gamma0))) / B);
}
def code(lamc, F, gamma0, B):
	return lamc - (math.asin(((0.5 * (F - (1.0 / F))) * math.tan(gamma0))) / B)
function code(lamc, F, gamma0, B)
	return Float64(lamc - Float64(asin(Float64(Float64(0.5 * Float64(F - Float64(1.0 / F))) * tan(gamma0))) / B))
end
function tmp = code(lamc, F, gamma0, B)
	tmp = lamc - (asin(((0.5 * (F - (1.0 / F))) * tan(gamma0))) / B);
end
code[lamc_, F_, gamma0_, B_] := N[(lamc - N[(N[ArcSin[N[(N[(0.5 * N[(F - N[(1.0 / F), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Tan[gamma0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / B), $MachinePrecision]), $MachinePrecision]
f(lamc, F, gamma0, B):
	lamc in [-inf, +inf],
	F in [-inf, +inf],
	gamma0 in [-inf, +inf],
	B in [-inf, +inf]
code: THEORY
BEGIN
f(lamc, F, gamma0, B: real): real =
	lamc - ((asin((((5e-1) * (F - ((1) / F))) * (tan(gamma0))))) / B)
END code
lamc - \frac{\sin^{-1} \left(\left(0.5 \cdot \left(F - \frac{1}{F}\right)\right) \cdot \tan gamma0\right)}{B}

Timeout after 2.5min

Use the --timeout flag to change the timeout.