
(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 3 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 (* 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 100.0%
Final simplification100.0%
(FPCore (x y) :precision binary64 (if (or (<= x -1e+65) (not (<= x 6.5e+67))) (* 200.0 x) (* y -200.0)))
double code(double x, double y) {
double tmp;
if ((x <= -1e+65) || !(x <= 6.5e+67)) {
tmp = 200.0 * x;
} else {
tmp = y * -200.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-1d+65)) .or. (.not. (x <= 6.5d+67))) then
tmp = 200.0d0 * x
else
tmp = y * (-200.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -1e+65) || !(x <= 6.5e+67)) {
tmp = 200.0 * x;
} else {
tmp = y * -200.0;
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -1e+65) or not (x <= 6.5e+67): tmp = 200.0 * x else: tmp = y * -200.0 return tmp
function code(x, y) tmp = 0.0 if ((x <= -1e+65) || !(x <= 6.5e+67)) tmp = Float64(200.0 * x); else tmp = Float64(y * -200.0); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -1e+65) || ~((x <= 6.5e+67))) tmp = 200.0 * x; else tmp = y * -200.0; end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -1e+65], N[Not[LessEqual[x, 6.5e+67]], $MachinePrecision]], N[(200.0 * x), $MachinePrecision], N[(y * -200.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1 \cdot 10^{+65} \lor \neg \left(x \leq 6.5 \cdot 10^{+67}\right):\\
\;\;\;\;200 \cdot x\\
\mathbf{else}:\\
\;\;\;\;y \cdot -200\\
\end{array}
\end{array}
if x < -9.9999999999999999e64 or 6.4999999999999995e67 < x Initial program 99.9%
Taylor expanded in x around inf 80.5%
if -9.9999999999999999e64 < x < 6.4999999999999995e67Initial program 100.0%
Taylor expanded in x around 0 78.9%
Final simplification79.5%
(FPCore (x y) :precision binary64 (* y -200.0))
double code(double x, double y) {
return y * -200.0;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = y * (-200.0d0)
end function
public static double code(double x, double y) {
return y * -200.0;
}
def code(x, y): return y * -200.0
function code(x, y) return Float64(y * -200.0) end
function tmp = code(x, y) tmp = y * -200.0; end
code[x_, y_] := N[(y * -200.0), $MachinePrecision]
\begin{array}{l}
\\
y \cdot -200
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 54.9%
Final simplification54.9%
herbie shell --seed 2023301
(FPCore (x y)
:name "Data.Colour.CIE:cieLABView from colour-2.3.3, C"
:precision binary64
(* 200.0 (- x y)))