
(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}
Use the --timeout flag to change the timeout.