
(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 4 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 7.787037037037037 x 0.13793103448275862))
double code(double x) {
return fma(7.787037037037037, x, 0.13793103448275862);
}
function code(x) return fma(7.787037037037037, x, 0.13793103448275862) end
code[x_] := N[(7.787037037037037 * x + 0.13793103448275862), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(7.787037037037037, x, 0.13793103448275862\right)
\end{array}
Initial program 99.9%
fma-def99.9%
metadata-eval99.9%
metadata-eval99.9%
Simplified99.9%
Final simplification99.9%
(FPCore (x) :precision binary64 (if (<= x -0.0175) (* 7.787037037037037 x) (if (<= x 0.018) 0.13793103448275862 (* 7.787037037037037 x))))
double code(double x) {
double tmp;
if (x <= -0.0175) {
tmp = 7.787037037037037 * x;
} else if (x <= 0.018) {
tmp = 0.13793103448275862;
} else {
tmp = 7.787037037037037 * x;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-0.0175d0)) then
tmp = 7.787037037037037d0 * x
else if (x <= 0.018d0) then
tmp = 0.13793103448275862d0
else
tmp = 7.787037037037037d0 * x
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -0.0175) {
tmp = 7.787037037037037 * x;
} else if (x <= 0.018) {
tmp = 0.13793103448275862;
} else {
tmp = 7.787037037037037 * x;
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.0175: tmp = 7.787037037037037 * x elif x <= 0.018: tmp = 0.13793103448275862 else: tmp = 7.787037037037037 * x return tmp
function code(x) tmp = 0.0 if (x <= -0.0175) tmp = Float64(7.787037037037037 * x); elseif (x <= 0.018) tmp = 0.13793103448275862; else tmp = Float64(7.787037037037037 * x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.0175) tmp = 7.787037037037037 * x; elseif (x <= 0.018) tmp = 0.13793103448275862; else tmp = 7.787037037037037 * x; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.0175], N[(7.787037037037037 * x), $MachinePrecision], If[LessEqual[x, 0.018], 0.13793103448275862, N[(7.787037037037037 * x), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0175:\\
\;\;\;\;7.787037037037037 \cdot x\\
\mathbf{elif}\;x \leq 0.018:\\
\;\;\;\;0.13793103448275862\\
\mathbf{else}:\\
\;\;\;\;7.787037037037037 \cdot x\\
\end{array}
\end{array}
if x < -0.017500000000000002 or 0.0179999999999999986 < x Initial program 99.8%
fma-def99.8%
metadata-eval99.8%
metadata-eval99.8%
Simplified99.8%
metadata-eval99.8%
metadata-eval99.8%
fma-def99.8%
metadata-eval99.8%
metadata-eval99.8%
Applied egg-rr99.8%
Taylor expanded in x around inf 96.4%
if -0.017500000000000002 < x < 0.0179999999999999986Initial program 100.0%
Taylor expanded in x around 0 97.6%
Final simplification97.0%
(FPCore (x) :precision binary64 (+ 0.13793103448275862 (* 7.787037037037037 x)))
double code(double x) {
return 0.13793103448275862 + (7.787037037037037 * x);
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.13793103448275862d0 + (7.787037037037037d0 * x)
end function
public static double code(double x) {
return 0.13793103448275862 + (7.787037037037037 * x);
}
def code(x): return 0.13793103448275862 + (7.787037037037037 * x)
function code(x) return Float64(0.13793103448275862 + Float64(7.787037037037037 * x)) end
function tmp = code(x) tmp = 0.13793103448275862 + (7.787037037037037 * x); end
code[x_] := N[(0.13793103448275862 + N[(7.787037037037037 * x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
0.13793103448275862 + 7.787037037037037 \cdot x
\end{array}
Initial program 99.9%
fma-def99.9%
metadata-eval99.9%
metadata-eval99.9%
Simplified99.9%
metadata-eval99.9%
metadata-eval99.9%
fma-def99.9%
metadata-eval99.9%
metadata-eval99.9%
Applied egg-rr99.9%
Final simplification99.9%
(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 49.5%
Final simplification49.5%
herbie shell --seed 2023196
(FPCore (x)
:name "Data.Colour.CIE:cieLABView from colour-2.3.3, A"
:precision binary64
(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))