Timeout for forward-lampp

Specification

Math

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

FPCore

(FPCore (cp lamp phipp)
  :precision binary64
  :pre TRUE
  (asin (/ (* cp (sin lamp)) (cos phipp))))

C

double code(double cp, double lamp, double phipp) {
	return asin(((cp * sin(lamp)) / cos(phipp)));
}

Fortran

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

Java

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

Python

def code(cp, lamp, phipp):
	return math.asin(((cp * math.sin(lamp)) / math.cos(phipp)))

Julia

function code(cp, lamp, phipp)
	return asin(Float64(Float64(cp * sin(lamp)) / cos(phipp)))
end

MATLAB

function tmp = code(cp, lamp, phipp)
	tmp = asin(((cp * sin(lamp)) / cos(phipp)));
end

Wolfram

code[cp_, lamp_, phipp_] := N[ArcSin[N[(N[(cp * N[Sin[lamp], $MachinePrecision]), $MachinePrecision] / N[Cos[phipp], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]

ReFlow

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