Timeout for inverse-prephi

Specification

Math

\[\frac{Esc}{\sqrt{\frac{1 + Up}{1 - Up}}} \]

FPCore

(FPCore (Up Esc)
  :precision binary64
  :pre TRUE
  (/ Esc (sqrt (/ (+ 1.0 Up) (- 1.0 Up)))))

C

double code(double Up, double Esc) {
	return Esc / sqrt(((1.0 + Up) / (1.0 - Up)));
}

Fortran

real(8) function code(up, esc)
use fmin_fmax_functions
    real(8), intent (in) :: up
    real(8), intent (in) :: esc
    code = esc / sqrt(((1.0d0 + up) / (1.0d0 - up)))
end function

Java

public static double code(double Up, double Esc) {
	return Esc / Math.sqrt(((1.0 + Up) / (1.0 - Up)));
}

Python

def code(Up, Esc):
	return Esc / math.sqrt(((1.0 + Up) / (1.0 - Up)))

Julia

function code(Up, Esc)
	return Float64(Esc / sqrt(Float64(Float64(1.0 + Up) / Float64(1.0 - Up))))
end

MATLAB

function tmp = code(Up, Esc)
	tmp = Esc / sqrt(((1.0 + Up) / (1.0 - Up)));
end

Wolfram

code[Up_, Esc_] := N[(Esc / N[Sqrt[N[(N[(1.0 + Up), $MachinePrecision] / N[(1.0 - Up), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

ReFlow

f(Up, Esc):
	Up in [-inf, +inf],
	Esc in [-inf, +inf]
code: THEORY
BEGIN
f(Up, Esc: real): real =
	Esc / (sqrt((((1) + Up) / ((1) - Up))))
END code