
(FPCore (x y z) :precision binary64 (+ (* (- 1.0 x) y) (* x z)))
double code(double x, double y, double z) {
return ((1.0 - x) * y) + (x * z);
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = ((1.0d0 - x) * y) + (x * z)
end function
public static double code(double x, double y, double z) {
return ((1.0 - x) * y) + (x * z);
}
def code(x, y, z): return ((1.0 - x) * y) + (x * z)
function code(x, y, z) return Float64(Float64(Float64(1.0 - x) * y) + Float64(x * z)) end
function tmp = code(x, y, z) tmp = ((1.0 - x) * y) + (x * z); end
code[x_, y_, z_] := N[(N[(N[(1.0 - x), $MachinePrecision] * y), $MachinePrecision] + N[(x * z), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - x\right) \cdot y + x \cdot z
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 7 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z) :precision binary64 (+ (* (- 1.0 x) y) (* x z)))
double code(double x, double y, double z) {
return ((1.0 - x) * y) + (x * z);
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = ((1.0d0 - x) * y) + (x * z)
end function
public static double code(double x, double y, double z) {
return ((1.0 - x) * y) + (x * z);
}
def code(x, y, z): return ((1.0 - x) * y) + (x * z)
function code(x, y, z) return Float64(Float64(Float64(1.0 - x) * y) + Float64(x * z)) end
function tmp = code(x, y, z) tmp = ((1.0 - x) * y) + (x * z); end
code[x_, y_, z_] := N[(N[(N[(1.0 - x), $MachinePrecision] * y), $MachinePrecision] + N[(x * z), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - x\right) \cdot y + x \cdot z
\end{array}
(FPCore (x y z) :precision binary64 (fma x (- z y) y))
double code(double x, double y, double z) {
return fma(x, (z - y), y);
}
function code(x, y, z) return fma(x, Float64(z - y), y) end
code[x_, y_, z_] := N[(x * N[(z - y), $MachinePrecision] + y), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(x, z - y, y\right)
\end{array}
(FPCore (x y z)
:precision binary64
(let* ((t_0 (* x (- y))))
(if (<= x -4.4e+219)
t_0
(if (<= x -2.8e+74)
(* x z)
(if (<= x -2.7e+26)
t_0
(if (<= x -1.5e-79)
(* x z)
(if (<= x -1.1e-141)
y
(if (<= x -2.8e-216)
(* x z)
(if (<= x 9.5e-42)
y
(if (or (<= x 1.45e+49) (not (<= x 1.35e+248)))
(* x z)
t_0))))))))))
double code(double x, double y, double z) {
double t_0 = x * -y;
double tmp;
if (x <= -4.4e+219) {
tmp = t_0;
} else if (x <= -2.8e+74) {
tmp = x * z;
} else if (x <= -2.7e+26) {
tmp = t_0;
} else if (x <= -1.5e-79) {
tmp = x * z;
} else if (x <= -1.1e-141) {
tmp = y;
} else if (x <= -2.8e-216) {
tmp = x * z;
} else if (x <= 9.5e-42) {
tmp = y;
} else if ((x <= 1.45e+49) || !(x <= 1.35e+248)) {
tmp = x * z;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: t_0
real(8) :: tmp
t_0 = x * -y
if (x <= (-4.4d+219)) then
tmp = t_0
else if (x <= (-2.8d+74)) then
tmp = x * z
else if (x <= (-2.7d+26)) then
tmp = t_0
else if (x <= (-1.5d-79)) then
tmp = x * z
else if (x <= (-1.1d-141)) then
tmp = y
else if (x <= (-2.8d-216)) then
tmp = x * z
else if (x <= 9.5d-42) then
tmp = y
else if ((x <= 1.45d+49) .or. (.not. (x <= 1.35d+248))) then
tmp = x * z
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double t_0 = x * -y;
double tmp;
if (x <= -4.4e+219) {
tmp = t_0;
} else if (x <= -2.8e+74) {
tmp = x * z;
} else if (x <= -2.7e+26) {
tmp = t_0;
} else if (x <= -1.5e-79) {
tmp = x * z;
} else if (x <= -1.1e-141) {
tmp = y;
} else if (x <= -2.8e-216) {
tmp = x * z;
} else if (x <= 9.5e-42) {
tmp = y;
} else if ((x <= 1.45e+49) || !(x <= 1.35e+248)) {
tmp = x * z;
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y, z): t_0 = x * -y tmp = 0 if x <= -4.4e+219: tmp = t_0 elif x <= -2.8e+74: tmp = x * z elif x <= -2.7e+26: tmp = t_0 elif x <= -1.5e-79: tmp = x * z elif x <= -1.1e-141: tmp = y elif x <= -2.8e-216: tmp = x * z elif x <= 9.5e-42: tmp = y elif (x <= 1.45e+49) or not (x <= 1.35e+248): tmp = x * z else: tmp = t_0 return tmp
function code(x, y, z) t_0 = Float64(x * Float64(-y)) tmp = 0.0 if (x <= -4.4e+219) tmp = t_0; elseif (x <= -2.8e+74) tmp = Float64(x * z); elseif (x <= -2.7e+26) tmp = t_0; elseif (x <= -1.5e-79) tmp = Float64(x * z); elseif (x <= -1.1e-141) tmp = y; elseif (x <= -2.8e-216) tmp = Float64(x * z); elseif (x <= 9.5e-42) tmp = y; elseif ((x <= 1.45e+49) || !(x <= 1.35e+248)) tmp = Float64(x * z); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y, z) t_0 = x * -y; tmp = 0.0; if (x <= -4.4e+219) tmp = t_0; elseif (x <= -2.8e+74) tmp = x * z; elseif (x <= -2.7e+26) tmp = t_0; elseif (x <= -1.5e-79) tmp = x * z; elseif (x <= -1.1e-141) tmp = y; elseif (x <= -2.8e-216) tmp = x * z; elseif (x <= 9.5e-42) tmp = y; elseif ((x <= 1.45e+49) || ~((x <= 1.35e+248))) tmp = x * z; else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_, z_] := Block[{t$95$0 = N[(x * (-y)), $MachinePrecision]}, If[LessEqual[x, -4.4e+219], t$95$0, If[LessEqual[x, -2.8e+74], N[(x * z), $MachinePrecision], If[LessEqual[x, -2.7e+26], t$95$0, If[LessEqual[x, -1.5e-79], N[(x * z), $MachinePrecision], If[LessEqual[x, -1.1e-141], y, If[LessEqual[x, -2.8e-216], N[(x * z), $MachinePrecision], If[LessEqual[x, 9.5e-42], y, If[Or[LessEqual[x, 1.45e+49], N[Not[LessEqual[x, 1.35e+248]], $MachinePrecision]], N[(x * z), $MachinePrecision], t$95$0]]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := x \cdot \left(-y\right)\\
\mathbf{if}\;x \leq -4.4 \cdot 10^{+219}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq -2.8 \cdot 10^{+74}:\\
\;\;\;\;x \cdot z\\
\mathbf{elif}\;x \leq -2.7 \cdot 10^{+26}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq -1.5 \cdot 10^{-79}:\\
\;\;\;\;x \cdot z\\
\mathbf{elif}\;x \leq -1.1 \cdot 10^{-141}:\\
\;\;\;\;y\\
\mathbf{elif}\;x \leq -2.8 \cdot 10^{-216}:\\
\;\;\;\;x \cdot z\\
\mathbf{elif}\;x \leq 9.5 \cdot 10^{-42}:\\
\;\;\;\;y\\
\mathbf{elif}\;x \leq 1.45 \cdot 10^{+49} \lor \neg \left(x \leq 1.35 \cdot 10^{+248}\right):\\
\;\;\;\;x \cdot z\\
\mathbf{else}:\\
\;\;\;\;t_0\\
\end{array}
\end{array}
(FPCore (x y z)
:precision binary64
(if (or (<= x -1.08e-94)
(and (not (<= x -4.8e-141))
(or (<= x -2.8e-216) (not (<= x 6.4e-18)))))
(* x (- z y))
y))
double code(double x, double y, double z) {
double tmp;
if ((x <= -1.08e-94) || (!(x <= -4.8e-141) && ((x <= -2.8e-216) || !(x <= 6.4e-18)))) {
tmp = x * (z - y);
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if ((x <= (-1.08d-94)) .or. (.not. (x <= (-4.8d-141))) .and. (x <= (-2.8d-216)) .or. (.not. (x <= 6.4d-18))) then
tmp = x * (z - y)
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if ((x <= -1.08e-94) || (!(x <= -4.8e-141) && ((x <= -2.8e-216) || !(x <= 6.4e-18)))) {
tmp = x * (z - y);
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z): tmp = 0 if (x <= -1.08e-94) or (not (x <= -4.8e-141) and ((x <= -2.8e-216) or not (x <= 6.4e-18))): tmp = x * (z - y) else: tmp = y return tmp
function code(x, y, z) tmp = 0.0 if ((x <= -1.08e-94) || (!(x <= -4.8e-141) && ((x <= -2.8e-216) || !(x <= 6.4e-18)))) tmp = Float64(x * Float64(z - y)); else tmp = y; end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if ((x <= -1.08e-94) || (~((x <= -4.8e-141)) && ((x <= -2.8e-216) || ~((x <= 6.4e-18))))) tmp = x * (z - y); else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_] := If[Or[LessEqual[x, -1.08e-94], And[N[Not[LessEqual[x, -4.8e-141]], $MachinePrecision], Or[LessEqual[x, -2.8e-216], N[Not[LessEqual[x, 6.4e-18]], $MachinePrecision]]]], N[(x * N[(z - y), $MachinePrecision]), $MachinePrecision], y]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.08 \cdot 10^{-94} \lor \neg \left(x \leq -4.8 \cdot 10^{-141}\right) \land \left(x \leq -2.8 \cdot 10^{-216} \lor \neg \left(x \leq 6.4 \cdot 10^{-18}\right)\right):\\
\;\;\;\;x \cdot \left(z - y\right)\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
(FPCore (x y z)
:precision binary64
(if (or (<= x -8.5e-79)
(and (not (<= x -1.1e-141))
(or (<= x -1.5e-216) (not (<= x 2.9e-42)))))
(* x z)
y))
double code(double x, double y, double z) {
double tmp;
if ((x <= -8.5e-79) || (!(x <= -1.1e-141) && ((x <= -1.5e-216) || !(x <= 2.9e-42)))) {
tmp = x * z;
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if ((x <= (-8.5d-79)) .or. (.not. (x <= (-1.1d-141))) .and. (x <= (-1.5d-216)) .or. (.not. (x <= 2.9d-42))) then
tmp = x * z
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if ((x <= -8.5e-79) || (!(x <= -1.1e-141) && ((x <= -1.5e-216) || !(x <= 2.9e-42)))) {
tmp = x * z;
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z): tmp = 0 if (x <= -8.5e-79) or (not (x <= -1.1e-141) and ((x <= -1.5e-216) or not (x <= 2.9e-42))): tmp = x * z else: tmp = y return tmp
function code(x, y, z) tmp = 0.0 if ((x <= -8.5e-79) || (!(x <= -1.1e-141) && ((x <= -1.5e-216) || !(x <= 2.9e-42)))) tmp = Float64(x * z); else tmp = y; end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if ((x <= -8.5e-79) || (~((x <= -1.1e-141)) && ((x <= -1.5e-216) || ~((x <= 2.9e-42))))) tmp = x * z; else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_] := If[Or[LessEqual[x, -8.5e-79], And[N[Not[LessEqual[x, -1.1e-141]], $MachinePrecision], Or[LessEqual[x, -1.5e-216], N[Not[LessEqual[x, 2.9e-42]], $MachinePrecision]]]], N[(x * z), $MachinePrecision], y]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -8.5 \cdot 10^{-79} \lor \neg \left(x \leq -1.1 \cdot 10^{-141}\right) \land \left(x \leq -1.5 \cdot 10^{-216} \lor \neg \left(x \leq 2.9 \cdot 10^{-42}\right)\right):\\
\;\;\;\;x \cdot z\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
(FPCore (x y z) :precision binary64 (if (or (<= x -3.4e+24) (not (<= x 1.0))) (* x (- z y)) (+ y (* x z))))
double code(double x, double y, double z) {
double tmp;
if ((x <= -3.4e+24) || !(x <= 1.0)) {
tmp = x * (z - y);
} else {
tmp = y + (x * z);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if ((x <= (-3.4d+24)) .or. (.not. (x <= 1.0d0))) then
tmp = x * (z - y)
else
tmp = y + (x * z)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if ((x <= -3.4e+24) || !(x <= 1.0)) {
tmp = x * (z - y);
} else {
tmp = y + (x * z);
}
return tmp;
}
def code(x, y, z): tmp = 0 if (x <= -3.4e+24) or not (x <= 1.0): tmp = x * (z - y) else: tmp = y + (x * z) return tmp
function code(x, y, z) tmp = 0.0 if ((x <= -3.4e+24) || !(x <= 1.0)) tmp = Float64(x * Float64(z - y)); else tmp = Float64(y + Float64(x * z)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if ((x <= -3.4e+24) || ~((x <= 1.0))) tmp = x * (z - y); else tmp = y + (x * z); end tmp_2 = tmp; end
code[x_, y_, z_] := If[Or[LessEqual[x, -3.4e+24], N[Not[LessEqual[x, 1.0]], $MachinePrecision]], N[(x * N[(z - y), $MachinePrecision]), $MachinePrecision], N[(y + N[(x * z), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.4 \cdot 10^{+24} \lor \neg \left(x \leq 1\right):\\
\;\;\;\;x \cdot \left(z - y\right)\\
\mathbf{else}:\\
\;\;\;\;y + x \cdot z\\
\end{array}
\end{array}
(FPCore (x y z) :precision binary64 (+ y (* x (- z y))))
double code(double x, double y, double z) {
return y + (x * (z - y));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = y + (x * (z - y))
end function
public static double code(double x, double y, double z) {
return y + (x * (z - y));
}
def code(x, y, z): return y + (x * (z - y))
function code(x, y, z) return Float64(y + Float64(x * Float64(z - y))) end
function tmp = code(x, y, z) tmp = y + (x * (z - y)); end
code[x_, y_, z_] := N[(y + N[(x * N[(z - y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
y + x \cdot \left(z - y\right)
\end{array}
(FPCore (x y z) :precision binary64 y)
double code(double x, double y, double z) {
return y;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = y
end function
public static double code(double x, double y, double z) {
return y;
}
def code(x, y, z): return y
function code(x, y, z) return y end
function tmp = code(x, y, z) tmp = y; end
code[x_, y_, z_] := y
\begin{array}{l}
\\
y
\end{array}
(FPCore (x y z) :precision binary64 (- y (* x (- y z))))
double code(double x, double y, double z) {
return y - (x * (y - z));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = y - (x * (y - z))
end function
public static double code(double x, double y, double z) {
return y - (x * (y - z));
}
def code(x, y, z): return y - (x * (y - z))
function code(x, y, z) return Float64(y - Float64(x * Float64(y - z))) end
function tmp = code(x, y, z) tmp = y - (x * (y - z)); end
code[x_, y_, z_] := N[(y - N[(x * N[(y - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
y - x \cdot \left(y - z\right)
\end{array}
herbie shell --seed 2024003
(FPCore (x y z)
:name "Diagrams.Color.HSV:lerp from diagrams-contrib-1.3.0.5"
:precision binary64
:herbie-target
(- y (* x (- y z)))
(+ (* (- 1.0 x) y) (* x z)))