
(FPCore (x y) :precision binary64 (* 200.0 (- x y)))
double code(double x, double y) {
return 200.0 * (x - y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 200.0d0 * (x - y)
end function
public static double code(double x, double y) {
return 200.0 * (x - y);
}
def code(x, y): return 200.0 * (x - y)
function code(x, y) return Float64(200.0 * Float64(x - y)) end
function tmp = code(x, y) tmp = 200.0 * (x - y); end
code[x_, y_] := N[(200.0 * N[(x - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
200 \cdot \left(x - y\right)
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 4 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (* 200.0 (- x y)))
double code(double x, double y) {
return 200.0 * (x - y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 200.0d0 * (x - y)
end function
public static double code(double x, double y) {
return 200.0 * (x - y);
}
def code(x, y): return 200.0 * (x - y)
function code(x, y) return Float64(200.0 * Float64(x - y)) end
function tmp = code(x, y) tmp = 200.0 * (x - y); end
code[x_, y_] := N[(200.0 * N[(x - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
200 \cdot \left(x - y\right)
\end{array}
(FPCore (x y) :precision binary64 (fma -200.0 y (* 200.0 x)))
double code(double x, double y) {
return fma(-200.0, y, (200.0 * x));
}
function code(x, y) return fma(-200.0, y, Float64(200.0 * x)) end
code[x_, y_] := N[(-200.0 * y + N[(200.0 * x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(-200, y, 200 \cdot x\right)
\end{array}
Initial program 99.9%
Taylor expanded in x around 0 99.9%
+-commutative99.9%
fma-def100.0%
Simplified100.0%
Final simplification100.0%
(FPCore (x y)
:precision binary64
(if (<= x -1.45e+103)
(* 200.0 x)
(if (or (<= x -2.9e+47) (and (not (<= x -2.6e-18)) (<= x 4.5e+64)))
(* -200.0 y)
(* 200.0 x))))
double code(double x, double y) {
double tmp;
if (x <= -1.45e+103) {
tmp = 200.0 * x;
} else if ((x <= -2.9e+47) || (!(x <= -2.6e-18) && (x <= 4.5e+64))) {
tmp = -200.0 * y;
} else {
tmp = 200.0 * x;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-1.45d+103)) then
tmp = 200.0d0 * x
else if ((x <= (-2.9d+47)) .or. (.not. (x <= (-2.6d-18))) .and. (x <= 4.5d+64)) then
tmp = (-200.0d0) * y
else
tmp = 200.0d0 * x
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -1.45e+103) {
tmp = 200.0 * x;
} else if ((x <= -2.9e+47) || (!(x <= -2.6e-18) && (x <= 4.5e+64))) {
tmp = -200.0 * y;
} else {
tmp = 200.0 * x;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -1.45e+103: tmp = 200.0 * x elif (x <= -2.9e+47) or (not (x <= -2.6e-18) and (x <= 4.5e+64)): tmp = -200.0 * y else: tmp = 200.0 * x return tmp
function code(x, y) tmp = 0.0 if (x <= -1.45e+103) tmp = Float64(200.0 * x); elseif ((x <= -2.9e+47) || (!(x <= -2.6e-18) && (x <= 4.5e+64))) tmp = Float64(-200.0 * y); else tmp = Float64(200.0 * x); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -1.45e+103) tmp = 200.0 * x; elseif ((x <= -2.9e+47) || (~((x <= -2.6e-18)) && (x <= 4.5e+64))) tmp = -200.0 * y; else tmp = 200.0 * x; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -1.45e+103], N[(200.0 * x), $MachinePrecision], If[Or[LessEqual[x, -2.9e+47], And[N[Not[LessEqual[x, -2.6e-18]], $MachinePrecision], LessEqual[x, 4.5e+64]]], N[(-200.0 * y), $MachinePrecision], N[(200.0 * x), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.45 \cdot 10^{+103}:\\
\;\;\;\;200 \cdot x\\
\mathbf{elif}\;x \leq -2.9 \cdot 10^{+47} \lor \neg \left(x \leq -2.6 \cdot 10^{-18}\right) \land x \leq 4.5 \cdot 10^{+64}:\\
\;\;\;\;-200 \cdot y\\
\mathbf{else}:\\
\;\;\;\;200 \cdot x\\
\end{array}
\end{array}
if x < -1.4499999999999999e103 or -2.8999999999999998e47 < x < -2.6e-18 or 4.49999999999999973e64 < x Initial program 99.9%
Taylor expanded in x around inf 80.3%
if -1.4499999999999999e103 < x < -2.8999999999999998e47 or -2.6e-18 < x < 4.49999999999999973e64Initial program 99.9%
Taylor expanded in x around 0 78.2%
Final simplification79.2%
(FPCore (x y) :precision binary64 (* 200.0 (- x y)))
double code(double x, double y) {
return 200.0 * (x - y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 200.0d0 * (x - y)
end function
public static double code(double x, double y) {
return 200.0 * (x - y);
}
def code(x, y): return 200.0 * (x - y)
function code(x, y) return Float64(200.0 * Float64(x - y)) end
function tmp = code(x, y) tmp = 200.0 * (x - y); end
code[x_, y_] := N[(200.0 * N[(x - y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
200 \cdot \left(x - y\right)
\end{array}
Initial program 99.9%
Final simplification99.9%
(FPCore (x y) :precision binary64 (* -200.0 y))
double code(double x, double y) {
return -200.0 * y;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (-200.0d0) * y
end function
public static double code(double x, double y) {
return -200.0 * y;
}
def code(x, y): return -200.0 * y
function code(x, y) return Float64(-200.0 * y) end
function tmp = code(x, y) tmp = -200.0 * y; end
code[x_, y_] := N[(-200.0 * y), $MachinePrecision]
\begin{array}{l}
\\
-200 \cdot y
\end{array}
Initial program 99.9%
Taylor expanded in x around 0 52.7%
Final simplification52.7%
herbie shell --seed 2023192
(FPCore (x y)
:name "Data.Colour.CIE:cieLABView from colour-2.3.3, C"
:precision binary64
(* 200.0 (- x y)))