| Alternative 1 | |
|---|---|
| Accuracy | 100.0% |
| Cost | 320 |
\[x - \frac{y}{200}
\]

(FPCore (x y) :precision binary64 (- x (/ y 200.0)))
(FPCore (x y) :precision binary64 (- x (/ y 200.0)))
double code(double x, double y) {
return 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
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);
}
public static double code(double x, double y) {
return x - (y / 200.0);
}
def code(x, 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 code(x, y) return Float64(x - Float64(y / 200.0)) end
function tmp = code(x, y) tmp = x - (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]
code[x_, y_] := N[(x - N[(y / 200.0), $MachinePrecision]), $MachinePrecision]
x - \frac{y}{200}
x - \frac{y}{200}
Herbie found 3 alternatives:
| Alternative | Accuracy | Speedup |
|---|
Results
Initial program 100.0%
Final simplification100.0%
| Alternative 1 | |
|---|---|
| Accuracy | 100.0% |
| Cost | 320 |
| Alternative 2 | |
|---|---|
| Accuracy | 72.4% |
| Cost | 456 |
| Alternative 3 | |
|---|---|
| Accuracy | 50.9% |
| Cost | 64 |
herbie shell --seed 2023271
(FPCore (x y)
:name "Data.Colour.CIE:cieLAB from colour-2.3.3, D"
:precision binary64
(- x (/ y 200.0)))