
(FPCore (x y) :precision binary64 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
double code(double x, double y) {
return (2.0 / (1.0 + exp((-2.0 * x)))) - 1.0;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (2.0d0 / (1.0d0 + exp(((-2.0d0) * x)))) - 1.0d0
end function
public static double code(double x, double y) {
return (2.0 / (1.0 + Math.exp((-2.0 * x)))) - 1.0;
}
def code(x, y): return (2.0 / (1.0 + math.exp((-2.0 * x)))) - 1.0
function code(x, y) return Float64(Float64(2.0 / Float64(1.0 + exp(Float64(-2.0 * x)))) - 1.0) end
function tmp = code(x, y) tmp = (2.0 / (1.0 + exp((-2.0 * x)))) - 1.0; end
code[x_, y_] := N[(N[(2.0 / N[(1.0 + N[Exp[N[(-2.0 * x), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]
\begin{array}{l}
\\
\frac{2}{1 + e^{-2 \cdot x}} - 1
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
double code(double x, double y) {
return (2.0 / (1.0 + exp((-2.0 * x)))) - 1.0;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (2.0d0 / (1.0d0 + exp(((-2.0d0) * x)))) - 1.0d0
end function
public static double code(double x, double y) {
return (2.0 / (1.0 + Math.exp((-2.0 * x)))) - 1.0;
}
def code(x, y): return (2.0 / (1.0 + math.exp((-2.0 * x)))) - 1.0
function code(x, y) return Float64(Float64(2.0 / Float64(1.0 + exp(Float64(-2.0 * x)))) - 1.0) end
function tmp = code(x, y) tmp = (2.0 / (1.0 + exp((-2.0 * x)))) - 1.0; end
code[x_, y_] := N[(N[(2.0 / N[(1.0 + N[Exp[N[(-2.0 * x), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]
\begin{array}{l}
\\
\frac{2}{1 + e^{-2 \cdot x}} - 1
\end{array}
(FPCore (x y)
:precision binary64
(if (or (<= (* -2.0 x) -50000.0) (not (<= (* -2.0 x) 2e-5)))
(+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) -1.0)
(+
x
(+
(* -0.3333333333333333 (pow x 3.0))
(+
(* -0.05396825396825397 (pow x 7.0))
(* 0.13333333333333333 (pow x 5.0)))))))
double code(double x, double y) {
double tmp;
if (((-2.0 * x) <= -50000.0) || !((-2.0 * x) <= 2e-5)) {
tmp = (2.0 / (1.0 + exp((-2.0 * x)))) + -1.0;
} else {
tmp = x + ((-0.3333333333333333 * pow(x, 3.0)) + ((-0.05396825396825397 * pow(x, 7.0)) + (0.13333333333333333 * pow(x, 5.0))));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((((-2.0d0) * x) <= (-50000.0d0)) .or. (.not. (((-2.0d0) * x) <= 2d-5))) then
tmp = (2.0d0 / (1.0d0 + exp(((-2.0d0) * x)))) + (-1.0d0)
else
tmp = x + (((-0.3333333333333333d0) * (x ** 3.0d0)) + (((-0.05396825396825397d0) * (x ** 7.0d0)) + (0.13333333333333333d0 * (x ** 5.0d0))))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (((-2.0 * x) <= -50000.0) || !((-2.0 * x) <= 2e-5)) {
tmp = (2.0 / (1.0 + Math.exp((-2.0 * x)))) + -1.0;
} else {
tmp = x + ((-0.3333333333333333 * Math.pow(x, 3.0)) + ((-0.05396825396825397 * Math.pow(x, 7.0)) + (0.13333333333333333 * Math.pow(x, 5.0))));
}
return tmp;
}
def code(x, y): tmp = 0 if ((-2.0 * x) <= -50000.0) or not ((-2.0 * x) <= 2e-5): tmp = (2.0 / (1.0 + math.exp((-2.0 * x)))) + -1.0 else: tmp = x + ((-0.3333333333333333 * math.pow(x, 3.0)) + ((-0.05396825396825397 * math.pow(x, 7.0)) + (0.13333333333333333 * math.pow(x, 5.0)))) return tmp
function code(x, y) tmp = 0.0 if ((Float64(-2.0 * x) <= -50000.0) || !(Float64(-2.0 * x) <= 2e-5)) tmp = Float64(Float64(2.0 / Float64(1.0 + exp(Float64(-2.0 * x)))) + -1.0); else tmp = Float64(x + Float64(Float64(-0.3333333333333333 * (x ^ 3.0)) + Float64(Float64(-0.05396825396825397 * (x ^ 7.0)) + Float64(0.13333333333333333 * (x ^ 5.0))))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (((-2.0 * x) <= -50000.0) || ~(((-2.0 * x) <= 2e-5))) tmp = (2.0 / (1.0 + exp((-2.0 * x)))) + -1.0; else tmp = x + ((-0.3333333333333333 * (x ^ 3.0)) + ((-0.05396825396825397 * (x ^ 7.0)) + (0.13333333333333333 * (x ^ 5.0)))); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[N[(-2.0 * x), $MachinePrecision], -50000.0], N[Not[LessEqual[N[(-2.0 * x), $MachinePrecision], 2e-5]], $MachinePrecision]], N[(N[(2.0 / N[(1.0 + N[Exp[N[(-2.0 * x), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision], N[(x + N[(N[(-0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(N[(-0.05396825396825397 * N[Power[x, 7.0], $MachinePrecision]), $MachinePrecision] + N[(0.13333333333333333 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;-2 \cdot x \leq -50000 \lor \neg \left(-2 \cdot x \leq 2 \cdot 10^{-5}\right):\\
\;\;\;\;\frac{2}{1 + e^{-2 \cdot x}} + -1\\
\mathbf{else}:\\
\;\;\;\;x + \left(-0.3333333333333333 \cdot {x}^{3} + \left(-0.05396825396825397 \cdot {x}^{7} + 0.13333333333333333 \cdot {x}^{5}\right)\right)\\
\end{array}
\end{array}
(FPCore (x y) :precision binary64 (if (or (<= (* -2.0 x) -0.01) (not (<= (* -2.0 x) 2e-5))) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) -1.0) (+ x (* -0.3333333333333333 (pow x 3.0)))))
double code(double x, double y) {
double tmp;
if (((-2.0 * x) <= -0.01) || !((-2.0 * x) <= 2e-5)) {
tmp = (2.0 / (1.0 + exp((-2.0 * x)))) + -1.0;
} else {
tmp = x + (-0.3333333333333333 * pow(x, 3.0));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((((-2.0d0) * x) <= (-0.01d0)) .or. (.not. (((-2.0d0) * x) <= 2d-5))) then
tmp = (2.0d0 / (1.0d0 + exp(((-2.0d0) * x)))) + (-1.0d0)
else
tmp = x + ((-0.3333333333333333d0) * (x ** 3.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (((-2.0 * x) <= -0.01) || !((-2.0 * x) <= 2e-5)) {
tmp = (2.0 / (1.0 + Math.exp((-2.0 * x)))) + -1.0;
} else {
tmp = x + (-0.3333333333333333 * Math.pow(x, 3.0));
}
return tmp;
}
def code(x, y): tmp = 0 if ((-2.0 * x) <= -0.01) or not ((-2.0 * x) <= 2e-5): tmp = (2.0 / (1.0 + math.exp((-2.0 * x)))) + -1.0 else: tmp = x + (-0.3333333333333333 * math.pow(x, 3.0)) return tmp
function code(x, y) tmp = 0.0 if ((Float64(-2.0 * x) <= -0.01) || !(Float64(-2.0 * x) <= 2e-5)) tmp = Float64(Float64(2.0 / Float64(1.0 + exp(Float64(-2.0 * x)))) + -1.0); else tmp = Float64(x + Float64(-0.3333333333333333 * (x ^ 3.0))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (((-2.0 * x) <= -0.01) || ~(((-2.0 * x) <= 2e-5))) tmp = (2.0 / (1.0 + exp((-2.0 * x)))) + -1.0; else tmp = x + (-0.3333333333333333 * (x ^ 3.0)); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[N[(-2.0 * x), $MachinePrecision], -0.01], N[Not[LessEqual[N[(-2.0 * x), $MachinePrecision], 2e-5]], $MachinePrecision]], N[(N[(2.0 / N[(1.0 + N[Exp[N[(-2.0 * x), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision], N[(x + N[(-0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;-2 \cdot x \leq -0.01 \lor \neg \left(-2 \cdot x \leq 2 \cdot 10^{-5}\right):\\
\;\;\;\;\frac{2}{1 + e^{-2 \cdot x}} + -1\\
\mathbf{else}:\\
\;\;\;\;x + -0.3333333333333333 \cdot {x}^{3}\\
\end{array}
\end{array}
(FPCore (x y) :precision binary64 (let* ((t_0 (/ 1.0 (+ x 2.0)))) (if (<= x 0.68) (* x (* (+ x 2.0) t_0)) (/ t_0 (/ 0.5 x)))))
double code(double x, double y) {
double t_0 = 1.0 / (x + 2.0);
double tmp;
if (x <= 0.68) {
tmp = x * ((x + 2.0) * t_0);
} else {
tmp = t_0 / (0.5 / x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: tmp
t_0 = 1.0d0 / (x + 2.0d0)
if (x <= 0.68d0) then
tmp = x * ((x + 2.0d0) * t_0)
else
tmp = t_0 / (0.5d0 / x)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 1.0 / (x + 2.0);
double tmp;
if (x <= 0.68) {
tmp = x * ((x + 2.0) * t_0);
} else {
tmp = t_0 / (0.5 / x);
}
return tmp;
}
def code(x, y): t_0 = 1.0 / (x + 2.0) tmp = 0 if x <= 0.68: tmp = x * ((x + 2.0) * t_0) else: tmp = t_0 / (0.5 / x) return tmp
function code(x, y) t_0 = Float64(1.0 / Float64(x + 2.0)) tmp = 0.0 if (x <= 0.68) tmp = Float64(x * Float64(Float64(x + 2.0) * t_0)); else tmp = Float64(t_0 / Float64(0.5 / x)); end return tmp end
function tmp_2 = code(x, y) t_0 = 1.0 / (x + 2.0); tmp = 0.0; if (x <= 0.68) tmp = x * ((x + 2.0) * t_0); else tmp = t_0 / (0.5 / x); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(1.0 / N[(x + 2.0), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 0.68], N[(x * N[(N[(x + 2.0), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision], N[(t$95$0 / N[(0.5 / x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{1}{x + 2}\\
\mathbf{if}\;x \leq 0.68:\\
\;\;\;\;x \cdot \left(\left(x + 2\right) \cdot t_0\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{t_0}{\frac{0.5}{x}}\\
\end{array}
\end{array}
(FPCore (x y) :precision binary64 (if (<= x 0.68) x (/ (/ 1.0 (+ x 2.0)) (/ 0.5 x))))
double code(double x, double y) {
double tmp;
if (x <= 0.68) {
tmp = x;
} else {
tmp = (1.0 / (x + 2.0)) / (0.5 / x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.68d0) then
tmp = x
else
tmp = (1.0d0 / (x + 2.0d0)) / (0.5d0 / x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.68) {
tmp = x;
} else {
tmp = (1.0 / (x + 2.0)) / (0.5 / x);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.68: tmp = x else: tmp = (1.0 / (x + 2.0)) / (0.5 / x) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.68) tmp = x; else tmp = Float64(Float64(1.0 / Float64(x + 2.0)) / Float64(0.5 / x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.68) tmp = x; else tmp = (1.0 / (x + 2.0)) / (0.5 / x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.68], x, N[(N[(1.0 / N[(x + 2.0), $MachinePrecision]), $MachinePrecision] / N[(0.5 / x), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.68:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{1}{x + 2}}{\frac{0.5}{x}}\\
\end{array}
\end{array}
(FPCore (x y) :precision binary64 (if (<= x 2.0) x 2.0))
double code(double x, double y) {
double tmp;
if (x <= 2.0) {
tmp = x;
} else {
tmp = 2.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 2.0d0) then
tmp = x
else
tmp = 2.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 2.0) {
tmp = x;
} else {
tmp = 2.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 2.0: tmp = x else: tmp = 2.0 return tmp
function code(x, y) tmp = 0.0 if (x <= 2.0) tmp = x; else tmp = 2.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 2.0) tmp = x; else tmp = 2.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 2.0], x, 2.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 2:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;2\\
\end{array}
\end{array}
(FPCore (x y) :precision binary64 2.0)
double code(double x, double y) {
return 2.0;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 2.0d0
end function
public static double code(double x, double y) {
return 2.0;
}
def code(x, y): return 2.0
function code(x, y) return 2.0 end
function tmp = code(x, y) tmp = 2.0; end
code[x_, y_] := 2.0
\begin{array}{l}
\\
2
\end{array}
herbie shell --seed 2023350
(FPCore (x y)
:name "Logistic function from Lakshay Garg"
:precision binary64
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))