
(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%
lift-+.f64N/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f6499.9
lift-/.f64N/A
metadata-eval99.9
lift-/.f64N/A
metadata-eval99.9
Applied rewrites99.9%
(FPCore (x)
:precision binary64
(let* ((t_0 (* (/ 841.0 108.0) x)))
(if (<= t_0 -5e+16)
(* 7.787037037037037 x)
(if (<= t_0 1e-7) 0.13793103448275862 (* 7.787037037037037 x)))))
double code(double x) {
double t_0 = (841.0 / 108.0) * x;
double tmp;
if (t_0 <= -5e+16) {
tmp = 7.787037037037037 * x;
} else if (t_0 <= 1e-7) {
tmp = 0.13793103448275862;
} else {
tmp = 7.787037037037037 * x;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
real(8) :: tmp
t_0 = (841.0d0 / 108.0d0) * x
if (t_0 <= (-5d+16)) then
tmp = 7.787037037037037d0 * x
else if (t_0 <= 1d-7) then
tmp = 0.13793103448275862d0
else
tmp = 7.787037037037037d0 * x
end if
code = tmp
end function
public static double code(double x) {
double t_0 = (841.0 / 108.0) * x;
double tmp;
if (t_0 <= -5e+16) {
tmp = 7.787037037037037 * x;
} else if (t_0 <= 1e-7) {
tmp = 0.13793103448275862;
} else {
tmp = 7.787037037037037 * x;
}
return tmp;
}
def code(x): t_0 = (841.0 / 108.0) * x tmp = 0 if t_0 <= -5e+16: tmp = 7.787037037037037 * x elif t_0 <= 1e-7: tmp = 0.13793103448275862 else: tmp = 7.787037037037037 * x return tmp
function code(x) t_0 = Float64(Float64(841.0 / 108.0) * x) tmp = 0.0 if (t_0 <= -5e+16) tmp = Float64(7.787037037037037 * x); elseif (t_0 <= 1e-7) tmp = 0.13793103448275862; else tmp = Float64(7.787037037037037 * x); end return tmp end
function tmp_2 = code(x) t_0 = (841.0 / 108.0) * x; tmp = 0.0; if (t_0 <= -5e+16) tmp = 7.787037037037037 * x; elseif (t_0 <= 1e-7) tmp = 0.13793103448275862; else tmp = 7.787037037037037 * x; end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[(N[(841.0 / 108.0), $MachinePrecision] * x), $MachinePrecision]}, If[LessEqual[t$95$0, -5e+16], N[(7.787037037037037 * x), $MachinePrecision], If[LessEqual[t$95$0, 1e-7], 0.13793103448275862, N[(7.787037037037037 * x), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{841}{108} \cdot x\\
\mathbf{if}\;t\_0 \leq -5 \cdot 10^{+16}:\\
\;\;\;\;7.787037037037037 \cdot x\\
\mathbf{elif}\;t\_0 \leq 10^{-7}:\\
\;\;\;\;0.13793103448275862\\
\mathbf{else}:\\
\;\;\;\;7.787037037037037 \cdot x\\
\end{array}
\end{array}
if (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) < -5e16 or 9.9999999999999995e-8 < (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) Initial program 99.8%
lift-+.f64N/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f6499.8
lift-/.f64N/A
metadata-eval99.8
lift-/.f64N/A
metadata-eval99.8
Applied rewrites99.8%
Taylor expanded in x around inf
lower-*.f6499.5
Applied rewrites99.5%
if -5e16 < (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) < 9.9999999999999995e-8Initial program 100.0%
Taylor expanded in x around 0
Applied rewrites98.8%
(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
Applied rewrites51.5%
herbie shell --seed 2024295
(FPCore (x)
:name "Data.Colour.CIE:cieLABView from colour-2.3.3, A"
:precision binary64
(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))