
(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 5 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%
Final simplification100.0%
(FPCore (x y)
:precision binary64
(if (<= y -4.9e+50)
-1.0
(if (or (<= y -7.2e+29)
(and (not (<= y -3.9e-70))
(or (<= y 1200.0) (and (not (<= y 2.45e+29)) (<= y 5.5e+75)))))
(+ 1.0 (* -2.0 (/ y x)))
-1.0)))
double code(double x, double y) {
double tmp;
if (y <= -4.9e+50) {
tmp = -1.0;
} else if ((y <= -7.2e+29) || (!(y <= -3.9e-70) && ((y <= 1200.0) || (!(y <= 2.45e+29) && (y <= 5.5e+75))))) {
tmp = 1.0 + (-2.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 (y <= (-4.9d+50)) then
tmp = -1.0d0
else if ((y <= (-7.2d+29)) .or. (.not. (y <= (-3.9d-70))) .and. (y <= 1200.0d0) .or. (.not. (y <= 2.45d+29)) .and. (y <= 5.5d+75)) then
tmp = 1.0d0 + ((-2.0d0) * (y / x))
else
tmp = -1.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -4.9e+50) {
tmp = -1.0;
} else if ((y <= -7.2e+29) || (!(y <= -3.9e-70) && ((y <= 1200.0) || (!(y <= 2.45e+29) && (y <= 5.5e+75))))) {
tmp = 1.0 + (-2.0 * (y / x));
} else {
tmp = -1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -4.9e+50: tmp = -1.0 elif (y <= -7.2e+29) or (not (y <= -3.9e-70) and ((y <= 1200.0) or (not (y <= 2.45e+29) and (y <= 5.5e+75)))): tmp = 1.0 + (-2.0 * (y / x)) else: tmp = -1.0 return tmp
function code(x, y) tmp = 0.0 if (y <= -4.9e+50) tmp = -1.0; elseif ((y <= -7.2e+29) || (!(y <= -3.9e-70) && ((y <= 1200.0) || (!(y <= 2.45e+29) && (y <= 5.5e+75))))) tmp = Float64(1.0 + Float64(-2.0 * Float64(y / x))); else tmp = -1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -4.9e+50) tmp = -1.0; elseif ((y <= -7.2e+29) || (~((y <= -3.9e-70)) && ((y <= 1200.0) || (~((y <= 2.45e+29)) && (y <= 5.5e+75))))) tmp = 1.0 + (-2.0 * (y / x)); else tmp = -1.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -4.9e+50], -1.0, If[Or[LessEqual[y, -7.2e+29], And[N[Not[LessEqual[y, -3.9e-70]], $MachinePrecision], Or[LessEqual[y, 1200.0], And[N[Not[LessEqual[y, 2.45e+29]], $MachinePrecision], LessEqual[y, 5.5e+75]]]]], N[(1.0 + N[(-2.0 * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], -1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -4.9 \cdot 10^{+50}:\\
\;\;\;\;-1\\
\mathbf{elif}\;y \leq -7.2 \cdot 10^{+29} \lor \neg \left(y \leq -3.9 \cdot 10^{-70}\right) \land \left(y \leq 1200 \lor \neg \left(y \leq 2.45 \cdot 10^{+29}\right) \land y \leq 5.5 \cdot 10^{+75}\right):\\
\;\;\;\;1 + -2 \cdot \frac{y}{x}\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\end{array}
if y < -4.9000000000000002e50 or -7.19999999999999952e29 < y < -3.90000000000000019e-70 or 1200 < y < 2.4500000000000001e29 or 5.5000000000000001e75 < y Initial program 100.0%
Taylor expanded in x around 0 85.3%
if -4.9000000000000002e50 < y < -7.19999999999999952e29 or -3.90000000000000019e-70 < y < 1200 or 2.4500000000000001e29 < y < 5.5000000000000001e75Initial program 100.0%
Taylor expanded in y around 0 80.8%
Final simplification83.0%
(FPCore (x y)
:precision binary64
(if (or (<= y -6.3e+46)
(and (not (<= y -6e+31)) (or (<= y -3.9e-70) (not (<= y 500.0)))))
(+ (* 2.0 (/ x y)) -1.0)
(+ 1.0 (* -2.0 (/ y x)))))
double code(double x, double y) {
double tmp;
if ((y <= -6.3e+46) || (!(y <= -6e+31) && ((y <= -3.9e-70) || !(y <= 500.0)))) {
tmp = (2.0 * (x / y)) + -1.0;
} 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 ((y <= (-6.3d+46)) .or. (.not. (y <= (-6d+31))) .and. (y <= (-3.9d-70)) .or. (.not. (y <= 500.0d0))) then
tmp = (2.0d0 * (x / y)) + (-1.0d0)
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 ((y <= -6.3e+46) || (!(y <= -6e+31) && ((y <= -3.9e-70) || !(y <= 500.0)))) {
tmp = (2.0 * (x / y)) + -1.0;
} else {
tmp = 1.0 + (-2.0 * (y / x));
}
return tmp;
}
def code(x, y): tmp = 0 if (y <= -6.3e+46) or (not (y <= -6e+31) and ((y <= -3.9e-70) or not (y <= 500.0))): tmp = (2.0 * (x / y)) + -1.0 else: tmp = 1.0 + (-2.0 * (y / x)) return tmp
function code(x, y) tmp = 0.0 if ((y <= -6.3e+46) || (!(y <= -6e+31) && ((y <= -3.9e-70) || !(y <= 500.0)))) tmp = Float64(Float64(2.0 * Float64(x / y)) + -1.0); 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 ((y <= -6.3e+46) || (~((y <= -6e+31)) && ((y <= -3.9e-70) || ~((y <= 500.0))))) tmp = (2.0 * (x / y)) + -1.0; else tmp = 1.0 + (-2.0 * (y / x)); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[y, -6.3e+46], And[N[Not[LessEqual[y, -6e+31]], $MachinePrecision], Or[LessEqual[y, -3.9e-70], N[Not[LessEqual[y, 500.0]], $MachinePrecision]]]], N[(N[(2.0 * N[(x / y), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision], N[(1.0 + N[(-2.0 * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -6.3 \cdot 10^{+46} \lor \neg \left(y \leq -6 \cdot 10^{+31}\right) \land \left(y \leq -3.9 \cdot 10^{-70} \lor \neg \left(y \leq 500\right)\right):\\
\;\;\;\;2 \cdot \frac{x}{y} + -1\\
\mathbf{else}:\\
\;\;\;\;1 + -2 \cdot \frac{y}{x}\\
\end{array}
\end{array}
if y < -6.3e46 or -5.99999999999999978e31 < y < -3.90000000000000019e-70 or 500 < y Initial program 100.0%
Taylor expanded in x around 0 81.2%
if -6.3e46 < y < -5.99999999999999978e31 or -3.90000000000000019e-70 < y < 500Initial program 100.0%
Taylor expanded in y around 0 82.6%
Final simplification81.8%
(FPCore (x y)
:precision binary64
(if (<= y -8e+46)
-1.0
(if (<= y -1e+29)
1.0
(if (<= y -3.9e-70)
-1.0
(if (<= y 0.6)
1.0
(if (<= y 5e+28) -1.0 (if (<= y 3e+73) 1.0 -1.0)))))))
double code(double x, double y) {
double tmp;
if (y <= -8e+46) {
tmp = -1.0;
} else if (y <= -1e+29) {
tmp = 1.0;
} else if (y <= -3.9e-70) {
tmp = -1.0;
} else if (y <= 0.6) {
tmp = 1.0;
} else if (y <= 5e+28) {
tmp = -1.0;
} else if (y <= 3e+73) {
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 (y <= (-8d+46)) then
tmp = -1.0d0
else if (y <= (-1d+29)) then
tmp = 1.0d0
else if (y <= (-3.9d-70)) then
tmp = -1.0d0
else if (y <= 0.6d0) then
tmp = 1.0d0
else if (y <= 5d+28) then
tmp = -1.0d0
else if (y <= 3d+73) 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 (y <= -8e+46) {
tmp = -1.0;
} else if (y <= -1e+29) {
tmp = 1.0;
} else if (y <= -3.9e-70) {
tmp = -1.0;
} else if (y <= 0.6) {
tmp = 1.0;
} else if (y <= 5e+28) {
tmp = -1.0;
} else if (y <= 3e+73) {
tmp = 1.0;
} else {
tmp = -1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -8e+46: tmp = -1.0 elif y <= -1e+29: tmp = 1.0 elif y <= -3.9e-70: tmp = -1.0 elif y <= 0.6: tmp = 1.0 elif y <= 5e+28: tmp = -1.0 elif y <= 3e+73: tmp = 1.0 else: tmp = -1.0 return tmp
function code(x, y) tmp = 0.0 if (y <= -8e+46) tmp = -1.0; elseif (y <= -1e+29) tmp = 1.0; elseif (y <= -3.9e-70) tmp = -1.0; elseif (y <= 0.6) tmp = 1.0; elseif (y <= 5e+28) tmp = -1.0; elseif (y <= 3e+73) tmp = 1.0; else tmp = -1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -8e+46) tmp = -1.0; elseif (y <= -1e+29) tmp = 1.0; elseif (y <= -3.9e-70) tmp = -1.0; elseif (y <= 0.6) tmp = 1.0; elseif (y <= 5e+28) tmp = -1.0; elseif (y <= 3e+73) tmp = 1.0; else tmp = -1.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -8e+46], -1.0, If[LessEqual[y, -1e+29], 1.0, If[LessEqual[y, -3.9e-70], -1.0, If[LessEqual[y, 0.6], 1.0, If[LessEqual[y, 5e+28], -1.0, If[LessEqual[y, 3e+73], 1.0, -1.0]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8 \cdot 10^{+46}:\\
\;\;\;\;-1\\
\mathbf{elif}\;y \leq -1 \cdot 10^{+29}:\\
\;\;\;\;1\\
\mathbf{elif}\;y \leq -3.9 \cdot 10^{-70}:\\
\;\;\;\;-1\\
\mathbf{elif}\;y \leq 0.6:\\
\;\;\;\;1\\
\mathbf{elif}\;y \leq 5 \cdot 10^{+28}:\\
\;\;\;\;-1\\
\mathbf{elif}\;y \leq 3 \cdot 10^{+73}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\end{array}
if y < -7.9999999999999999e46 or -9.99999999999999914e28 < y < -3.90000000000000019e-70 or 0.599999999999999978 < y < 4.99999999999999957e28 or 3.00000000000000011e73 < y Initial program 100.0%
Taylor expanded in x around 0 85.3%
if -7.9999999999999999e46 < y < -9.99999999999999914e28 or -3.90000000000000019e-70 < y < 0.599999999999999978 or 4.99999999999999957e28 < y < 3.00000000000000011e73Initial program 100.0%
Taylor expanded in x around inf 79.6%
Final simplification82.4%
(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 51.9%
Final simplification51.9%
(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 2023297
(FPCore (x y)
:name "Data.Colour.RGB:hslsv from colour-2.3.3, D"
:precision binary64
:herbie-target
(- (/ x (+ x y)) (/ y (+ x y)))
(/ (- x y) (+ x y)))