Timeout for init-gamma0-from-alpha

Specification

Math

\[\sin^{-1} \left(\frac{\sin alpha\_c}{D}\right) \]

FPCore

(FPCore (alpha_c D)
  :precision binary64
  :pre TRUE
  (asin (/ (sin alpha_c) D)))

C

double code(double alpha_c, double D) {
	return asin((sin(alpha_c) / D));
}

Fortran

real(8) function code(alpha_c, d)
use fmin_fmax_functions
    real(8), intent (in) :: alpha_c
    real(8), intent (in) :: d
    code = asin((sin(alpha_c) / d))
end function

Java

public static double code(double alpha_c, double D) {
	return Math.asin((Math.sin(alpha_c) / D));
}

Python

def code(alpha_c, D):
	return math.asin((math.sin(alpha_c) / D))

Julia

function code(alpha_c, D)
	return asin(Float64(sin(alpha_c) / D))
end

MATLAB

function tmp = code(alpha_c, D)
	tmp = asin((sin(alpha_c) / D));
end

Wolfram

code[alpha$95$c_, D_] := N[ArcSin[N[(N[Sin[alpha$95$c], $MachinePrecision] / D), $MachinePrecision]], $MachinePrecision]

ReFlow

f(alpha_c, D):
	alpha_c in [-inf, +inf],
	D in [-inf, +inf]
code: THEORY
BEGIN
f(alpha_c, D: real): real =
	asin(((sin(alpha_c)) / D))
END code