Timeout for inverse-Qp

Specification

Math

\[e^{-BrA \cdot v} \]

FPCore

(FPCore (BrA v)
  :precision binary64
  :pre TRUE
  (exp (- (* BrA v))))

C

double code(double BrA, double v) {
	return exp(-(BrA * v));
}

Fortran

real(8) function code(bra, v)
use fmin_fmax_functions
    real(8), intent (in) :: bra
    real(8), intent (in) :: v
    code = exp(-(bra * v))
end function

Java

public static double code(double BrA, double v) {
	return Math.exp(-(BrA * v));
}

Python

def code(BrA, v):
	return math.exp(-(BrA * v))

Julia

function code(BrA, v)
	return exp(Float64(-Float64(BrA * v)))
end

MATLAB

function tmp = code(BrA, v)
	tmp = exp(-(BrA * v));
end

Wolfram

code[BrA_, v_] := N[Exp[(-N[(BrA * v), $MachinePrecision])], $MachinePrecision]

ReFlow

f(BrA, v):
	BrA in [-inf, +inf],
	v in [-inf, +inf]
code: THEORY
BEGIN
f(BrA, v: real): real =
	exp((- (BrA * v)))
END code