Timeout for forward-W

Specification

Math

\[\frac{E\_var}{{tsfn\_phi}^{B}} \]

FPCore

(FPCore (E_var tsfn_phi B)
  :precision binary64
  :pre TRUE
  (/ E_var (pow tsfn_phi B)))

C

double code(double E_var, double tsfn_phi, double B) {
	return E_var / pow(tsfn_phi, B);
}

Fortran

real(8) function code(e_var, tsfn_phi, b)
use fmin_fmax_functions
    real(8), intent (in) :: e_var
    real(8), intent (in) :: tsfn_phi
    real(8), intent (in) :: b
    code = e_var / (tsfn_phi ** b)
end function

Java

public static double code(double E_var, double tsfn_phi, double B) {
	return E_var / Math.pow(tsfn_phi, B);
}

Python

def code(E_var, tsfn_phi, B):
	return E_var / math.pow(tsfn_phi, B)

Julia

function code(E_var, tsfn_phi, B)
	return Float64(E_var / (tsfn_phi ^ B))
end

MATLAB

function tmp = code(E_var, tsfn_phi, B)
	tmp = E_var / (tsfn_phi ^ B);
end

Wolfram

code[E$95$var_, tsfn$95$phi_, B_] := N[(E$95$var / N[Power[tsfn$95$phi, B], $MachinePrecision]), $MachinePrecision]

ReFlow

f(E_var, tsfn_phi, B):
	E_var in [-inf, +inf],
	tsfn_phi in [-inf, +inf],
	B in [-inf, +inf]
code: THEORY
BEGIN
f(E_var, tsfn_phi, B: real): real =
	E_var / (tsfn_phi ^ B)
END code