
(FPCore (f n) :precision binary64 (/ (- (+ f n)) (- f n)))
double code(double f, double n) {
return -(f + n) / (f - n);
}
real(8) function code(f, n)
real(8), intent (in) :: f
real(8), intent (in) :: n
code = -(f + n) / (f - n)
end function
public static double code(double f, double n) {
return -(f + n) / (f - n);
}
def code(f, n): return -(f + n) / (f - n)
function code(f, n) return Float64(Float64(-Float64(f + n)) / Float64(f - n)) end
function tmp = code(f, n) tmp = -(f + n) / (f - n); end
code[f_, n_] := N[((-N[(f + n), $MachinePrecision]) / N[(f - n), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{-\left(f + n\right)}{f - n}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (f n) :precision binary64 (/ (- (+ f n)) (- f n)))
double code(double f, double n) {
return -(f + n) / (f - n);
}
real(8) function code(f, n)
real(8), intent (in) :: f
real(8), intent (in) :: n
code = -(f + n) / (f - n)
end function
public static double code(double f, double n) {
return -(f + n) / (f - n);
}
def code(f, n): return -(f + n) / (f - n)
function code(f, n) return Float64(Float64(-Float64(f + n)) / Float64(f - n)) end
function tmp = code(f, n) tmp = -(f + n) / (f - n); end
code[f_, n_] := N[((-N[(f + n), $MachinePrecision]) / N[(f - n), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{-\left(f + n\right)}{f - n}
\end{array}
(FPCore (f n) :precision binary64 (log1p (expm1 (/ (+ f n) (- n f)))))
double code(double f, double n) {
return log1p(expm1(((f + n) / (n - f))));
}
public static double code(double f, double n) {
return Math.log1p(Math.expm1(((f + n) / (n - f))));
}
def code(f, n): return math.log1p(math.expm1(((f + n) / (n - f))))
function code(f, n) return log1p(expm1(Float64(Float64(f + n) / Float64(n - f)))) end
code[f_, n_] := N[Log[1 + N[(Exp[N[(N[(f + n), $MachinePrecision] / N[(n - f), $MachinePrecision]), $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\mathsf{log1p}\left(\mathsf{expm1}\left(\frac{f + n}{n - f}\right)\right)
\end{array}
(FPCore (f n) :precision binary64 (if (or (<= f -6.2e-55) (not (<= f 2e+62))) (+ (* -2.0 (/ n f)) -1.0) (+ 1.0 (* 2.0 (/ f n)))))
double code(double f, double n) {
double tmp;
if ((f <= -6.2e-55) || !(f <= 2e+62)) {
tmp = (-2.0 * (n / f)) + -1.0;
} else {
tmp = 1.0 + (2.0 * (f / n));
}
return tmp;
}
real(8) function code(f, n)
real(8), intent (in) :: f
real(8), intent (in) :: n
real(8) :: tmp
if ((f <= (-6.2d-55)) .or. (.not. (f <= 2d+62))) then
tmp = ((-2.0d0) * (n / f)) + (-1.0d0)
else
tmp = 1.0d0 + (2.0d0 * (f / n))
end if
code = tmp
end function
public static double code(double f, double n) {
double tmp;
if ((f <= -6.2e-55) || !(f <= 2e+62)) {
tmp = (-2.0 * (n / f)) + -1.0;
} else {
tmp = 1.0 + (2.0 * (f / n));
}
return tmp;
}
def code(f, n): tmp = 0 if (f <= -6.2e-55) or not (f <= 2e+62): tmp = (-2.0 * (n / f)) + -1.0 else: tmp = 1.0 + (2.0 * (f / n)) return tmp
function code(f, n) tmp = 0.0 if ((f <= -6.2e-55) || !(f <= 2e+62)) tmp = Float64(Float64(-2.0 * Float64(n / f)) + -1.0); else tmp = Float64(1.0 + Float64(2.0 * Float64(f / n))); end return tmp end
function tmp_2 = code(f, n) tmp = 0.0; if ((f <= -6.2e-55) || ~((f <= 2e+62))) tmp = (-2.0 * (n / f)) + -1.0; else tmp = 1.0 + (2.0 * (f / n)); end tmp_2 = tmp; end
code[f_, n_] := If[Or[LessEqual[f, -6.2e-55], N[Not[LessEqual[f, 2e+62]], $MachinePrecision]], N[(N[(-2.0 * N[(n / f), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision], N[(1.0 + N[(2.0 * N[(f / n), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;f \leq -6.2 \cdot 10^{-55} \lor \neg \left(f \leq 2 \cdot 10^{+62}\right):\\
\;\;\;\;-2 \cdot \frac{n}{f} + -1\\
\mathbf{else}:\\
\;\;\;\;1 + 2 \cdot \frac{f}{n}\\
\end{array}
\end{array}
(FPCore (f n) :precision binary64 (if (<= f -3.4e-55) -1.0 (if (<= f 3.6e+62) (+ 1.0 (* 2.0 (/ f n))) -1.0)))
double code(double f, double n) {
double tmp;
if (f <= -3.4e-55) {
tmp = -1.0;
} else if (f <= 3.6e+62) {
tmp = 1.0 + (2.0 * (f / n));
} else {
tmp = -1.0;
}
return tmp;
}
real(8) function code(f, n)
real(8), intent (in) :: f
real(8), intent (in) :: n
real(8) :: tmp
if (f <= (-3.4d-55)) then
tmp = -1.0d0
else if (f <= 3.6d+62) then
tmp = 1.0d0 + (2.0d0 * (f / n))
else
tmp = -1.0d0
end if
code = tmp
end function
public static double code(double f, double n) {
double tmp;
if (f <= -3.4e-55) {
tmp = -1.0;
} else if (f <= 3.6e+62) {
tmp = 1.0 + (2.0 * (f / n));
} else {
tmp = -1.0;
}
return tmp;
}
def code(f, n): tmp = 0 if f <= -3.4e-55: tmp = -1.0 elif f <= 3.6e+62: tmp = 1.0 + (2.0 * (f / n)) else: tmp = -1.0 return tmp
function code(f, n) tmp = 0.0 if (f <= -3.4e-55) tmp = -1.0; elseif (f <= 3.6e+62) tmp = Float64(1.0 + Float64(2.0 * Float64(f / n))); else tmp = -1.0; end return tmp end
function tmp_2 = code(f, n) tmp = 0.0; if (f <= -3.4e-55) tmp = -1.0; elseif (f <= 3.6e+62) tmp = 1.0 + (2.0 * (f / n)); else tmp = -1.0; end tmp_2 = tmp; end
code[f_, n_] := If[LessEqual[f, -3.4e-55], -1.0, If[LessEqual[f, 3.6e+62], N[(1.0 + N[(2.0 * N[(f / n), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], -1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;f \leq -3.4 \cdot 10^{-55}:\\
\;\;\;\;-1\\
\mathbf{elif}\;f \leq 3.6 \cdot 10^{+62}:\\
\;\;\;\;1 + 2 \cdot \frac{f}{n}\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\end{array}
(FPCore (f n) :precision binary64 (/ (+ f n) (- n f)))
double code(double f, double n) {
return (f + n) / (n - f);
}
real(8) function code(f, n)
real(8), intent (in) :: f
real(8), intent (in) :: n
code = (f + n) / (n - f)
end function
public static double code(double f, double n) {
return (f + n) / (n - f);
}
def code(f, n): return (f + n) / (n - f)
function code(f, n) return Float64(Float64(f + n) / Float64(n - f)) end
function tmp = code(f, n) tmp = (f + n) / (n - f); end
code[f_, n_] := N[(N[(f + n), $MachinePrecision] / N[(n - f), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{f + n}{n - f}
\end{array}
(FPCore (f n) :precision binary64 (if (<= f -4e-76) -1.0 (if (<= f 2.7e+62) 1.0 -1.0)))
double code(double f, double n) {
double tmp;
if (f <= -4e-76) {
tmp = -1.0;
} else if (f <= 2.7e+62) {
tmp = 1.0;
} else {
tmp = -1.0;
}
return tmp;
}
real(8) function code(f, n)
real(8), intent (in) :: f
real(8), intent (in) :: n
real(8) :: tmp
if (f <= (-4d-76)) then
tmp = -1.0d0
else if (f <= 2.7d+62) then
tmp = 1.0d0
else
tmp = -1.0d0
end if
code = tmp
end function
public static double code(double f, double n) {
double tmp;
if (f <= -4e-76) {
tmp = -1.0;
} else if (f <= 2.7e+62) {
tmp = 1.0;
} else {
tmp = -1.0;
}
return tmp;
}
def code(f, n): tmp = 0 if f <= -4e-76: tmp = -1.0 elif f <= 2.7e+62: tmp = 1.0 else: tmp = -1.0 return tmp
function code(f, n) tmp = 0.0 if (f <= -4e-76) tmp = -1.0; elseif (f <= 2.7e+62) tmp = 1.0; else tmp = -1.0; end return tmp end
function tmp_2 = code(f, n) tmp = 0.0; if (f <= -4e-76) tmp = -1.0; elseif (f <= 2.7e+62) tmp = 1.0; else tmp = -1.0; end tmp_2 = tmp; end
code[f_, n_] := If[LessEqual[f, -4e-76], -1.0, If[LessEqual[f, 2.7e+62], 1.0, -1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;f \leq -4 \cdot 10^{-76}:\\
\;\;\;\;-1\\
\mathbf{elif}\;f \leq 2.7 \cdot 10^{+62}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\end{array}
(FPCore (f n) :precision binary64 -1.0)
double code(double f, double n) {
return -1.0;
}
real(8) function code(f, n)
real(8), intent (in) :: f
real(8), intent (in) :: n
code = -1.0d0
end function
public static double code(double f, double n) {
return -1.0;
}
def code(f, n): return -1.0
function code(f, n) return -1.0 end
function tmp = code(f, n) tmp = -1.0; end
code[f_, n_] := -1.0
\begin{array}{l}
\\
-1
\end{array}
herbie shell --seed 2023347
(FPCore (f n)
:name "subtraction fraction"
:precision binary64
(/ (- (+ f n)) (- f n)))