
(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 5 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%
Final simplification100.0%
(FPCore (x) :precision binary64 (if (or (<= x -16.0) (not (<= x 16.0))) (/ (- x) -116.0) 0.13793103448275862))
double code(double x) {
double tmp;
if ((x <= -16.0) || !(x <= 16.0)) {
tmp = -x / -116.0;
} else {
tmp = 0.13793103448275862;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if ((x <= (-16.0d0)) .or. (.not. (x <= 16.0d0))) then
tmp = -x / (-116.0d0)
else
tmp = 0.13793103448275862d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if ((x <= -16.0) || !(x <= 16.0)) {
tmp = -x / -116.0;
} else {
tmp = 0.13793103448275862;
}
return tmp;
}
def code(x): tmp = 0 if (x <= -16.0) or not (x <= 16.0): tmp = -x / -116.0 else: tmp = 0.13793103448275862 return tmp
function code(x) tmp = 0.0 if ((x <= -16.0) || !(x <= 16.0)) tmp = Float64(Float64(-x) / -116.0); else tmp = 0.13793103448275862; end return tmp end
function tmp_2 = code(x) tmp = 0.0; if ((x <= -16.0) || ~((x <= 16.0))) tmp = -x / -116.0; else tmp = 0.13793103448275862; end tmp_2 = tmp; end
code[x_] := If[Or[LessEqual[x, -16.0], N[Not[LessEqual[x, 16.0]], $MachinePrecision]], N[((-x) / -116.0), $MachinePrecision], 0.13793103448275862]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -16 \lor \neg \left(x \leq 16\right):\\
\;\;\;\;\frac{-x}{-116}\\
\mathbf{else}:\\
\;\;\;\;0.13793103448275862\\
\end{array}
\end{array}
if x < -16 or 16 < x Initial program 100.0%
Taylor expanded in x around inf 96.8%
*-commutative96.8%
metadata-eval96.8%
metadata-eval96.8%
distribute-rgt-neg-in96.8%
div-inv96.8%
distribute-neg-frac96.8%
Applied egg-rr96.8%
if -16 < x < 16Initial program 100.0%
Taylor expanded in x around 0 97.2%
Final simplification97.0%
(FPCore (x) :precision binary64 (if (<= x -16.0) (* x 0.008620689655172414) (if (<= x 16.0) 0.13793103448275862 (* x 0.008620689655172414))))
double code(double x) {
double tmp;
if (x <= -16.0) {
tmp = x * 0.008620689655172414;
} else if (x <= 16.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)) then
tmp = x * 0.008620689655172414d0
else if (x <= 16.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) {
tmp = x * 0.008620689655172414;
} else if (x <= 16.0) {
tmp = 0.13793103448275862;
} else {
tmp = x * 0.008620689655172414;
}
return tmp;
}
def code(x): tmp = 0 if x <= -16.0: tmp = x * 0.008620689655172414 elif x <= 16.0: tmp = 0.13793103448275862 else: tmp = x * 0.008620689655172414 return tmp
function code(x) tmp = 0.0 if (x <= -16.0) tmp = Float64(x * 0.008620689655172414); elseif (x <= 16.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) tmp = x * 0.008620689655172414; elseif (x <= 16.0) tmp = 0.13793103448275862; else tmp = x * 0.008620689655172414; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -16.0], N[(x * 0.008620689655172414), $MachinePrecision], If[LessEqual[x, 16.0], 0.13793103448275862, N[(x * 0.008620689655172414), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -16:\\
\;\;\;\;x \cdot 0.008620689655172414\\
\mathbf{elif}\;x \leq 16:\\
\;\;\;\;0.13793103448275862\\
\mathbf{else}:\\
\;\;\;\;x \cdot 0.008620689655172414\\
\end{array}
\end{array}
if x < -16 or 16 < x Initial program 100.0%
Taylor expanded in x around inf 96.8%
if -16 < x < 16Initial program 100.0%
Taylor expanded in x around 0 97.2%
Final simplification97.0%
(FPCore (x) :precision binary64 (- 0.13793103448275862 (/ x -116.0)))
double code(double x) {
return 0.13793103448275862 - (x / -116.0);
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.13793103448275862d0 - (x / (-116.0d0))
end function
public static double code(double x) {
return 0.13793103448275862 - (x / -116.0);
}
def code(x): return 0.13793103448275862 - (x / -116.0)
function code(x) return Float64(0.13793103448275862 - Float64(x / -116.0)) end
function tmp = code(x) tmp = 0.13793103448275862 - (x / -116.0); end
code[x_] := N[(0.13793103448275862 - N[(x / -116.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
0.13793103448275862 - \frac{x}{-116}
\end{array}
Initial program 100.0%
frac-2neg100.0%
distribute-frac-neg100.0%
metadata-eval100.0%
Applied egg-rr100.0%
distribute-neg-frac100.0%
distribute-neg-in100.0%
metadata-eval100.0%
+-commutative100.0%
unsub-neg100.0%
div-sub100.0%
metadata-eval100.0%
Simplified100.0%
Final simplification100.0%
(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 50.1%
Final simplification50.1%
herbie shell --seed 2023196
(FPCore (x)
:name "Data.Colour.CIE:cieLAB from colour-2.3.3, B"
:precision binary64
(/ (+ x 16.0) 116.0))