Timeout for forward-tanph

Specification

Math

\[\log \tan \left(\frac{\pi}{4} + 0.5 \cdot phidp\right) \]

FPCore

(FPCore (phidp)
  :precision binary64
  :pre TRUE
  (log (tan (+ (/ PI 4.0) (* 0.5 phidp)))))

C

double code(double phidp) {
	return log(tan(((((double) M_PI) / 4.0) + (0.5 * phidp))));
}

Java

public static double code(double phidp) {
	return Math.log(Math.tan(((Math.PI / 4.0) + (0.5 * phidp))));
}

Python

def code(phidp):
	return math.log(math.tan(((math.pi / 4.0) + (0.5 * phidp))))

Julia

function code(phidp)
	return log(tan(Float64(Float64(pi / 4.0) + Float64(0.5 * phidp))))
end

MATLAB

function tmp = code(phidp)
	tmp = log(tan(((pi / 4.0) + (0.5 * phidp))));
end

Wolfram

code[phidp_] := N[Log[N[Tan[N[(N[(Pi / 4.0), $MachinePrecision] + N[(0.5 * phidp), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]

ReFlow

f(phidp):
	phidp in [-inf, +inf]
code: THEORY
BEGIN
f(phidp: real): real =
	ln((tan((((4 * atan(1)) / (4)) + ((5e-1) * phidp)))))
END code