Timeout for forward-gfi

Specification

\[evar \geq 0 \land evar < 1\]

Math

\[\begin{array}{l} t_0 := evar \cdot \sin \phi\\ {\left(\frac{1 + t\_0}{1 - t\_0}\right)}^{\left(0.5 \cdot \left(\alpha \cdot evar\right)\right)} \end{array} \]

FPCore

(FPCore (phi evar alpha)
  :precision binary64
  :pre (and (>= evar 0.0) (< evar 1.0))
  (let* ((t_0 (* evar (sin phi))))
  (pow (/ (+ 1.0 t_0) (- 1.0 t_0)) (* 0.5 (* alpha evar)))))

C

double code(double phi, double evar, double alpha) {
	double t_0 = evar * sin(phi);
	return pow(((1.0 + t_0) / (1.0 - t_0)), (0.5 * (alpha * evar)));
}

Fortran

real(8) function code(phi, evar, alpha)
use fmin_fmax_functions
    real(8), intent (in) :: phi
    real(8), intent (in) :: evar
    real(8), intent (in) :: alpha
    real(8) :: t_0
    t_0 = evar * sin(phi)
    code = ((1.0d0 + t_0) / (1.0d0 - t_0)) ** (0.5d0 * (alpha * evar))
end function

Java

public static double code(double phi, double evar, double alpha) {
	double t_0 = evar * Math.sin(phi);
	return Math.pow(((1.0 + t_0) / (1.0 - t_0)), (0.5 * (alpha * evar)));
}

Python

def code(phi, evar, alpha):
	t_0 = evar * math.sin(phi)
	return math.pow(((1.0 + t_0) / (1.0 - t_0)), (0.5 * (alpha * evar)))

Julia

function code(phi, evar, alpha)
	t_0 = Float64(evar * sin(phi))
	return Float64(Float64(1.0 + t_0) / Float64(1.0 - t_0)) ^ Float64(0.5 * Float64(alpha * evar))
end

MATLAB

function tmp = code(phi, evar, alpha)
	t_0 = evar * sin(phi);
	tmp = ((1.0 + t_0) / (1.0 - t_0)) ^ (0.5 * (alpha * evar));
end

Wolfram

code[phi_, evar_, alpha_] := Block[{t$95$0 = N[(evar * N[Sin[phi], $MachinePrecision]), $MachinePrecision]}, N[Power[N[(N[(1.0 + t$95$0), $MachinePrecision] / N[(1.0 - t$95$0), $MachinePrecision]), $MachinePrecision], N[(0.5 * N[(alpha * evar), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]]

ReFlow

f(phi, evar, alpha):
	phi in [-inf, +inf],
	evar in [0, 1],
	alpha in [-inf, +inf]
code: THEORY
BEGIN
f(phi, evar, alpha: real): real =
	LET t_0 = (evar * (sin(phi))) IN
	(((1) + t_0) / ((1) - t_0)) ^ ((5e-1) * (alpha * evar))
END code