Timeout for init-v-pole-n

Specification

Math

\[ArB \cdot \log \tan \left(\frac{\pi}{4} - 0.5 \cdot gamma0\right) \]

FPCore

(FPCore (ArB gamma0)
  :precision binary64
  :pre TRUE
  (* ArB (log (tan (- (/ PI 4.0) (* 0.5 gamma0))))))

C

double code(double ArB, double gamma0) {
	return ArB * log(tan(((((double) M_PI) / 4.0) - (0.5 * gamma0))));
}

Java

public static double code(double ArB, double gamma0) {
	return ArB * Math.log(Math.tan(((Math.PI / 4.0) - (0.5 * gamma0))));
}

Python

def code(ArB, gamma0):
	return ArB * math.log(math.tan(((math.pi / 4.0) - (0.5 * gamma0))))

Julia

function code(ArB, gamma0)
	return Float64(ArB * log(tan(Float64(Float64(pi / 4.0) - Float64(0.5 * gamma0)))))
end

MATLAB

function tmp = code(ArB, gamma0)
	tmp = ArB * log(tan(((pi / 4.0) - (0.5 * gamma0))));
end

Wolfram

code[ArB_, gamma0_] := N[(ArB * N[Log[N[Tan[N[(N[(Pi / 4.0), $MachinePrecision] - N[(0.5 * gamma0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

ReFlow

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