
(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 9 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 (/ (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 -0.0023) (/ 1.0 (- 1.0 (exp (- x)))) (+ (+ 1.0 (+ (* x 0.08333333333333333) 0.5)) (+ (/ 1.0 x) -1.0))))
double code(double x) {
double tmp;
if (x <= -0.0023) {
tmp = 1.0 / (1.0 - exp(-x));
} else {
tmp = (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0);
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-0.0023d0)) then
tmp = 1.0d0 / (1.0d0 - exp(-x))
else
tmp = (1.0d0 + ((x * 0.08333333333333333d0) + 0.5d0)) + ((1.0d0 / x) + (-1.0d0))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -0.0023) {
tmp = 1.0 / (1.0 - Math.exp(-x));
} else {
tmp = (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0);
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.0023: tmp = 1.0 / (1.0 - math.exp(-x)) else: tmp = (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0) return tmp
function code(x) tmp = 0.0 if (x <= -0.0023) tmp = Float64(1.0 / Float64(1.0 - exp(Float64(-x)))); else tmp = Float64(Float64(1.0 + Float64(Float64(x * 0.08333333333333333) + 0.5)) + Float64(Float64(1.0 / x) + -1.0)); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.0023) tmp = 1.0 / (1.0 - exp(-x)); else tmp = (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.0023], N[(1.0 / N[(1.0 - N[Exp[(-x)], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 + N[(N[(x * 0.08333333333333333), $MachinePrecision] + 0.5), $MachinePrecision]), $MachinePrecision] + N[(N[(1.0 / x), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0023:\\
\;\;\;\;\frac{1}{1 - e^{-x}}\\
\mathbf{else}:\\
\;\;\;\;\left(1 + \left(x \cdot 0.08333333333333333 + 0.5\right)\right) + \left(\frac{1}{x} + -1\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 (+ (+ 1.0 (+ (* x 0.08333333333333333) 0.5)) (+ (/ 1.0 x) -1.0)))
double code(double x) {
return (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0);
}
real(8) function code(x)
real(8), intent (in) :: x
code = (1.0d0 + ((x * 0.08333333333333333d0) + 0.5d0)) + ((1.0d0 / x) + (-1.0d0))
end function
public static double code(double x) {
return (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0);
}
def code(x): return (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0)
function code(x) return Float64(Float64(1.0 + Float64(Float64(x * 0.08333333333333333) + 0.5)) + Float64(Float64(1.0 / x) + -1.0)) end
function tmp = code(x) tmp = (1.0 + ((x * 0.08333333333333333) + 0.5)) + ((1.0 / x) + -1.0); end
code[x_] := N[(N[(1.0 + N[(N[(x * 0.08333333333333333), $MachinePrecision] + 0.5), $MachinePrecision]), $MachinePrecision] + N[(N[(1.0 / x), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \left(x \cdot 0.08333333333333333 + 0.5\right)\right) + \left(\frac{1}{x} + -1\right)
\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 0.5)
double code(double x) {
return 0.5;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.5d0
end function
public static double code(double x) {
return 0.5;
}
def code(x): return 0.5
function code(x) return 0.5 end
function tmp = code(x) tmp = 0.5; end
code[x_] := 0.5
\begin{array}{l}
\\
0.5
\end{array}
(FPCore (x) :precision binary64 1.0)
double code(double x) {
return 1.0;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 1.0d0
end function
public static double code(double x) {
return 1.0;
}
def code(x): return 1.0
function code(x) return 1.0 end
function tmp = code(x) tmp = 1.0; end
code[x_] := 1.0
\begin{array}{l}
\\
1
\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 2024006
(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)))