
(FPCore (x y) :precision binary64 (/ (- x y) (+ x y)))
double code(double x, double y) {
return (x - y) / (x + y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (x - y) / (x + y)
end function
public static double code(double x, double y) {
return (x - y) / (x + y);
}
def code(x, y): return (x - y) / (x + y)
function code(x, y) return Float64(Float64(x - y) / Float64(x + y)) end
function tmp = code(x, y) tmp = (x - y) / (x + y); end
code[x_, y_] := N[(N[(x - y), $MachinePrecision] / N[(x + y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x - y}{x + y}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 7 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (/ (- x y) (+ x y)))
double code(double x, double y) {
return (x - y) / (x + y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (x - y) / (x + y)
end function
public static double code(double x, double y) {
return (x - y) / (x + y);
}
def code(x, y): return (x - y) / (x + y)
function code(x, y) return Float64(Float64(x - y) / Float64(x + y)) end
function tmp = code(x, y) tmp = (x - y) / (x + y); end
code[x_, y_] := N[(N[(x - y), $MachinePrecision] / N[(x + y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x - y}{x + y}
\end{array}
(FPCore (x y) :precision binary64 (/ (- x y) (+ x y)))
double code(double x, double y) {
return (x - y) / (x + y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (x - y) / (x + y)
end function
public static double code(double x, double y) {
return (x - y) / (x + y);
}
def code(x, y): return (x - y) / (x + y)
function code(x, y) return Float64(Float64(x - y) / Float64(x + y)) end
function tmp = code(x, y) tmp = (x - y) / (x + y); end
code[x_, y_] := N[(N[(x - y), $MachinePrecision] / N[(x + y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x - y}{x + y}
\end{array}
Initial program 100.0%
(FPCore (x y) :precision binary64 (if (<= x -9e-53) (/ x (+ x y)) (if (<= x 2.75e-23) (/ (- x y) y) (+ 1.0 (* -2.0 (/ y x))))))
double code(double x, double y) {
double tmp;
if (x <= -9e-53) {
tmp = x / (x + y);
} else if (x <= 2.75e-23) {
tmp = (x - y) / y;
} else {
tmp = 1.0 + (-2.0 * (y / x));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-9d-53)) then
tmp = x / (x + y)
else if (x <= 2.75d-23) then
tmp = (x - y) / y
else
tmp = 1.0d0 + ((-2.0d0) * (y / x))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -9e-53) {
tmp = x / (x + y);
} else if (x <= 2.75e-23) {
tmp = (x - y) / y;
} else {
tmp = 1.0 + (-2.0 * (y / x));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -9e-53: tmp = x / (x + y) elif x <= 2.75e-23: tmp = (x - y) / y else: tmp = 1.0 + (-2.0 * (y / x)) return tmp
function code(x, y) tmp = 0.0 if (x <= -9e-53) tmp = Float64(x / Float64(x + y)); elseif (x <= 2.75e-23) tmp = Float64(Float64(x - y) / y); else tmp = Float64(1.0 + Float64(-2.0 * Float64(y / x))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -9e-53) tmp = x / (x + y); elseif (x <= 2.75e-23) tmp = (x - y) / y; else tmp = 1.0 + (-2.0 * (y / x)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -9e-53], N[(x / N[(x + y), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.75e-23], N[(N[(x - y), $MachinePrecision] / y), $MachinePrecision], N[(1.0 + N[(-2.0 * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -9 \cdot 10^{-53}:\\
\;\;\;\;\frac{x}{x + y}\\
\mathbf{elif}\;x \leq 2.75 \cdot 10^{-23}:\\
\;\;\;\;\frac{x - y}{y}\\
\mathbf{else}:\\
\;\;\;\;1 + -2 \cdot \frac{y}{x}\\
\end{array}
\end{array}
if x < -8.9999999999999997e-53Initial program 100.0%
Taylor expanded in x around inf 82.5%
if -8.9999999999999997e-53 < x < 2.7500000000000001e-23Initial program 100.0%
Taylor expanded in x around 0 83.0%
if 2.7500000000000001e-23 < x Initial program 100.0%
Taylor expanded in y around 0 79.9%
(FPCore (x y) :precision binary64 (if (or (<= x -1.15e-52) (not (<= x 7.5e-51))) (/ x (+ x y)) -1.0))
double code(double x, double y) {
double tmp;
if ((x <= -1.15e-52) || !(x <= 7.5e-51)) {
tmp = x / (x + y);
} else {
tmp = -1.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-1.15d-52)) .or. (.not. (x <= 7.5d-51))) then
tmp = x / (x + y)
else
tmp = -1.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -1.15e-52) || !(x <= 7.5e-51)) {
tmp = x / (x + y);
} else {
tmp = -1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -1.15e-52) or not (x <= 7.5e-51): tmp = x / (x + y) else: tmp = -1.0 return tmp
function code(x, y) tmp = 0.0 if ((x <= -1.15e-52) || !(x <= 7.5e-51)) tmp = Float64(x / Float64(x + y)); else tmp = -1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -1.15e-52) || ~((x <= 7.5e-51))) tmp = x / (x + y); else tmp = -1.0; end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -1.15e-52], N[Not[LessEqual[x, 7.5e-51]], $MachinePrecision]], N[(x / N[(x + y), $MachinePrecision]), $MachinePrecision], -1.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.15 \cdot 10^{-52} \lor \neg \left(x \leq 7.5 \cdot 10^{-51}\right):\\
\;\;\;\;\frac{x}{x + y}\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\end{array}
if x < -1.14999999999999997e-52 or 7.49999999999999976e-51 < x Initial program 100.0%
Taylor expanded in x around inf 79.3%
if -1.14999999999999997e-52 < x < 7.49999999999999976e-51Initial program 100.0%
Taylor expanded in x around 0 84.7%
Final simplification81.7%
(FPCore (x y) :precision binary64 (if (<= x -4.1e-57) (/ x (+ x y)) (if (<= x 2.9e-20) (/ (- x y) y) (/ (- x y) x))))
double code(double x, double y) {
double tmp;
if (x <= -4.1e-57) {
tmp = x / (x + y);
} else if (x <= 2.9e-20) {
tmp = (x - y) / y;
} else {
tmp = (x - y) / x;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-4.1d-57)) then
tmp = x / (x + y)
else if (x <= 2.9d-20) then
tmp = (x - y) / y
else
tmp = (x - y) / x
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -4.1e-57) {
tmp = x / (x + y);
} else if (x <= 2.9e-20) {
tmp = (x - y) / y;
} else {
tmp = (x - y) / x;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -4.1e-57: tmp = x / (x + y) elif x <= 2.9e-20: tmp = (x - y) / y else: tmp = (x - y) / x return tmp
function code(x, y) tmp = 0.0 if (x <= -4.1e-57) tmp = Float64(x / Float64(x + y)); elseif (x <= 2.9e-20) tmp = Float64(Float64(x - y) / y); else tmp = Float64(Float64(x - y) / x); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -4.1e-57) tmp = x / (x + y); elseif (x <= 2.9e-20) tmp = (x - y) / y; else tmp = (x - y) / x; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -4.1e-57], N[(x / N[(x + y), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.9e-20], N[(N[(x - y), $MachinePrecision] / y), $MachinePrecision], N[(N[(x - y), $MachinePrecision] / x), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -4.1 \cdot 10^{-57}:\\
\;\;\;\;\frac{x}{x + y}\\
\mathbf{elif}\;x \leq 2.9 \cdot 10^{-20}:\\
\;\;\;\;\frac{x - y}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x - y}{x}\\
\end{array}
\end{array}
if x < -4.1000000000000001e-57Initial program 100.0%
Taylor expanded in x around inf 82.5%
if -4.1000000000000001e-57 < x < 2.9e-20Initial program 100.0%
Taylor expanded in x around 0 83.0%
if 2.9e-20 < x Initial program 100.0%
Taylor expanded in x around inf 99.8%
Taylor expanded in x around inf 79.3%
(FPCore (x y) :precision binary64 (if (<= x -3.5e-56) (/ x (+ x y)) (if (<= x 1.15e-33) -1.0 (/ (- x y) x))))
double code(double x, double y) {
double tmp;
if (x <= -3.5e-56) {
tmp = x / (x + y);
} else if (x <= 1.15e-33) {
tmp = -1.0;
} else {
tmp = (x - y) / x;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-3.5d-56)) then
tmp = x / (x + y)
else if (x <= 1.15d-33) then
tmp = -1.0d0
else
tmp = (x - y) / x
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -3.5e-56) {
tmp = x / (x + y);
} else if (x <= 1.15e-33) {
tmp = -1.0;
} else {
tmp = (x - y) / x;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.5e-56: tmp = x / (x + y) elif x <= 1.15e-33: tmp = -1.0 else: tmp = (x - y) / x return tmp
function code(x, y) tmp = 0.0 if (x <= -3.5e-56) tmp = Float64(x / Float64(x + y)); elseif (x <= 1.15e-33) tmp = -1.0; else tmp = Float64(Float64(x - y) / x); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.5e-56) tmp = x / (x + y); elseif (x <= 1.15e-33) tmp = -1.0; else tmp = (x - y) / x; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.5e-56], N[(x / N[(x + y), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.15e-33], -1.0, N[(N[(x - y), $MachinePrecision] / x), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.5 \cdot 10^{-56}:\\
\;\;\;\;\frac{x}{x + y}\\
\mathbf{elif}\;x \leq 1.15 \cdot 10^{-33}:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;\frac{x - y}{x}\\
\end{array}
\end{array}
if x < -3.4999999999999998e-56Initial program 100.0%
Taylor expanded in x around inf 82.5%
if -3.4999999999999998e-56 < x < 1.14999999999999993e-33Initial program 100.0%
Taylor expanded in x around 0 83.6%
if 1.14999999999999993e-33 < x Initial program 100.0%
Taylor expanded in x around inf 99.8%
Taylor expanded in x around inf 77.7%
(FPCore (x y) :precision binary64 (if (<= x -2e-56) 1.0 (if (<= x 2e-50) -1.0 1.0)))
double code(double x, double y) {
double tmp;
if (x <= -2e-56) {
tmp = 1.0;
} else if (x <= 2e-50) {
tmp = -1.0;
} else {
tmp = 1.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-2d-56)) then
tmp = 1.0d0
else if (x <= 2d-50) then
tmp = -1.0d0
else
tmp = 1.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -2e-56) {
tmp = 1.0;
} else if (x <= 2e-50) {
tmp = -1.0;
} else {
tmp = 1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2e-56: tmp = 1.0 elif x <= 2e-50: tmp = -1.0 else: tmp = 1.0 return tmp
function code(x, y) tmp = 0.0 if (x <= -2e-56) tmp = 1.0; elseif (x <= 2e-50) tmp = -1.0; else tmp = 1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2e-56) tmp = 1.0; elseif (x <= 2e-50) tmp = -1.0; else tmp = 1.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2e-56], 1.0, If[LessEqual[x, 2e-50], -1.0, 1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2 \cdot 10^{-56}:\\
\;\;\;\;1\\
\mathbf{elif}\;x \leq 2 \cdot 10^{-50}:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < -2.0000000000000001e-56 or 2.00000000000000002e-50 < x Initial program 100.0%
Taylor expanded in x around inf 78.8%
if -2.0000000000000001e-56 < x < 2.00000000000000002e-50Initial program 100.0%
Taylor expanded in x around 0 84.7%
(FPCore (x y) :precision binary64 -1.0)
double code(double x, double y) {
return -1.0;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = -1.0d0
end function
public static double code(double x, double y) {
return -1.0;
}
def code(x, y): return -1.0
function code(x, y) return -1.0 end
function tmp = code(x, y) tmp = -1.0; end
code[x_, y_] := -1.0
\begin{array}{l}
\\
-1
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 49.8%
(FPCore (x y) :precision binary64 (- (/ x (+ x y)) (/ y (+ x y))))
double code(double x, double y) {
return (x / (x + y)) - (y / (x + y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (x / (x + y)) - (y / (x + y))
end function
public static double code(double x, double y) {
return (x / (x + y)) - (y / (x + y));
}
def code(x, y): return (x / (x + y)) - (y / (x + y))
function code(x, y) return Float64(Float64(x / Float64(x + y)) - Float64(y / Float64(x + y))) end
function tmp = code(x, y) tmp = (x / (x + y)) - (y / (x + y)); end
code[x_, y_] := N[(N[(x / N[(x + y), $MachinePrecision]), $MachinePrecision] - N[(y / N[(x + y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{x + y} - \frac{y}{x + y}
\end{array}
herbie shell --seed 2024160
(FPCore (x y)
:name "Data.Colour.RGB:hslsv from colour-2.3.3, D"
:precision binary64
:alt
(! :herbie-platform default (- (/ x (+ x y)) (/ y (+ x y))))
(/ (- x y) (+ x y)))