Timeout for forward-tanlog

Specification

Math

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

FPCore

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

C

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

Java

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

Python

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

Julia

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

MATLAB

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

Wolfram

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

ReFlow

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