
(FPCore (x y z) :precision binary64 (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)))
double code(double x, double y, double z) {
return sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0d0))
end function
public static double code(double x, double y, double z) {
return Math.sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0));
}
def code(x, y, z): return math.sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0))
function code(x, y, z) return sqrt(Float64(Float64(Float64(Float64(x * x) + Float64(y * y)) + Float64(z * z)) / 3.0)) end
function tmp = code(x, y, z) tmp = sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0)); end
code[x_, y_, z_] := N[Sqrt[N[(N[(N[(N[(x * x), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision] + N[(z * z), $MachinePrecision]), $MachinePrecision] / 3.0), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{\frac{\left(x \cdot x + y \cdot y\right) + z \cdot z}{3}}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 8 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z) :precision binary64 (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)))
double code(double x, double y, double z) {
return sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0d0))
end function
public static double code(double x, double y, double z) {
return Math.sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0));
}
def code(x, y, z): return math.sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0))
function code(x, y, z) return sqrt(Float64(Float64(Float64(Float64(x * x) + Float64(y * y)) + Float64(z * z)) / 3.0)) end
function tmp = code(x, y, z) tmp = sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0)); end
code[x_, y_, z_] := N[Sqrt[N[(N[(N[(N[(x * x), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision] + N[(z * z), $MachinePrecision]), $MachinePrecision] / 3.0), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{\frac{\left(x \cdot x + y \cdot y\right) + z \cdot z}{3}}
\end{array}
(FPCore (x y z) :precision binary64 (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)))
double code(double x, double y, double z) {
return sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0d0))
end function
public static double code(double x, double y, double z) {
return Math.sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0));
}
def code(x, y, z): return math.sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0))
function code(x, y, z) return sqrt(Float64(Float64(Float64(Float64(x * x) + Float64(y * y)) + Float64(z * z)) / 3.0)) end
function tmp = code(x, y, z) tmp = sqrt(((((x * x) + (y * y)) + (z * z)) / 3.0)); end
code[x_, y_, z_] := N[Sqrt[N[(N[(N[(N[(x * x), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision] + N[(z * z), $MachinePrecision]), $MachinePrecision] / 3.0), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{\frac{\left(x \cdot x + y \cdot y\right) + z \cdot z}{3}}
\end{array}
Initial program 48.5%
(FPCore (x y z) :precision binary64 (sqrt (+ (+ (* x x) (* y y)) (* z z))))
double code(double x, double y, double z) {
return sqrt((((x * x) + (y * y)) + (z * z)));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = sqrt((((x * x) + (y * y)) + (z * z)))
end function
public static double code(double x, double y, double z) {
return Math.sqrt((((x * x) + (y * y)) + (z * z)));
}
def code(x, y, z): return math.sqrt((((x * x) + (y * y)) + (z * z)))
function code(x, y, z) return sqrt(Float64(Float64(Float64(x * x) + Float64(y * y)) + Float64(z * z))) end
function tmp = code(x, y, z) tmp = sqrt((((x * x) + (y * y)) + (z * z))); end
code[x_, y_, z_] := N[Sqrt[N[(N[(N[(x * x), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision] + N[(z * z), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{\left(x \cdot x + y \cdot y\right) + z \cdot z}
\end{array}
Initial program 48.5%
Taylor expanded in x around 0
Applied rewrites6.7%
Taylor expanded in x around 0
Applied rewrites12.7%
(FPCore (x y z) :precision binary64 (if (<= (* y y) 1.32e-37) (sqrt (* x x)) (sqrt (* y y))))
double code(double x, double y, double z) {
double tmp;
if ((y * y) <= 1.32e-37) {
tmp = sqrt((x * x));
} else {
tmp = sqrt((y * 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 ((y * y) <= 1.32d-37) then
tmp = sqrt((x * x))
else
tmp = sqrt((y * y))
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if ((y * y) <= 1.32e-37) {
tmp = Math.sqrt((x * x));
} else {
tmp = Math.sqrt((y * y));
}
return tmp;
}
def code(x, y, z): tmp = 0 if (y * y) <= 1.32e-37: tmp = math.sqrt((x * x)) else: tmp = math.sqrt((y * y)) return tmp
function code(x, y, z) tmp = 0.0 if (Float64(y * y) <= 1.32e-37) tmp = sqrt(Float64(x * x)); else tmp = sqrt(Float64(y * y)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if ((y * y) <= 1.32e-37) tmp = sqrt((x * x)); else tmp = sqrt((y * y)); end tmp_2 = tmp; end
code[x_, y_, z_] := If[LessEqual[N[(y * y), $MachinePrecision], 1.32e-37], N[Sqrt[N[(x * x), $MachinePrecision]], $MachinePrecision], N[Sqrt[N[(y * y), $MachinePrecision]], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \cdot y \leq 1.32 \cdot 10^{-37}:\\
\;\;\;\;\sqrt{x \cdot x}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{y \cdot y}\\
\end{array}
\end{array}
if (*.f64 y y) < 1.3200000000000001e-37Initial program 63.8%
Taylor expanded in x around 0
Applied rewrites8.6%
if 1.3200000000000001e-37 < (*.f64 y y) Initial program 36.8%
Taylor expanded in x around 0
Applied rewrites9.6%
(FPCore (x y z) :precision binary64 (sqrt (+ (* x x) (* z z))))
double code(double x, double y, double z) {
return sqrt(((x * x) + (z * z)));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = sqrt(((x * x) + (z * z)))
end function
public static double code(double x, double y, double z) {
return Math.sqrt(((x * x) + (z * z)));
}
def code(x, y, z): return math.sqrt(((x * x) + (z * z)))
function code(x, y, z) return sqrt(Float64(Float64(x * x) + Float64(z * z))) end
function tmp = code(x, y, z) tmp = sqrt(((x * x) + (z * z))); end
code[x_, y_, z_] := N[Sqrt[N[(N[(x * x), $MachinePrecision] + N[(z * z), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{x \cdot x + z \cdot z}
\end{array}
Initial program 48.5%
Taylor expanded in x around 0
Applied rewrites6.7%
Taylor expanded in x around 0
Applied rewrites12.7%
Taylor expanded in x around inf
Applied rewrites8.7%
Taylor expanded in x around 0
Applied rewrites10.4%
(FPCore (x y z) :precision binary64 (sqrt (* x x)))
double code(double x, double y, double z) {
return sqrt((x * x));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = sqrt((x * x))
end function
public static double code(double x, double y, double z) {
return Math.sqrt((x * x));
}
def code(x, y, z): return math.sqrt((x * x))
function code(x, y, z) return sqrt(Float64(x * x)) end
function tmp = code(x, y, z) tmp = sqrt((x * x)); end
code[x_, y_, z_] := N[Sqrt[N[(x * x), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{x \cdot x}
\end{array}
Initial program 48.5%
Taylor expanded in x around 0
Applied rewrites6.7%
(FPCore (x y z) :precision binary64 (+ (* x x) (* z z)))
double code(double x, double y, double z) {
return (x * x) + (z * z);
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = (x * x) + (z * z)
end function
public static double code(double x, double y, double z) {
return (x * x) + (z * z);
}
def code(x, y, z): return (x * x) + (z * z)
function code(x, y, z) return Float64(Float64(x * x) + Float64(z * z)) end
function tmp = code(x, y, z) tmp = (x * x) + (z * z); end
code[x_, y_, z_] := N[(N[(x * x), $MachinePrecision] + N[(z * z), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot x + z \cdot z
\end{array}
Initial program 48.5%
Taylor expanded in x around 0
Applied rewrites7.0%
Taylor expanded in x around 0
Applied rewrites6.5%
(FPCore (x y z) :precision binary64 (* y y))
double code(double x, double y, double z) {
return y * 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 * y
end function
public static double code(double x, double y, double z) {
return y * y;
}
def code(x, y, z): return y * y
function code(x, y, z) return Float64(y * y) end
function tmp = code(x, y, z) tmp = y * y; end
code[x_, y_, z_] := N[(y * y), $MachinePrecision]
\begin{array}{l}
\\
y \cdot y
\end{array}
Initial program 48.5%
Taylor expanded in x around 0
Applied rewrites7.3%
Taylor expanded in x around 0
Applied rewrites5.4%
(FPCore (x y z) :precision binary64 (* x x))
double code(double x, double y, double z) {
return x * x;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = x * x
end function
public static double code(double x, double y, double z) {
return x * x;
}
def code(x, y, z): return x * x
function code(x, y, z) return Float64(x * x) end
function tmp = code(x, y, z) tmp = x * x; end
code[x_, y_, z_] := N[(x * x), $MachinePrecision]
\begin{array}{l}
\\
x \cdot x
\end{array}
Initial program 48.5%
Taylor expanded in x around 0
Applied rewrites6.4%
Taylor expanded in x around 0
Applied rewrites5.1%
(FPCore (x y z)
:precision binary64
(if (< z -6.396479394109776e+136)
(/ (- z) (sqrt 3.0))
(if (< z 7.320293694404182e+117)
(/ (sqrt (+ (+ (* z z) (* x x)) (* y y))) (sqrt 3.0))
(* (sqrt 0.3333333333333333) z))))
double code(double x, double y, double z) {
double tmp;
if (z < -6.396479394109776e+136) {
tmp = -z / sqrt(3.0);
} else if (z < 7.320293694404182e+117) {
tmp = sqrt((((z * z) + (x * x)) + (y * y))) / sqrt(3.0);
} else {
tmp = sqrt(0.3333333333333333) * 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 (z < (-6.396479394109776d+136)) then
tmp = -z / sqrt(3.0d0)
else if (z < 7.320293694404182d+117) then
tmp = sqrt((((z * z) + (x * x)) + (y * y))) / sqrt(3.0d0)
else
tmp = sqrt(0.3333333333333333d0) * z
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if (z < -6.396479394109776e+136) {
tmp = -z / Math.sqrt(3.0);
} else if (z < 7.320293694404182e+117) {
tmp = Math.sqrt((((z * z) + (x * x)) + (y * y))) / Math.sqrt(3.0);
} else {
tmp = Math.sqrt(0.3333333333333333) * z;
}
return tmp;
}
def code(x, y, z): tmp = 0 if z < -6.396479394109776e+136: tmp = -z / math.sqrt(3.0) elif z < 7.320293694404182e+117: tmp = math.sqrt((((z * z) + (x * x)) + (y * y))) / math.sqrt(3.0) else: tmp = math.sqrt(0.3333333333333333) * z return tmp
function code(x, y, z) tmp = 0.0 if (z < -6.396479394109776e+136) tmp = Float64(Float64(-z) / sqrt(3.0)); elseif (z < 7.320293694404182e+117) tmp = Float64(sqrt(Float64(Float64(Float64(z * z) + Float64(x * x)) + Float64(y * y))) / sqrt(3.0)); else tmp = Float64(sqrt(0.3333333333333333) * z); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if (z < -6.396479394109776e+136) tmp = -z / sqrt(3.0); elseif (z < 7.320293694404182e+117) tmp = sqrt((((z * z) + (x * x)) + (y * y))) / sqrt(3.0); else tmp = sqrt(0.3333333333333333) * z; end tmp_2 = tmp; end
code[x_, y_, z_] := If[Less[z, -6.396479394109776e+136], N[((-z) / N[Sqrt[3.0], $MachinePrecision]), $MachinePrecision], If[Less[z, 7.320293694404182e+117], N[(N[Sqrt[N[(N[(N[(z * z), $MachinePrecision] + N[(x * x), $MachinePrecision]), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Sqrt[3.0], $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[0.3333333333333333], $MachinePrecision] * z), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z < -6.396479394109776 \cdot 10^{+136}:\\
\;\;\;\;\frac{-z}{\sqrt{3}}\\
\mathbf{elif}\;z < 7.320293694404182 \cdot 10^{+117}:\\
\;\;\;\;\frac{\sqrt{\left(z \cdot z + x \cdot x\right) + y \cdot y}}{\sqrt{3}}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{0.3333333333333333} \cdot z\\
\end{array}
\end{array}
herbie shell --seed 2024321
(FPCore (x y z)
:name "Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1"
:precision binary64
:pre (TRUE)
:alt
(! :herbie-platform default (if (< z -63964793941097760000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ (- z) (sqrt 3)) (if (< z 7320293694404182000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ (sqrt (+ (+ (* z z) (* x x)) (* y y))) (sqrt 3)) (* (sqrt 3333333333333333/10000000000000000) z))))
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)))