Timeout for init-alpha-from-gamma0

Specification

Math

\[\sin^{-1} \left(D \cdot \sin gamma0\right) \]

FPCore

(FPCore (gamma0 D)
  :precision binary64
  :pre TRUE
  (asin (* D (sin gamma0))))

C

double code(double gamma0, double D) {
	return asin((D * sin(gamma0)));
}

Fortran

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

Java

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

Python

def code(gamma0, D):
	return math.asin((D * math.sin(gamma0)))

Julia

function code(gamma0, D)
	return asin(Float64(D * sin(gamma0)))
end

MATLAB

function tmp = code(gamma0, D)
	tmp = asin((D * sin(gamma0)));
end

Wolfram

code[gamma0_, D_] := N[ArcSin[N[(D * N[Sin[gamma0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]

ReFlow

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