Timeout for forward-y

Specification

\[kR > 0\]

Math

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

FPCore

(FPCore (kR phipp)
  :precision binary64
  :pre (> kR 0.0)
  (* kR (log (tan (+ (/ PI 4.0) (* 0.5 phipp))))))

C

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

Java

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

Python

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

Julia

function code(kR, phipp)
	return Float64(kR * log(tan(Float64(Float64(pi / 4.0) + Float64(0.5 * phipp)))))
end

MATLAB

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

Wolfram

code[kR_, phipp_] := N[(kR * N[Log[N[Tan[N[(N[(Pi / 4.0), $MachinePrecision] + N[(0.5 * phipp), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

ReFlow

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