
(FPCore (x) :precision binary64 (/ (exp x) (- (exp x) 1.0)))
double code(double x) {
return exp(x) / (exp(x) - 1.0);
}
real(8) function code(x)
real(8), intent (in) :: x
code = exp(x) / (exp(x) - 1.0d0)
end function
public static double code(double x) {
return Math.exp(x) / (Math.exp(x) - 1.0);
}
def code(x): return math.exp(x) / (math.exp(x) - 1.0)
function code(x) return Float64(exp(x) / Float64(exp(x) - 1.0)) end
function tmp = code(x) tmp = exp(x) / (exp(x) - 1.0); end
code[x_] := N[(N[Exp[x], $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] - 1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{x}}{e^{x} - 1}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 8 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (/ (exp x) (- (exp x) 1.0)))
double code(double x) {
return exp(x) / (exp(x) - 1.0);
}
real(8) function code(x)
real(8), intent (in) :: x
code = exp(x) / (exp(x) - 1.0d0)
end function
public static double code(double x) {
return Math.exp(x) / (Math.exp(x) - 1.0);
}
def code(x): return math.exp(x) / (math.exp(x) - 1.0)
function code(x) return Float64(exp(x) / Float64(exp(x) - 1.0)) end
function tmp = code(x) tmp = exp(x) / (exp(x) - 1.0); end
code[x_] := N[(N[Exp[x], $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] - 1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{x}}{e^{x} - 1}
\end{array}
(FPCore (x) :precision binary64 (* (/ 1.0 (expm1 x)) (exp x)))
double code(double x) {
return (1.0 / expm1(x)) * exp(x);
}
public static double code(double x) {
return (1.0 / Math.expm1(x)) * Math.exp(x);
}
def code(x): return (1.0 / math.expm1(x)) * math.exp(x)
function code(x) return Float64(Float64(1.0 / expm1(x)) * exp(x)) end
code[x_] := N[(N[(1.0 / N[(Exp[x] - 1), $MachinePrecision]), $MachinePrecision] * N[Exp[x], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\mathsf{expm1}\left(x\right)} \cdot e^{x}
\end{array}
(FPCore (x) :precision binary64 (/ (exp x) (expm1 x)))
double code(double x) {
return exp(x) / expm1(x);
}
public static double code(double x) {
return Math.exp(x) / Math.expm1(x);
}
def code(x): return math.exp(x) / math.expm1(x)
function code(x) return Float64(exp(x) / expm1(x)) end
code[x_] := N[(N[Exp[x], $MachinePrecision] / N[(Exp[x] - 1), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{x}}{\mathsf{expm1}\left(x\right)}
\end{array}
(FPCore (x)
:precision binary64
(if (<= x -3.8)
(/ (exp x) x)
(+
0.5
(+
(* -0.001388888888888889 (pow x 3.0))
(+ (* x 0.08333333333333333) (/ 1.0 x))))))
double code(double x) {
double tmp;
if (x <= -3.8) {
tmp = exp(x) / x;
} else {
tmp = 0.5 + ((-0.001388888888888889 * pow(x, 3.0)) + ((x * 0.08333333333333333) + (1.0 / x)));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-3.8d0)) then
tmp = exp(x) / x
else
tmp = 0.5d0 + (((-0.001388888888888889d0) * (x ** 3.0d0)) + ((x * 0.08333333333333333d0) + (1.0d0 / x)))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -3.8) {
tmp = Math.exp(x) / x;
} else {
tmp = 0.5 + ((-0.001388888888888889 * Math.pow(x, 3.0)) + ((x * 0.08333333333333333) + (1.0 / x)));
}
return tmp;
}
def code(x): tmp = 0 if x <= -3.8: tmp = math.exp(x) / x else: tmp = 0.5 + ((-0.001388888888888889 * math.pow(x, 3.0)) + ((x * 0.08333333333333333) + (1.0 / x))) return tmp
function code(x) tmp = 0.0 if (x <= -3.8) tmp = Float64(exp(x) / x); else tmp = Float64(0.5 + Float64(Float64(-0.001388888888888889 * (x ^ 3.0)) + Float64(Float64(x * 0.08333333333333333) + Float64(1.0 / x)))); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -3.8) tmp = exp(x) / x; else tmp = 0.5 + ((-0.001388888888888889 * (x ^ 3.0)) + ((x * 0.08333333333333333) + (1.0 / x))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -3.8], N[(N[Exp[x], $MachinePrecision] / x), $MachinePrecision], N[(0.5 + N[(N[(-0.001388888888888889 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(N[(x * 0.08333333333333333), $MachinePrecision] + N[(1.0 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;\frac{e^{x}}{x}\\
\mathbf{else}:\\
\;\;\;\;0.5 + \left(-0.001388888888888889 \cdot {x}^{3} + \left(x \cdot 0.08333333333333333 + \frac{1}{x}\right)\right)\\
\end{array}
\end{array}
(FPCore (x) :precision binary64 (if (<= x -0.0022) (/ 1.0 (- 1.0 (exp (- x)))) (+ 0.5 (+ (* x 0.08333333333333333) (/ 1.0 x)))))
double code(double x) {
double tmp;
if (x <= -0.0022) {
tmp = 1.0 / (1.0 - exp(-x));
} else {
tmp = 0.5 + ((x * 0.08333333333333333) + (1.0 / x));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-0.0022d0)) then
tmp = 1.0d0 / (1.0d0 - exp(-x))
else
tmp = 0.5d0 + ((x * 0.08333333333333333d0) + (1.0d0 / x))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -0.0022) {
tmp = 1.0 / (1.0 - Math.exp(-x));
} else {
tmp = 0.5 + ((x * 0.08333333333333333) + (1.0 / x));
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.0022: tmp = 1.0 / (1.0 - math.exp(-x)) else: tmp = 0.5 + ((x * 0.08333333333333333) + (1.0 / x)) return tmp
function code(x) tmp = 0.0 if (x <= -0.0022) tmp = Float64(1.0 / Float64(1.0 - exp(Float64(-x)))); else tmp = Float64(0.5 + Float64(Float64(x * 0.08333333333333333) + Float64(1.0 / x))); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.0022) tmp = 1.0 / (1.0 - exp(-x)); else tmp = 0.5 + ((x * 0.08333333333333333) + (1.0 / x)); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.0022], N[(1.0 / N[(1.0 - N[Exp[(-x)], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(0.5 + N[(N[(x * 0.08333333333333333), $MachinePrecision] + N[(1.0 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0022:\\
\;\;\;\;\frac{1}{1 - e^{-x}}\\
\mathbf{else}:\\
\;\;\;\;0.5 + \left(x \cdot 0.08333333333333333 + \frac{1}{x}\right)\\
\end{array}
\end{array}
(FPCore (x) :precision binary64 (/ (exp x) x))
double code(double x) {
return exp(x) / x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = exp(x) / x
end function
public static double code(double x) {
return Math.exp(x) / x;
}
def code(x): return math.exp(x) / x
function code(x) return Float64(exp(x) / x) end
function tmp = code(x) tmp = exp(x) / x; end
code[x_] := N[(N[Exp[x], $MachinePrecision] / x), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{x}}{x}
\end{array}
(FPCore (x) :precision binary64 (+ 0.5 (+ (* x 0.08333333333333333) (/ 1.0 x))))
double code(double x) {
return 0.5 + ((x * 0.08333333333333333) + (1.0 / x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.5d0 + ((x * 0.08333333333333333d0) + (1.0d0 / x))
end function
public static double code(double x) {
return 0.5 + ((x * 0.08333333333333333) + (1.0 / x));
}
def code(x): return 0.5 + ((x * 0.08333333333333333) + (1.0 / x))
function code(x) return Float64(0.5 + Float64(Float64(x * 0.08333333333333333) + Float64(1.0 / x))) end
function tmp = code(x) tmp = 0.5 + ((x * 0.08333333333333333) + (1.0 / x)); end
code[x_] := N[(0.5 + N[(N[(x * 0.08333333333333333), $MachinePrecision] + N[(1.0 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
0.5 + \left(x \cdot 0.08333333333333333 + \frac{1}{x}\right)
\end{array}
(FPCore (x) :precision binary64 (+ 0.5 (/ 1.0 x)))
double code(double x) {
return 0.5 + (1.0 / x);
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.5d0 + (1.0d0 / x)
end function
public static double code(double x) {
return 0.5 + (1.0 / x);
}
def code(x): return 0.5 + (1.0 / x)
function code(x) return Float64(0.5 + Float64(1.0 / x)) end
function tmp = code(x) tmp = 0.5 + (1.0 / x); end
code[x_] := N[(0.5 + N[(1.0 / x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
0.5 + \frac{1}{x}
\end{array}
(FPCore (x) :precision binary64 (/ 1.0 x))
double code(double x) {
return 1.0 / x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 1.0d0 / x
end function
public static double code(double x) {
return 1.0 / x;
}
def code(x): return 1.0 / x
function code(x) return Float64(1.0 / x) end
function tmp = code(x) tmp = 1.0 / x; end
code[x_] := N[(1.0 / x), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{x}
\end{array}
(FPCore (x) :precision binary64 (/ (- 1.0) (expm1 (- x))))
double code(double x) {
return -1.0 / expm1(-x);
}
public static double code(double x) {
return -1.0 / Math.expm1(-x);
}
def code(x): return -1.0 / math.expm1(-x)
function code(x) return Float64(Float64(-1.0) / expm1(Float64(-x))) end
code[x_] := N[((-1.0) / N[(Exp[(-x)] - 1), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{-1}{\mathsf{expm1}\left(-x\right)}
\end{array}
herbie shell --seed 2024010
(FPCore (x)
:name "expq2 (section 3.11)"
:precision binary64
:pre (> 710.0 x)
:herbie-target
(/ (- 1.0) (expm1 (- x)))
(/ (exp x) (- (exp x) 1.0)))