Timeout for forward-rho

Specification

\[rho0 > 0 \land n > 0\]

Math

\[\frac{rho0 \cdot {\tan \left(0.5 \cdot 1.37008346281555 + \frac{\pi}{4}\right)}^{n}}{{\tan \left(0.5 \cdot s + \frac{\pi}{4}\right)}^{n}} \]

FPCore

(FPCore (rho0 s n)
  :precision binary64
  :pre (and (> rho0 0.0) (> n 0.0))
  (/
 (* rho0 (pow (tan (+ (* 0.5 1.37008346281555) (/ PI 4.0))) n))
 (pow (tan (+ (* 0.5 s) (/ PI 4.0))) n)))

C

double code(double rho0, double s, double n) {
	return (rho0 * pow(tan(((0.5 * 1.37008346281555) + (((double) M_PI) / 4.0))), n)) / pow(tan(((0.5 * s) + (((double) M_PI) / 4.0))), n);
}

Java

public static double code(double rho0, double s, double n) {
	return (rho0 * Math.pow(Math.tan(((0.5 * 1.37008346281555) + (Math.PI / 4.0))), n)) / Math.pow(Math.tan(((0.5 * s) + (Math.PI / 4.0))), n);
}

Python

def code(rho0, s, n):
	return (rho0 * math.pow(math.tan(((0.5 * 1.37008346281555) + (math.pi / 4.0))), n)) / math.pow(math.tan(((0.5 * s) + (math.pi / 4.0))), n)

Julia

function code(rho0, s, n)
	return Float64(Float64(rho0 * (tan(Float64(Float64(0.5 * 1.37008346281555) + Float64(pi / 4.0))) ^ n)) / (tan(Float64(Float64(0.5 * s) + Float64(pi / 4.0))) ^ n))
end

MATLAB

function tmp = code(rho0, s, n)
	tmp = (rho0 * (tan(((0.5 * 1.37008346281555) + (pi / 4.0))) ^ n)) / (tan(((0.5 * s) + (pi / 4.0))) ^ n);
end

Wolfram

code[rho0_, s_, n_] := N[(N[(rho0 * N[Power[N[Tan[N[(N[(0.5 * 1.37008346281555), $MachinePrecision] + N[(Pi / 4.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], n], $MachinePrecision]), $MachinePrecision] / N[Power[N[Tan[N[(N[(0.5 * s), $MachinePrecision] + N[(Pi / 4.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], n], $MachinePrecision]), $MachinePrecision]

ReFlow

f(rho0, s, n):
	rho0 in [0, +inf],
	s in [-inf, +inf],
	n in [0, +inf]
code: THEORY
BEGIN
f(rho0, s, n: real): real =
	(rho0 * ((tan((((5e-1) * (1370083462815550046087764712865464389324188232421875e-51)) + ((4 * atan(1)) / (4))))) ^ n)) / ((tan((((5e-1) * s) + ((4 * atan(1)) / (4))))) ^ n)
END code