
(FPCore (x y) :precision binary64 (* 500.0 (- x y)))
double code(double x, double y) {
return 500.0 * (x - y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 500.0d0 * (x - y)
end function
public static double code(double x, double y) {
return 500.0 * (x - y);
}
def code(x, y): return 500.0 * (x - y)
function code(x, y) return Float64(500.0 * Float64(x - y)) end
function tmp = code(x, y) tmp = 500.0 * (x - y); end
code[x_, y_] := N[(500.0 * N[(x - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
500 \cdot \left(x - y\right)
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 5 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (* 500.0 (- x y)))
double code(double x, double y) {
return 500.0 * (x - y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 500.0d0 * (x - y)
end function
public static double code(double x, double y) {
return 500.0 * (x - y);
}
def code(x, y): return 500.0 * (x - y)
function code(x, y) return Float64(500.0 * Float64(x - y)) end
function tmp = code(x, y) tmp = 500.0 * (x - y); end
code[x_, y_] := N[(500.0 * N[(x - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
500 \cdot \left(x - y\right)
\end{array}
(FPCore (x y) :precision binary64 (fma 500.0 x (* -500.0 y)))
double code(double x, double y) {
return fma(500.0, x, (-500.0 * y));
}
function code(x, y) return fma(500.0, x, Float64(-500.0 * y)) end
code[x_, y_] := N[(500.0 * x + N[(-500.0 * y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(500, x, -500 \cdot y\right)
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 100.0%
fma-def100.0%
Simplified100.0%
Final simplification100.0%
(FPCore (x y) :precision binary64 (if (<= y -3.8e+26) (* -500.0 y) (if (<= y 7.2e-85) (* 500.0 x) (* -500.0 y))))
double code(double x, double y) {
double tmp;
if (y <= -3.8e+26) {
tmp = -500.0 * y;
} else if (y <= 7.2e-85) {
tmp = 500.0 * x;
} else {
tmp = -500.0 * y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-3.8d+26)) then
tmp = (-500.0d0) * y
else if (y <= 7.2d-85) then
tmp = 500.0d0 * x
else
tmp = (-500.0d0) * y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -3.8e+26) {
tmp = -500.0 * y;
} else if (y <= 7.2e-85) {
tmp = 500.0 * x;
} else {
tmp = -500.0 * y;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -3.8e+26: tmp = -500.0 * y elif y <= 7.2e-85: tmp = 500.0 * x else: tmp = -500.0 * y return tmp
function code(x, y) tmp = 0.0 if (y <= -3.8e+26) tmp = Float64(-500.0 * y); elseif (y <= 7.2e-85) tmp = Float64(500.0 * x); else tmp = Float64(-500.0 * y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -3.8e+26) tmp = -500.0 * y; elseif (y <= 7.2e-85) tmp = 500.0 * x; else tmp = -500.0 * y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -3.8e+26], N[(-500.0 * y), $MachinePrecision], If[LessEqual[y, 7.2e-85], N[(500.0 * x), $MachinePrecision], N[(-500.0 * y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -3.8 \cdot 10^{+26}:\\
\;\;\;\;-500 \cdot y\\
\mathbf{elif}\;y \leq 7.2 \cdot 10^{-85}:\\
\;\;\;\;500 \cdot x\\
\mathbf{else}:\\
\;\;\;\;-500 \cdot y\\
\end{array}
\end{array}
if y < -3.8000000000000002e26 or 7.1999999999999996e-85 < y Initial program 99.9%
Taylor expanded in x around 0 73.8%
if -3.8000000000000002e26 < y < 7.1999999999999996e-85Initial program 100.0%
Taylor expanded in x around inf 78.6%
Final simplification75.9%
(FPCore (x y) :precision binary64 (+ (* -500.0 y) (* 500.0 x)))
double code(double x, double y) {
return (-500.0 * y) + (500.0 * x);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((-500.0d0) * y) + (500.0d0 * x)
end function
public static double code(double x, double y) {
return (-500.0 * y) + (500.0 * x);
}
def code(x, y): return (-500.0 * y) + (500.0 * x)
function code(x, y) return Float64(Float64(-500.0 * y) + Float64(500.0 * x)) end
function tmp = code(x, y) tmp = (-500.0 * y) + (500.0 * x); end
code[x_, y_] := N[(N[(-500.0 * y), $MachinePrecision] + N[(500.0 * x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
-500 \cdot y + 500 \cdot x
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 100.0%
Final simplification100.0%
(FPCore (x y) :precision binary64 (* 500.0 (- x y)))
double code(double x, double y) {
return 500.0 * (x - y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 500.0d0 * (x - y)
end function
public static double code(double x, double y) {
return 500.0 * (x - y);
}
def code(x, y): return 500.0 * (x - y)
function code(x, y) return Float64(500.0 * Float64(x - y)) end
function tmp = code(x, y) tmp = 500.0 * (x - y); end
code[x_, y_] := N[(500.0 * N[(x - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
500 \cdot \left(x - y\right)
\end{array}
Initial program 100.0%
Final simplification100.0%
(FPCore (x y) :precision binary64 (* -500.0 y))
double code(double x, double y) {
return -500.0 * y;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (-500.0d0) * y
end function
public static double code(double x, double y) {
return -500.0 * y;
}
def code(x, y): return -500.0 * y
function code(x, y) return Float64(-500.0 * y) end
function tmp = code(x, y) tmp = -500.0 * y; end
code[x_, y_] := N[(-500.0 * y), $MachinePrecision]
\begin{array}{l}
\\
-500 \cdot y
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 50.9%
Final simplification50.9%
herbie shell --seed 2023257
(FPCore (x y)
:name "Data.Colour.CIE:cieLABView from colour-2.3.3, B"
:precision binary64
(* 500.0 (- x y)))