
(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 4 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}
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. (FPCore (x y z) :precision binary64 (/ (hypot y z) (sqrt 3.0)))
x = abs(x);
y = abs(y);
z = abs(z);
assert(x < y && y < z);
double code(double x, double y, double z) {
return hypot(y, z) / sqrt(3.0);
}
x = Math.abs(x);
y = Math.abs(y);
z = Math.abs(z);
assert x < y && y < z;
public static double code(double x, double y, double z) {
return Math.hypot(y, z) / Math.sqrt(3.0);
}
x = abs(x) y = abs(y) z = abs(z) [x, y, z] = sort([x, y, z]) def code(x, y, z): return math.hypot(y, z) / math.sqrt(3.0)
x = abs(x) y = abs(y) z = abs(z) x, y, z = sort([x, y, z]) function code(x, y, z) return Float64(hypot(y, z) / sqrt(3.0)) end
x = abs(x)
y = abs(y)
z = abs(z)
x, y, z = num2cell(sort([x, y, z])){:}
function tmp = code(x, y, z)
tmp = hypot(y, z) / sqrt(3.0);
end
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. code[x_, y_, z_] := N[(N[Sqrt[y ^ 2 + z ^ 2], $MachinePrecision] / N[Sqrt[3.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x = |x|\\
y = |y|\\
z = |z|\\
[x, y, z] = \mathsf{sort}([x, y, z])\\
\\
\frac{\mathsf{hypot}\left(y, z\right)}{\sqrt{3}}
\end{array}
Initial program 48.5%
Simplified48.5%
fma-udef48.5%
fma-udef48.5%
associate-+l+48.5%
metadata-eval48.5%
div-inv48.5%
sqrt-div48.4%
div-inv48.1%
+-commutative48.1%
add-sqr-sqrt48.1%
hypot-def60.2%
hypot-def98.7%
Applied egg-rr98.7%
associate-*r/99.4%
*-rgt-identity99.4%
hypot-def60.6%
+-commutative60.6%
hypot-def99.4%
Simplified99.4%
Taylor expanded in x around 0 34.9%
associate-*l/35.1%
unpow235.1%
unpow235.1%
hypot-def68.6%
*-lft-identity68.6%
Simplified68.6%
Final simplification68.6%
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. (FPCore (x y z) :precision binary64 (* (hypot y z) (sqrt 0.3333333333333333)))
x = abs(x);
y = abs(y);
z = abs(z);
assert(x < y && y < z);
double code(double x, double y, double z) {
return hypot(y, z) * sqrt(0.3333333333333333);
}
x = Math.abs(x);
y = Math.abs(y);
z = Math.abs(z);
assert x < y && y < z;
public static double code(double x, double y, double z) {
return Math.hypot(y, z) * Math.sqrt(0.3333333333333333);
}
x = abs(x) y = abs(y) z = abs(z) [x, y, z] = sort([x, y, z]) def code(x, y, z): return math.hypot(y, z) * math.sqrt(0.3333333333333333)
x = abs(x) y = abs(y) z = abs(z) x, y, z = sort([x, y, z]) function code(x, y, z) return Float64(hypot(y, z) * sqrt(0.3333333333333333)) end
x = abs(x)
y = abs(y)
z = abs(z)
x, y, z = num2cell(sort([x, y, z])){:}
function tmp = code(x, y, z)
tmp = hypot(y, z) * sqrt(0.3333333333333333);
end
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. code[x_, y_, z_] := N[(N[Sqrt[y ^ 2 + z ^ 2], $MachinePrecision] * N[Sqrt[0.3333333333333333], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x = |x|\\
y = |y|\\
z = |z|\\
[x, y, z] = \mathsf{sort}([x, y, z])\\
\\
\mathsf{hypot}\left(y, z\right) \cdot \sqrt{0.3333333333333333}
\end{array}
Initial program 48.5%
Simplified48.5%
Taylor expanded in x around 0 35.1%
unpow235.1%
unpow235.1%
hypot-def68.5%
Simplified68.5%
Final simplification68.5%
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. (FPCore (x y z) :precision binary64 (* z (sqrt 0.3333333333333333)))
x = abs(x);
y = abs(y);
z = abs(z);
assert(x < y && y < z);
double code(double x, double y, double z) {
return z * sqrt(0.3333333333333333);
}
NOTE: x should be positive before calling this function
NOTE: y should be positive before calling this function
NOTE: z should be positive before calling this function
NOTE: x, y, and z should be sorted in increasing order before calling this function.
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = z * sqrt(0.3333333333333333d0)
end function
x = Math.abs(x);
y = Math.abs(y);
z = Math.abs(z);
assert x < y && y < z;
public static double code(double x, double y, double z) {
return z * Math.sqrt(0.3333333333333333);
}
x = abs(x) y = abs(y) z = abs(z) [x, y, z] = sort([x, y, z]) def code(x, y, z): return z * math.sqrt(0.3333333333333333)
x = abs(x) y = abs(y) z = abs(z) x, y, z = sort([x, y, z]) function code(x, y, z) return Float64(z * sqrt(0.3333333333333333)) end
x = abs(x)
y = abs(y)
z = abs(z)
x, y, z = num2cell(sort([x, y, z])){:}
function tmp = code(x, y, z)
tmp = z * sqrt(0.3333333333333333);
end
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. code[x_, y_, z_] := N[(z * N[Sqrt[0.3333333333333333], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x = |x|\\
y = |y|\\
z = |z|\\
[x, y, z] = \mathsf{sort}([x, y, z])\\
\\
z \cdot \sqrt{0.3333333333333333}
\end{array}
Initial program 48.5%
Simplified48.5%
Taylor expanded in z around inf 18.6%
*-commutative18.6%
Simplified18.6%
Final simplification18.6%
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. (FPCore (x y z) :precision binary64 (/ z (sqrt 3.0)))
x = abs(x);
y = abs(y);
z = abs(z);
assert(x < y && y < z);
double code(double x, double y, double z) {
return z / sqrt(3.0);
}
NOTE: x should be positive before calling this function
NOTE: y should be positive before calling this function
NOTE: z should be positive before calling this function
NOTE: x, y, and z should be sorted in increasing order before calling this function.
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = z / sqrt(3.0d0)
end function
x = Math.abs(x);
y = Math.abs(y);
z = Math.abs(z);
assert x < y && y < z;
public static double code(double x, double y, double z) {
return z / Math.sqrt(3.0);
}
x = abs(x) y = abs(y) z = abs(z) [x, y, z] = sort([x, y, z]) def code(x, y, z): return z / math.sqrt(3.0)
x = abs(x) y = abs(y) z = abs(z) x, y, z = sort([x, y, z]) function code(x, y, z) return Float64(z / sqrt(3.0)) end
x = abs(x)
y = abs(y)
z = abs(z)
x, y, z = num2cell(sort([x, y, z])){:}
function tmp = code(x, y, z)
tmp = z / sqrt(3.0);
end
NOTE: x should be positive before calling this function NOTE: y should be positive before calling this function NOTE: z should be positive before calling this function NOTE: x, y, and z should be sorted in increasing order before calling this function. code[x_, y_, z_] := N[(z / N[Sqrt[3.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x = |x|\\
y = |y|\\
z = |z|\\
[x, y, z] = \mathsf{sort}([x, y, z])\\
\\
\frac{z}{\sqrt{3}}
\end{array}
Initial program 48.5%
Simplified48.5%
fma-udef48.5%
fma-udef48.5%
associate-+l+48.5%
metadata-eval48.5%
div-inv48.5%
sqrt-div48.4%
div-inv48.1%
+-commutative48.1%
add-sqr-sqrt48.1%
hypot-def60.2%
hypot-def98.7%
Applied egg-rr98.7%
associate-*r/99.4%
*-rgt-identity99.4%
hypot-def60.6%
+-commutative60.6%
hypot-def99.4%
Simplified99.4%
Taylor expanded in z around inf 18.6%
Final simplification18.6%
(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 2023275
(FPCore (x y z)
:name "Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1"
:precision binary64
:herbie-target
(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)))
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)))