Timeout for forward-U

Specification

Math

\[\frac{S \cdot singam - \sin \left(B \cdot lam\right) \cdot cosgam}{T} \]

FPCore

(FPCore (S T singam cosgam B lam)
  :precision binary64
  :pre TRUE
  (/ (- (* S singam) (* (sin (* B lam)) cosgam)) T))

C

double code(double S, double T, double singam, double cosgam, double B, double lam) {
	return ((S * singam) - (sin((B * lam)) * cosgam)) / T;
}

Fortran

real(8) function code(s, t, singam, cosgam, b, lam)
use fmin_fmax_functions
    real(8), intent (in) :: s
    real(8), intent (in) :: t
    real(8), intent (in) :: singam
    real(8), intent (in) :: cosgam
    real(8), intent (in) :: b
    real(8), intent (in) :: lam
    code = ((s * singam) - (sin((b * lam)) * cosgam)) / t
end function

Java

public static double code(double S, double T, double singam, double cosgam, double B, double lam) {
	return ((S * singam) - (Math.sin((B * lam)) * cosgam)) / T;
}

Python

def code(S, T, singam, cosgam, B, lam):
	return ((S * singam) - (math.sin((B * lam)) * cosgam)) / T

Julia

function code(S, T, singam, cosgam, B, lam)
	return Float64(Float64(Float64(S * singam) - Float64(sin(Float64(B * lam)) * cosgam)) / T)
end

MATLAB

function tmp = code(S, T, singam, cosgam, B, lam)
	tmp = ((S * singam) - (sin((B * lam)) * cosgam)) / T;
end

Wolfram

code[S_, T_, singam_, cosgam_, B_, lam_] := N[(N[(N[(S * singam), $MachinePrecision] - N[(N[Sin[N[(B * lam), $MachinePrecision]], $MachinePrecision] * cosgam), $MachinePrecision]), $MachinePrecision] / T), $MachinePrecision]

ReFlow

f(S, T, singam, cosgam, B, lam):
	S in [-inf, +inf],
	T in [-inf, +inf],
	singam in [-inf, +inf],
	cosgam in [-inf, +inf],
	B in [-inf, +inf],
	lam in [-inf, +inf]
code: THEORY
BEGIN
f(S, T, singam, cosgam, B, lam: real): real =
	((S * singam) - ((sin((B * lam))) * cosgam)) / T
END code