Timeout for exact-forward-tanCe

Specification

Math

\[\frac{\sin lam \cdot \cos Cn}{\sqrt{\sin Cn \cdot \sin Cn + \cos Cn \cdot \left(\cos Cn \cdot \left(\cos lam \cdot \cos lam\right)\right)}} \]

FPCore

(FPCore (Cn lam)
  :precision binary64
  :pre TRUE
  (/
 (* (sin lam) (cos Cn))
 (sqrt
  (+
   (* (sin Cn) (sin Cn))
   (* (cos Cn) (* (cos Cn) (* (cos lam) (cos lam))))))))

C

double code(double Cn, double lam) {
	return (sin(lam) * cos(Cn)) / sqrt(((sin(Cn) * sin(Cn)) + (cos(Cn) * (cos(Cn) * (cos(lam) * cos(lam))))));
}

Fortran

real(8) function code(cn, lam)
use fmin_fmax_functions
    real(8), intent (in) :: cn
    real(8), intent (in) :: lam
    code = (sin(lam) * cos(cn)) / sqrt(((sin(cn) * sin(cn)) + (cos(cn) * (cos(cn) * (cos(lam) * cos(lam))))))
end function

Java

public static double code(double Cn, double lam) {
	return (Math.sin(lam) * Math.cos(Cn)) / Math.sqrt(((Math.sin(Cn) * Math.sin(Cn)) + (Math.cos(Cn) * (Math.cos(Cn) * (Math.cos(lam) * Math.cos(lam))))));
}

Python

def code(Cn, lam):
	return (math.sin(lam) * math.cos(Cn)) / math.sqrt(((math.sin(Cn) * math.sin(Cn)) + (math.cos(Cn) * (math.cos(Cn) * (math.cos(lam) * math.cos(lam))))))

Julia

function code(Cn, lam)
	return Float64(Float64(sin(lam) * cos(Cn)) / sqrt(Float64(Float64(sin(Cn) * sin(Cn)) + Float64(cos(Cn) * Float64(cos(Cn) * Float64(cos(lam) * cos(lam)))))))
end

MATLAB

function tmp = code(Cn, lam)
	tmp = (sin(lam) * cos(Cn)) / sqrt(((sin(Cn) * sin(Cn)) + (cos(Cn) * (cos(Cn) * (cos(lam) * cos(lam))))));
end

Wolfram

code[Cn_, lam_] := N[(N[(N[Sin[lam], $MachinePrecision] * N[Cos[Cn], $MachinePrecision]), $MachinePrecision] / N[Sqrt[N[(N[(N[Sin[Cn], $MachinePrecision] * N[Sin[Cn], $MachinePrecision]), $MachinePrecision] + N[(N[Cos[Cn], $MachinePrecision] * N[(N[Cos[Cn], $MachinePrecision] * N[(N[Cos[lam], $MachinePrecision] * N[Cos[lam], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

ReFlow

f(Cn, lam):
	Cn in [-inf, +inf],
	lam in [-inf, +inf]
code: THEORY
BEGIN
f(Cn, lam: real): real =
	((sin(lam)) * (cos(Cn))) / (sqrt((((sin(Cn)) * (sin(Cn))) + ((cos(Cn)) * ((cos(Cn)) * ((cos(lam)) * (cos(lam))))))))
END code