
(FPCore (x) :precision binary64 (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
double code(double x) {
return ((841.0 / 108.0) * x) + (4.0 / 29.0);
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((841.0d0 / 108.0d0) * x) + (4.0d0 / 29.0d0)
end function
public static double code(double x) {
return ((841.0 / 108.0) * x) + (4.0 / 29.0);
}
def code(x): return ((841.0 / 108.0) * x) + (4.0 / 29.0)
function code(x) return Float64(Float64(Float64(841.0 / 108.0) * x) + Float64(4.0 / 29.0)) end
function tmp = code(x) tmp = ((841.0 / 108.0) * x) + (4.0 / 29.0); end
code[x_] := N[(N[(N[(841.0 / 108.0), $MachinePrecision] * x), $MachinePrecision] + N[(4.0 / 29.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{841}{108} \cdot x + \frac{4}{29}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 3 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
double code(double x) {
return ((841.0 / 108.0) * x) + (4.0 / 29.0);
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((841.0d0 / 108.0d0) * x) + (4.0d0 / 29.0d0)
end function
public static double code(double x) {
return ((841.0 / 108.0) * x) + (4.0 / 29.0);
}
def code(x): return ((841.0 / 108.0) * x) + (4.0 / 29.0)
function code(x) return Float64(Float64(Float64(841.0 / 108.0) * x) + Float64(4.0 / 29.0)) end
function tmp = code(x) tmp = ((841.0 / 108.0) * x) + (4.0 / 29.0); end
code[x_] := N[(N[(N[(841.0 / 108.0), $MachinePrecision] * x), $MachinePrecision] + N[(4.0 / 29.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{841}{108} \cdot x + \frac{4}{29}
\end{array}
(FPCore (x) :precision binary64 (fma x 7.787037037037037 0.13793103448275862))
double code(double x) {
return fma(x, 7.787037037037037, 0.13793103448275862);
}
function code(x) return fma(x, 7.787037037037037, 0.13793103448275862) end
code[x_] := N[(x * 7.787037037037037 + 0.13793103448275862), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(x, 7.787037037037037, 0.13793103448275862\right)
\end{array}
Initial program 99.9%
*-commutativeN/A
accelerator-lowering-fma.f64N/A
metadata-evalN/A
metadata-eval99.9
Applied egg-rr99.9%
(FPCore (x) :precision binary64 (if (<= x -0.0175) (* x 7.787037037037037) (if (<= x 0.018) 0.13793103448275862 (* x 7.787037037037037))))
double code(double x) {
double tmp;
if (x <= -0.0175) {
tmp = x * 7.787037037037037;
} else if (x <= 0.018) {
tmp = 0.13793103448275862;
} else {
tmp = x * 7.787037037037037;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-0.0175d0)) then
tmp = x * 7.787037037037037d0
else if (x <= 0.018d0) then
tmp = 0.13793103448275862d0
else
tmp = x * 7.787037037037037d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -0.0175) {
tmp = x * 7.787037037037037;
} else if (x <= 0.018) {
tmp = 0.13793103448275862;
} else {
tmp = x * 7.787037037037037;
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.0175: tmp = x * 7.787037037037037 elif x <= 0.018: tmp = 0.13793103448275862 else: tmp = x * 7.787037037037037 return tmp
function code(x) tmp = 0.0 if (x <= -0.0175) tmp = Float64(x * 7.787037037037037); elseif (x <= 0.018) tmp = 0.13793103448275862; else tmp = Float64(x * 7.787037037037037); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.0175) tmp = x * 7.787037037037037; elseif (x <= 0.018) tmp = 0.13793103448275862; else tmp = x * 7.787037037037037; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.0175], N[(x * 7.787037037037037), $MachinePrecision], If[LessEqual[x, 0.018], 0.13793103448275862, N[(x * 7.787037037037037), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0175:\\
\;\;\;\;x \cdot 7.787037037037037\\
\mathbf{elif}\;x \leq 0.018:\\
\;\;\;\;0.13793103448275862\\
\mathbf{else}:\\
\;\;\;\;x \cdot 7.787037037037037\\
\end{array}
\end{array}
if x < -0.017500000000000002 or 0.0179999999999999986 < x Initial program 99.8%
Taylor expanded in x around inf
*-lowering-*.f6498.2
Simplified98.2%
if -0.017500000000000002 < x < 0.0179999999999999986Initial program 100.0%
Taylor expanded in x around 0
Simplified96.8%
Final simplification97.5%
(FPCore (x) :precision binary64 0.13793103448275862)
double code(double x) {
return 0.13793103448275862;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.13793103448275862d0
end function
public static double code(double x) {
return 0.13793103448275862;
}
def code(x): return 0.13793103448275862
function code(x) return 0.13793103448275862 end
function tmp = code(x) tmp = 0.13793103448275862; end
code[x_] := 0.13793103448275862
\begin{array}{l}
\\
0.13793103448275862
\end{array}
Initial program 99.9%
Taylor expanded in x around 0
Simplified50.1%
herbie shell --seed 2024197
(FPCore (x)
:name "Data.Colour.CIE:cieLABView from colour-2.3.3, A"
:precision binary64
(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))