Timeout for inverse-lamp

Specification

Math

\[\sin^{-1} \left(\frac{\cos phipp \cdot \sin lampp}{\cos phip}\right) \]

FPCore

(FPCore (phipp lampp phip)
  :precision binary64
  :pre TRUE
  (asin (/ (* (cos phipp) (sin lampp)) (cos phip))))

C

double code(double phipp, double lampp, double phip) {
	return asin(((cos(phipp) * sin(lampp)) / cos(phip)));
}

Fortran

real(8) function code(phipp, lampp, phip)
use fmin_fmax_functions
    real(8), intent (in) :: phipp
    real(8), intent (in) :: lampp
    real(8), intent (in) :: phip
    code = asin(((cos(phipp) * sin(lampp)) / cos(phip)))
end function

Java

public static double code(double phipp, double lampp, double phip) {
	return Math.asin(((Math.cos(phipp) * Math.sin(lampp)) / Math.cos(phip)));
}

Python

def code(phipp, lampp, phip):
	return math.asin(((math.cos(phipp) * math.sin(lampp)) / math.cos(phip)))

Julia

function code(phipp, lampp, phip)
	return asin(Float64(Float64(cos(phipp) * sin(lampp)) / cos(phip)))
end

MATLAB

function tmp = code(phipp, lampp, phip)
	tmp = asin(((cos(phipp) * sin(lampp)) / cos(phip)));
end

Wolfram

code[phipp_, lampp_, phip_] := N[ArcSin[N[(N[(N[Cos[phipp], $MachinePrecision] * N[Sin[lampp], $MachinePrecision]), $MachinePrecision] / N[Cos[phip], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]

ReFlow

f(phipp, lampp, phip):
	phipp in [-inf, +inf],
	lampp in [-inf, +inf],
	phip in [-inf, +inf]
code: THEORY
BEGIN
f(phipp, lampp, phip: real): real =
	asin((((cos(phipp)) * (sin(lampp))) / (cos(phip))))
END code