Timeout for forward-xy-y

Specification

Math

\[c1 \cdot \sin lamdp + \left(c3 \cdot \sin \left(3 \cdot lamdp\right) + tanph \cdot \frac{xj}{\sqrt{xj \cdot xj + s \cdot s}}\right) \]

FPCore

(FPCore (lamdp c1 c3 tanph s xj)
  :precision binary64
  :pre TRUE
  (+
 (* c1 (sin lamdp))
 (+
  (* c3 (sin (* 3.0 lamdp)))
  (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))))

C

double code(double lamdp, double c1, double c3, double tanph, double s, double xj) {
	return (c1 * sin(lamdp)) + ((c3 * sin((3.0 * lamdp))) + (tanph * (xj / sqrt(((xj * xj) + (s * s))))));
}

Fortran

real(8) function code(lamdp, c1, c3, tanph, s, xj)
use fmin_fmax_functions
    real(8), intent (in) :: lamdp
    real(8), intent (in) :: c1
    real(8), intent (in) :: c3
    real(8), intent (in) :: tanph
    real(8), intent (in) :: s
    real(8), intent (in) :: xj
    code = (c1 * sin(lamdp)) + ((c3 * sin((3.0d0 * lamdp))) + (tanph * (xj / sqrt(((xj * xj) + (s * s))))))
end function

Java

public static double code(double lamdp, double c1, double c3, double tanph, double s, double xj) {
	return (c1 * Math.sin(lamdp)) + ((c3 * Math.sin((3.0 * lamdp))) + (tanph * (xj / Math.sqrt(((xj * xj) + (s * s))))));
}

Python

def code(lamdp, c1, c3, tanph, s, xj):
	return (c1 * math.sin(lamdp)) + ((c3 * math.sin((3.0 * lamdp))) + (tanph * (xj / math.sqrt(((xj * xj) + (s * s))))))

Julia

function code(lamdp, c1, c3, tanph, s, xj)
	return Float64(Float64(c1 * sin(lamdp)) + Float64(Float64(c3 * sin(Float64(3.0 * lamdp))) + Float64(tanph * Float64(xj / sqrt(Float64(Float64(xj * xj) + Float64(s * s)))))))
end

MATLAB

function tmp = code(lamdp, c1, c3, tanph, s, xj)
	tmp = (c1 * sin(lamdp)) + ((c3 * sin((3.0 * lamdp))) + (tanph * (xj / sqrt(((xj * xj) + (s * s))))));
end

Wolfram

code[lamdp_, c1_, c3_, tanph_, s_, xj_] := N[(N[(c1 * N[Sin[lamdp], $MachinePrecision]), $MachinePrecision] + N[(N[(c3 * N[Sin[N[(3.0 * lamdp), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] + N[(tanph * N[(xj / N[Sqrt[N[(N[(xj * xj), $MachinePrecision] + N[(s * s), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

ReFlow

f(lamdp, c1, c3, tanph, s, xj):
	lamdp in [-inf, +inf],
	c1 in [-inf, +inf],
	c3 in [-inf, +inf],
	tanph in [-inf, +inf],
	s in [-inf, +inf],
	xj in [-inf, +inf]
code: THEORY
BEGIN
f(lamdp, c1, c3, tanph, s, xj: real): real =
	(c1 * (sin(lamdp))) + ((c3 * (sin(((3) * lamdp)))) + (tanph * (xj / (sqrt(((xj * xj) + (s * s)))))))
END code