
(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 8 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 (+ (/ y (- x y)) (/ x (- x y))))
double code(double x, double y) {
return (y / (x - y)) + (x / (x - y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (y / (x - y)) + (x / (x - y))
end function
public static double code(double x, double y) {
return (y / (x - y)) + (x / (x - y));
}
def code(x, y): return (y / (x - y)) + (x / (x - y))
function code(x, y) return Float64(Float64(y / Float64(x - y)) + Float64(x / Float64(x - y))) end
function tmp = code(x, y) tmp = (y / (x - y)) + (x / (x - y)); end
code[x_, y_] := N[(N[(y / N[(x - y), $MachinePrecision]), $MachinePrecision] + N[(x / N[(x - y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{y}{x - y} + \frac{x}{x - y}
\end{array}
Initial program 99.9%
add-log-exp99.9%
Applied egg-rr99.9%
rem-log-exp99.9%
*-un-lft-identity99.9%
associate-*l/99.7%
+-commutative99.7%
distribute-rgt-in99.7%
div-inv99.8%
un-div-inv100.0%
Applied egg-rr100.0%
(FPCore (x y) :precision binary64 (if (or (<= x -9.2e-21) (not (<= x 1.4e-25))) (/ x (- x y)) (/ y (- x y))))
double code(double x, double y) {
double tmp;
if ((x <= -9.2e-21) || !(x <= 1.4e-25)) {
tmp = x / (x - y);
} else {
tmp = y / (x - y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-9.2d-21)) .or. (.not. (x <= 1.4d-25))) then
tmp = x / (x - y)
else
tmp = y / (x - y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -9.2e-21) || !(x <= 1.4e-25)) {
tmp = x / (x - y);
} else {
tmp = y / (x - y);
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -9.2e-21) or not (x <= 1.4e-25): tmp = x / (x - y) else: tmp = y / (x - y) return tmp
function code(x, y) tmp = 0.0 if ((x <= -9.2e-21) || !(x <= 1.4e-25)) tmp = Float64(x / Float64(x - y)); else tmp = Float64(y / Float64(x - y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -9.2e-21) || ~((x <= 1.4e-25))) tmp = x / (x - y); else tmp = y / (x - y); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -9.2e-21], N[Not[LessEqual[x, 1.4e-25]], $MachinePrecision]], N[(x / N[(x - y), $MachinePrecision]), $MachinePrecision], N[(y / N[(x - y), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -9.2 \cdot 10^{-21} \lor \neg \left(x \leq 1.4 \cdot 10^{-25}\right):\\
\;\;\;\;\frac{x}{x - y}\\
\mathbf{else}:\\
\;\;\;\;\frac{y}{x - y}\\
\end{array}
\end{array}
if x < -9.19999999999999998e-21 or 1.39999999999999994e-25 < x Initial program 99.9%
Taylor expanded in x around inf 76.8%
if -9.19999999999999998e-21 < x < 1.39999999999999994e-25Initial program 99.9%
Taylor expanded in x around 0 82.5%
Final simplification79.3%
(FPCore (x y) :precision binary64 (if (or (<= x -4.2e-22) (not (<= x 1.9e-25))) (/ x (- x y)) -1.0))
double code(double x, double y) {
double tmp;
if ((x <= -4.2e-22) || !(x <= 1.9e-25)) {
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 <= (-4.2d-22)) .or. (.not. (x <= 1.9d-25))) 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 <= -4.2e-22) || !(x <= 1.9e-25)) {
tmp = x / (x - y);
} else {
tmp = -1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -4.2e-22) or not (x <= 1.9e-25): tmp = x / (x - y) else: tmp = -1.0 return tmp
function code(x, y) tmp = 0.0 if ((x <= -4.2e-22) || !(x <= 1.9e-25)) 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 <= -4.2e-22) || ~((x <= 1.9e-25))) tmp = x / (x - y); else tmp = -1.0; end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -4.2e-22], N[Not[LessEqual[x, 1.9e-25]], $MachinePrecision]], N[(x / N[(x - y), $MachinePrecision]), $MachinePrecision], -1.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -4.2 \cdot 10^{-22} \lor \neg \left(x \leq 1.9 \cdot 10^{-25}\right):\\
\;\;\;\;\frac{x}{x - y}\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\end{array}
if x < -4.20000000000000016e-22 or 1.8999999999999999e-25 < x Initial program 99.9%
Taylor expanded in x around inf 76.8%
if -4.20000000000000016e-22 < x < 1.8999999999999999e-25Initial program 99.9%
Taylor expanded in x around 0 81.6%
Final simplification78.9%
(FPCore (x y) :precision binary64 (if (or (<= x -3.3e-24) (not (<= x 3.9e-26))) (+ 1.0 (/ y x)) -1.0))
double code(double x, double y) {
double tmp;
if ((x <= -3.3e-24) || !(x <= 3.9e-26)) {
tmp = 1.0 + (y / x);
} 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 <= (-3.3d-24)) .or. (.not. (x <= 3.9d-26))) then
tmp = 1.0d0 + (y / x)
else
tmp = -1.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -3.3e-24) || !(x <= 3.9e-26)) {
tmp = 1.0 + (y / x);
} else {
tmp = -1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -3.3e-24) or not (x <= 3.9e-26): tmp = 1.0 + (y / x) else: tmp = -1.0 return tmp
function code(x, y) tmp = 0.0 if ((x <= -3.3e-24) || !(x <= 3.9e-26)) tmp = Float64(1.0 + Float64(y / x)); else tmp = -1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -3.3e-24) || ~((x <= 3.9e-26))) tmp = 1.0 + (y / x); else tmp = -1.0; end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -3.3e-24], N[Not[LessEqual[x, 3.9e-26]], $MachinePrecision]], N[(1.0 + N[(y / x), $MachinePrecision]), $MachinePrecision], -1.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.3 \cdot 10^{-24} \lor \neg \left(x \leq 3.9 \cdot 10^{-26}\right):\\
\;\;\;\;1 + \frac{y}{x}\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\end{array}
if x < -3.29999999999999984e-24 or 3.89999999999999986e-26 < x Initial program 99.9%
Taylor expanded in x around inf 76.8%
Taylor expanded in x around inf 76.5%
if -3.29999999999999984e-24 < x < 3.89999999999999986e-26Initial program 99.9%
Taylor expanded in x around 0 81.6%
Final simplification78.7%
(FPCore (x y) :precision binary64 (if (<= x -1.8e-16) (+ 1.0 (* 2.0 (/ y x))) (if (<= x 1.6e-25) (/ y (- x y)) (/ x (- x y)))))
double code(double x, double y) {
double tmp;
if (x <= -1.8e-16) {
tmp = 1.0 + (2.0 * (y / x));
} else if (x <= 1.6e-25) {
tmp = y / (x - y);
} else {
tmp = x / (x - y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-1.8d-16)) then
tmp = 1.0d0 + (2.0d0 * (y / x))
else if (x <= 1.6d-25) then
tmp = y / (x - y)
else
tmp = x / (x - y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -1.8e-16) {
tmp = 1.0 + (2.0 * (y / x));
} else if (x <= 1.6e-25) {
tmp = y / (x - y);
} else {
tmp = x / (x - y);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -1.8e-16: tmp = 1.0 + (2.0 * (y / x)) elif x <= 1.6e-25: tmp = y / (x - y) else: tmp = x / (x - y) return tmp
function code(x, y) tmp = 0.0 if (x <= -1.8e-16) tmp = Float64(1.0 + Float64(2.0 * Float64(y / x))); elseif (x <= 1.6e-25) tmp = Float64(y / Float64(x - y)); else tmp = Float64(x / Float64(x - y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -1.8e-16) tmp = 1.0 + (2.0 * (y / x)); elseif (x <= 1.6e-25) tmp = y / (x - y); else tmp = x / (x - y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -1.8e-16], N[(1.0 + N[(2.0 * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.6e-25], N[(y / N[(x - y), $MachinePrecision]), $MachinePrecision], N[(x / N[(x - y), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.8 \cdot 10^{-16}:\\
\;\;\;\;1 + 2 \cdot \frac{y}{x}\\
\mathbf{elif}\;x \leq 1.6 \cdot 10^{-25}:\\
\;\;\;\;\frac{y}{x - y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x - y}\\
\end{array}
\end{array}
if x < -1.79999999999999991e-16Initial program 99.9%
Taylor expanded in y around 0 79.7%
if -1.79999999999999991e-16 < x < 1.6000000000000001e-25Initial program 99.9%
Taylor expanded in x around 0 82.5%
if 1.6000000000000001e-25 < x Initial program 100.0%
Taylor expanded in x around inf 74.8%
(FPCore (x y) :precision binary64 (if (<= x -2e-18) 1.0 (if (<= x 5e-26) -1.0 1.0)))
double code(double x, double y) {
double tmp;
if (x <= -2e-18) {
tmp = 1.0;
} else if (x <= 5e-26) {
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-18)) then
tmp = 1.0d0
else if (x <= 5d-26) 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-18) {
tmp = 1.0;
} else if (x <= 5e-26) {
tmp = -1.0;
} else {
tmp = 1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2e-18: tmp = 1.0 elif x <= 5e-26: tmp = -1.0 else: tmp = 1.0 return tmp
function code(x, y) tmp = 0.0 if (x <= -2e-18) tmp = 1.0; elseif (x <= 5e-26) tmp = -1.0; else tmp = 1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2e-18) tmp = 1.0; elseif (x <= 5e-26) tmp = -1.0; else tmp = 1.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2e-18], 1.0, If[LessEqual[x, 5e-26], -1.0, 1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2 \cdot 10^{-18}:\\
\;\;\;\;1\\
\mathbf{elif}\;x \leq 5 \cdot 10^{-26}:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < -2.0000000000000001e-18 or 5.00000000000000019e-26 < x Initial program 99.9%
Taylor expanded in x around inf 76.0%
if -2.0000000000000001e-18 < x < 5.00000000000000019e-26Initial program 99.9%
Taylor expanded in x around 0 81.6%
(FPCore (x y) :precision binary64 (/ (+ y x) (- x y)))
double code(double x, double y) {
return (y + x) / (x - y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (y + x) / (x - y)
end function
public static double code(double x, double y) {
return (y + x) / (x - y);
}
def code(x, y): return (y + x) / (x - y)
function code(x, y) return Float64(Float64(y + x) / Float64(x - y)) end
function tmp = code(x, y) tmp = (y + x) / (x - y); end
code[x_, y_] := N[(N[(y + x), $MachinePrecision] / N[(x - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{y + x}{x - y}
\end{array}
Initial program 99.9%
Final simplification99.9%
(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 99.9%
Taylor expanded in x around 0 48.2%
(FPCore (x y) :precision binary64 (/ 1.0 (- (/ x (+ x y)) (/ y (+ x y)))))
double code(double x, double y) {
return 1.0 / ((x / (x + y)) - (y / (x + y)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0 / ((x / (x + y)) - (y / (x + y)))
end function
public static double code(double x, double y) {
return 1.0 / ((x / (x + y)) - (y / (x + y)));
}
def code(x, y): return 1.0 / ((x / (x + y)) - (y / (x + y)))
function code(x, y) return Float64(1.0 / Float64(Float64(x / Float64(x + y)) - Float64(y / Float64(x + y)))) end
function tmp = code(x, y) tmp = 1.0 / ((x / (x + y)) - (y / (x + y))); end
code[x_, y_] := N[(1.0 / N[(N[(x / N[(x + y), $MachinePrecision]), $MachinePrecision] - N[(y / N[(x + y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\frac{x}{x + y} - \frac{y}{x + y}}
\end{array}
herbie shell --seed 2024114
(FPCore (x y)
:name "Linear.Projection:perspective from linear-1.19.1.3, A"
:precision binary64
:alt
(! :herbie-platform default (/ 1 (- (/ x (+ x y)) (/ y (+ x y)))))
(/ (+ x y) (- x y)))