
(FPCore (x y) :precision binary64 (- x (/ y 200.0)))
double code(double x, double y) {
return x - (y / 200.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x - (y / 200.0d0)
end function
public static double code(double x, double y) {
return x - (y / 200.0);
}
def code(x, y): return x - (y / 200.0)
function code(x, y) return Float64(x - Float64(y / 200.0)) end
function tmp = code(x, y) tmp = x - (y / 200.0); end
code[x_, y_] := N[(x - N[(y / 200.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x - \frac{y}{200}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 3 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (- x (/ y 200.0)))
double code(double x, double y) {
return x - (y / 200.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x - (y / 200.0d0)
end function
public static double code(double x, double y) {
return x - (y / 200.0);
}
def code(x, y): return x - (y / 200.0)
function code(x, y) return Float64(x - Float64(y / 200.0)) end
function tmp = code(x, y) tmp = x - (y / 200.0); end
code[x_, y_] := N[(x - N[(y / 200.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x - \frac{y}{200}
\end{array}
(FPCore (x y) :precision binary64 (- x (/ y 200.0)))
double code(double x, double y) {
return x - (y / 200.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x - (y / 200.0d0)
end function
public static double code(double x, double y) {
return x - (y / 200.0);
}
def code(x, y): return x - (y / 200.0)
function code(x, y) return Float64(x - Float64(y / 200.0)) end
function tmp = code(x, y) tmp = x - (y / 200.0); end
code[x_, y_] := N[(x - N[(y / 200.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x - \frac{y}{200}
\end{array}
Initial program 100.0%
Final simplification100.0%
(FPCore (x y)
:precision binary64
(if (<= y -5.8e+19)
(* y -0.005)
(if (<= y -7.1e-47)
x
(if (<= y -2.8e-141)
(* y -0.005)
(if (<= y 5.2e-111)
x
(if (<= y 4.8e-36)
(* y -0.005)
(if (<= y 9.4e+58) x (* y -0.005))))))))
double code(double x, double y) {
double tmp;
if (y <= -5.8e+19) {
tmp = y * -0.005;
} else if (y <= -7.1e-47) {
tmp = x;
} else if (y <= -2.8e-141) {
tmp = y * -0.005;
} else if (y <= 5.2e-111) {
tmp = x;
} else if (y <= 4.8e-36) {
tmp = y * -0.005;
} else if (y <= 9.4e+58) {
tmp = x;
} else {
tmp = y * -0.005;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-5.8d+19)) then
tmp = y * (-0.005d0)
else if (y <= (-7.1d-47)) then
tmp = x
else if (y <= (-2.8d-141)) then
tmp = y * (-0.005d0)
else if (y <= 5.2d-111) then
tmp = x
else if (y <= 4.8d-36) then
tmp = y * (-0.005d0)
else if (y <= 9.4d+58) then
tmp = x
else
tmp = y * (-0.005d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -5.8e+19) {
tmp = y * -0.005;
} else if (y <= -7.1e-47) {
tmp = x;
} else if (y <= -2.8e-141) {
tmp = y * -0.005;
} else if (y <= 5.2e-111) {
tmp = x;
} else if (y <= 4.8e-36) {
tmp = y * -0.005;
} else if (y <= 9.4e+58) {
tmp = x;
} else {
tmp = y * -0.005;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -5.8e+19: tmp = y * -0.005 elif y <= -7.1e-47: tmp = x elif y <= -2.8e-141: tmp = y * -0.005 elif y <= 5.2e-111: tmp = x elif y <= 4.8e-36: tmp = y * -0.005 elif y <= 9.4e+58: tmp = x else: tmp = y * -0.005 return tmp
function code(x, y) tmp = 0.0 if (y <= -5.8e+19) tmp = Float64(y * -0.005); elseif (y <= -7.1e-47) tmp = x; elseif (y <= -2.8e-141) tmp = Float64(y * -0.005); elseif (y <= 5.2e-111) tmp = x; elseif (y <= 4.8e-36) tmp = Float64(y * -0.005); elseif (y <= 9.4e+58) tmp = x; else tmp = Float64(y * -0.005); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -5.8e+19) tmp = y * -0.005; elseif (y <= -7.1e-47) tmp = x; elseif (y <= -2.8e-141) tmp = y * -0.005; elseif (y <= 5.2e-111) tmp = x; elseif (y <= 4.8e-36) tmp = y * -0.005; elseif (y <= 9.4e+58) tmp = x; else tmp = y * -0.005; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -5.8e+19], N[(y * -0.005), $MachinePrecision], If[LessEqual[y, -7.1e-47], x, If[LessEqual[y, -2.8e-141], N[(y * -0.005), $MachinePrecision], If[LessEqual[y, 5.2e-111], x, If[LessEqual[y, 4.8e-36], N[(y * -0.005), $MachinePrecision], If[LessEqual[y, 9.4e+58], x, N[(y * -0.005), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -5.8 \cdot 10^{+19}:\\
\;\;\;\;y \cdot -0.005\\
\mathbf{elif}\;y \leq -7.1 \cdot 10^{-47}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq -2.8 \cdot 10^{-141}:\\
\;\;\;\;y \cdot -0.005\\
\mathbf{elif}\;y \leq 5.2 \cdot 10^{-111}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq 4.8 \cdot 10^{-36}:\\
\;\;\;\;y \cdot -0.005\\
\mathbf{elif}\;y \leq 9.4 \cdot 10^{+58}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;y \cdot -0.005\\
\end{array}
\end{array}
if y < -5.8e19 or -7.1000000000000002e-47 < y < -2.80000000000000012e-141 or 5.19999999999999965e-111 < y < 4.8e-36 or 9.39999999999999944e58 < y Initial program 100.0%
Taylor expanded in x around 0 76.0%
if -5.8e19 < y < -7.1000000000000002e-47 or -2.80000000000000012e-141 < y < 5.19999999999999965e-111 or 4.8e-36 < y < 9.39999999999999944e58Initial program 100.0%
Taylor expanded in x around inf 87.5%
Final simplification81.0%
(FPCore (x y) :precision binary64 x)
double code(double x, double y) {
return x;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x
end function
public static double code(double x, double y) {
return x;
}
def code(x, y): return x
function code(x, y) return x end
function tmp = code(x, y) tmp = x; end
code[x_, y_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 100.0%
Taylor expanded in x around inf 51.0%
Final simplification51.0%
herbie shell --seed 2023173
(FPCore (x y)
:name "Data.Colour.CIE:cieLAB from colour-2.3.3, D"
:precision binary64
(- x (/ y 200.0)))