
(FPCore (x) :precision binary64 (/ (+ x 16.0) 116.0))
double code(double x) {
return (x + 16.0) / 116.0;
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x + 16.0d0) / 116.0d0
end function
public static double code(double x) {
return (x + 16.0) / 116.0;
}
def code(x): return (x + 16.0) / 116.0
function code(x) return Float64(Float64(x + 16.0) / 116.0) end
function tmp = code(x) tmp = (x + 16.0) / 116.0; end
code[x_] := N[(N[(x + 16.0), $MachinePrecision] / 116.0), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + 16}{116}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 4 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (/ (+ x 16.0) 116.0))
double code(double x) {
return (x + 16.0) / 116.0;
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x + 16.0d0) / 116.0d0
end function
public static double code(double x) {
return (x + 16.0) / 116.0;
}
def code(x): return (x + 16.0) / 116.0
function code(x) return Float64(Float64(x + 16.0) / 116.0) end
function tmp = code(x) tmp = (x + 16.0) / 116.0; end
code[x_] := N[(N[(x + 16.0), $MachinePrecision] / 116.0), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + 16}{116}
\end{array}
(FPCore (x) :precision binary64 (/ (+ x 16.0) 116.0))
double code(double x) {
return (x + 16.0) / 116.0;
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x + 16.0d0) / 116.0d0
end function
public static double code(double x) {
return (x + 16.0) / 116.0;
}
def code(x): return (x + 16.0) / 116.0
function code(x) return Float64(Float64(x + 16.0) / 116.0) end
function tmp = code(x) tmp = (x + 16.0) / 116.0; end
code[x_] := N[(N[(x + 16.0), $MachinePrecision] / 116.0), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + 16}{116}
\end{array}
Initial program 100.0%
(FPCore (x) :precision binary64 (if (<= (+ x 16.0) -5.0) (* x 0.008620689655172414) (if (<= (+ x 16.0) 20.0) 0.13793103448275862 (* x 0.008620689655172414))))
double code(double x) {
double tmp;
if ((x + 16.0) <= -5.0) {
tmp = x * 0.008620689655172414;
} else if ((x + 16.0) <= 20.0) {
tmp = 0.13793103448275862;
} else {
tmp = x * 0.008620689655172414;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if ((x + 16.0d0) <= (-5.0d0)) then
tmp = x * 0.008620689655172414d0
else if ((x + 16.0d0) <= 20.0d0) then
tmp = 0.13793103448275862d0
else
tmp = x * 0.008620689655172414d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if ((x + 16.0) <= -5.0) {
tmp = x * 0.008620689655172414;
} else if ((x + 16.0) <= 20.0) {
tmp = 0.13793103448275862;
} else {
tmp = x * 0.008620689655172414;
}
return tmp;
}
def code(x): tmp = 0 if (x + 16.0) <= -5.0: tmp = x * 0.008620689655172414 elif (x + 16.0) <= 20.0: tmp = 0.13793103448275862 else: tmp = x * 0.008620689655172414 return tmp
function code(x) tmp = 0.0 if (Float64(x + 16.0) <= -5.0) tmp = Float64(x * 0.008620689655172414); elseif (Float64(x + 16.0) <= 20.0) tmp = 0.13793103448275862; else tmp = Float64(x * 0.008620689655172414); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if ((x + 16.0) <= -5.0) tmp = x * 0.008620689655172414; elseif ((x + 16.0) <= 20.0) tmp = 0.13793103448275862; else tmp = x * 0.008620689655172414; end tmp_2 = tmp; end
code[x_] := If[LessEqual[N[(x + 16.0), $MachinePrecision], -5.0], N[(x * 0.008620689655172414), $MachinePrecision], If[LessEqual[N[(x + 16.0), $MachinePrecision], 20.0], 0.13793103448275862, N[(x * 0.008620689655172414), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x + 16 \leq -5:\\
\;\;\;\;x \cdot 0.008620689655172414\\
\mathbf{elif}\;x + 16 \leq 20:\\
\;\;\;\;0.13793103448275862\\
\mathbf{else}:\\
\;\;\;\;x \cdot 0.008620689655172414\\
\end{array}
\end{array}
if (+.f64 x #s(literal 16 binary64)) < -5 or 20 < (+.f64 x #s(literal 16 binary64)) Initial program 100.0%
Taylor expanded in x around inf
*-lowering-*.f6496.9
Simplified96.9%
if -5 < (+.f64 x #s(literal 16 binary64)) < 20Initial program 100.0%
Taylor expanded in x around 0
Simplified97.2%
Final simplification97.0%
(FPCore (x) :precision binary64 (fma x 0.008620689655172414 0.13793103448275862))
double code(double x) {
return fma(x, 0.008620689655172414, 0.13793103448275862);
}
function code(x) return fma(x, 0.008620689655172414, 0.13793103448275862) end
code[x_] := N[(x * 0.008620689655172414 + 0.13793103448275862), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(x, 0.008620689655172414, 0.13793103448275862\right)
\end{array}
Initial program 100.0%
clear-numN/A
associate-/r/N/A
distribute-rgt-inN/A
metadata-evalN/A
metadata-evalN/A
metadata-evalN/A
metadata-evalN/A
accelerator-lowering-fma.f64N/A
metadata-evalN/A
metadata-evalN/A
metadata-eval99.9
Applied egg-rr99.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 100.0%
Taylor expanded in x around 0
Simplified46.3%
herbie shell --seed 2024204
(FPCore (x)
:name "Data.Colour.CIE:cieLAB from colour-2.3.3, B"
:precision binary64
(/ (+ x 16.0) 116.0))