| Alternative 1 | |
|---|---|
| Error | 1.4 |
| Cost | 456 |
\[\begin{array}{l}
\mathbf{if}\;x \leq -4.405786177188472:\\
\;\;\;\;x \cdot 116\\
\mathbf{elif}\;x \leq 0.020906970886639117:\\
\;\;\;\;-16\\
\mathbf{else}:\\
\;\;\;\;x \cdot 116\\
\end{array}
\]
(FPCore (x) :precision binary64 (- (* x 116.0) 16.0))
(FPCore (x) :precision binary64 (+ (* x 116.0) -16.0))
double code(double x) {
return (x * 116.0) - 16.0;
}
double code(double x) {
return (x * 116.0) + -16.0;
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x * 116.0d0) - 16.0d0
end function
real(8) function code(x)
real(8), intent (in) :: x
code = (x * 116.0d0) + (-16.0d0)
end function
public static double code(double x) {
return (x * 116.0) - 16.0;
}
public static double code(double x) {
return (x * 116.0) + -16.0;
}
def code(x): return (x * 116.0) - 16.0
def code(x): return (x * 116.0) + -16.0
function code(x) return Float64(Float64(x * 116.0) - 16.0) end
function code(x) return Float64(Float64(x * 116.0) + -16.0) end
function tmp = code(x) tmp = (x * 116.0) - 16.0; end
function tmp = code(x) tmp = (x * 116.0) + -16.0; end
code[x_] := N[(N[(x * 116.0), $MachinePrecision] - 16.0), $MachinePrecision]
code[x_] := N[(N[(x * 116.0), $MachinePrecision] + -16.0), $MachinePrecision]
x \cdot 116 - 16
x \cdot 116 + -16
Results
Initial program 0.0
Final simplification0.0
| Alternative 1 | |
|---|---|
| Error | 1.4 |
| Cost | 456 |
| Alternative 2 | |
|---|---|
| Error | 31.9 |
| Cost | 64 |

herbie shell --seed 2022228
(FPCore (x)
:name "Data.Colour.CIE:lightness from colour-2.3.3"
:precision binary64
(- (* x 116.0) 16.0))