
(FPCore (x y) :precision binary64 (+ (+ (* x 2.0) (* x x)) (* y y)))
double code(double x, double y) {
return ((x * 2.0) + (x * x)) + (y * y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((x * 2.0d0) + (x * x)) + (y * y)
end function
public static double code(double x, double y) {
return ((x * 2.0) + (x * x)) + (y * y);
}
def code(x, y): return ((x * 2.0) + (x * x)) + (y * y)
function code(x, y) return Float64(Float64(Float64(x * 2.0) + Float64(x * x)) + Float64(y * y)) end
function tmp = code(x, y) tmp = ((x * 2.0) + (x * x)) + (y * y); end
code[x_, y_] := N[(N[(N[(x * 2.0), $MachinePrecision] + N[(x * x), $MachinePrecision]), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(x \cdot 2 + x \cdot x\right) + y \cdot y
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (+ (+ (* x 2.0) (* x x)) (* y y)))
double code(double x, double y) {
return ((x * 2.0) + (x * x)) + (y * y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((x * 2.0d0) + (x * x)) + (y * y)
end function
public static double code(double x, double y) {
return ((x * 2.0) + (x * x)) + (y * y);
}
def code(x, y): return ((x * 2.0) + (x * x)) + (y * y)
function code(x, y) return Float64(Float64(Float64(x * 2.0) + Float64(x * x)) + Float64(y * y)) end
function tmp = code(x, y) tmp = ((x * 2.0) + (x * x)) + (y * y); end
code[x_, y_] := N[(N[(N[(x * 2.0), $MachinePrecision] + N[(x * x), $MachinePrecision]), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(x \cdot 2 + x \cdot x\right) + y \cdot y
\end{array}
(FPCore (x y) :precision binary64 (fma x (+ x 2.0) (* y y)))
double code(double x, double y) {
return fma(x, (x + 2.0), (y * y));
}
function code(x, y) return fma(x, Float64(x + 2.0), Float64(y * y)) end
code[x_, y_] := N[(x * N[(x + 2.0), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(x, x + 2, y \cdot y\right)
\end{array}
Initial program 100.0%
distribute-lft-out100.0%
fma-def100.0%
+-commutative100.0%
Simplified100.0%
Final simplification100.0%
(FPCore (x y)
:precision binary64
(if (<= (* y y) 4.8e-41)
(* x (+ x 2.0))
(if (<= (* y y) 6.8e+47)
(* y y)
(if (<= (* y y) 1.02e+132) (* x x) (* y y)))))
double code(double x, double y) {
double tmp;
if ((y * y) <= 4.8e-41) {
tmp = x * (x + 2.0);
} else if ((y * y) <= 6.8e+47) {
tmp = y * y;
} else if ((y * y) <= 1.02e+132) {
tmp = x * x;
} else {
tmp = y * y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((y * y) <= 4.8d-41) then
tmp = x * (x + 2.0d0)
else if ((y * y) <= 6.8d+47) then
tmp = y * y
else if ((y * y) <= 1.02d+132) then
tmp = x * x
else
tmp = y * y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((y * y) <= 4.8e-41) {
tmp = x * (x + 2.0);
} else if ((y * y) <= 6.8e+47) {
tmp = y * y;
} else if ((y * y) <= 1.02e+132) {
tmp = x * x;
} else {
tmp = y * y;
}
return tmp;
}
def code(x, y): tmp = 0 if (y * y) <= 4.8e-41: tmp = x * (x + 2.0) elif (y * y) <= 6.8e+47: tmp = y * y elif (y * y) <= 1.02e+132: tmp = x * x else: tmp = y * y return tmp
function code(x, y) tmp = 0.0 if (Float64(y * y) <= 4.8e-41) tmp = Float64(x * Float64(x + 2.0)); elseif (Float64(y * y) <= 6.8e+47) tmp = Float64(y * y); elseif (Float64(y * y) <= 1.02e+132) tmp = Float64(x * x); else tmp = Float64(y * y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((y * y) <= 4.8e-41) tmp = x * (x + 2.0); elseif ((y * y) <= 6.8e+47) tmp = y * y; elseif ((y * y) <= 1.02e+132) tmp = x * x; else tmp = y * y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[N[(y * y), $MachinePrecision], 4.8e-41], N[(x * N[(x + 2.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(y * y), $MachinePrecision], 6.8e+47], N[(y * y), $MachinePrecision], If[LessEqual[N[(y * y), $MachinePrecision], 1.02e+132], N[(x * x), $MachinePrecision], N[(y * y), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \cdot y \leq 4.8 \cdot 10^{-41}:\\
\;\;\;\;x \cdot \left(x + 2\right)\\
\mathbf{elif}\;y \cdot y \leq 6.8 \cdot 10^{+47}:\\
\;\;\;\;y \cdot y\\
\mathbf{elif}\;y \cdot y \leq 1.02 \cdot 10^{+132}:\\
\;\;\;\;x \cdot x\\
\mathbf{else}:\\
\;\;\;\;y \cdot y\\
\end{array}
\end{array}
if (*.f64 y y) < 4.80000000000000044e-41Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in y around 0 92.4%
if 4.80000000000000044e-41 < (*.f64 y y) < 6.7999999999999996e47 or 1.0200000000000001e132 < (*.f64 y y) Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in x around 0 86.4%
unpow286.4%
Simplified86.4%
if 6.7999999999999996e47 < (*.f64 y y) < 1.0200000000000001e132Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in x around inf 78.1%
unpow278.1%
Simplified78.1%
Final simplification88.4%
(FPCore (x y) :precision binary64 (if (<= x -5.5e+51) (* x x) (if (<= x 1250000000.0) (+ (* y y) (+ x x)) (* x (+ x 2.0)))))
double code(double x, double y) {
double tmp;
if (x <= -5.5e+51) {
tmp = x * x;
} else if (x <= 1250000000.0) {
tmp = (y * y) + (x + x);
} else {
tmp = x * (x + 2.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-5.5d+51)) then
tmp = x * x
else if (x <= 1250000000.0d0) then
tmp = (y * y) + (x + x)
else
tmp = x * (x + 2.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -5.5e+51) {
tmp = x * x;
} else if (x <= 1250000000.0) {
tmp = (y * y) + (x + x);
} else {
tmp = x * (x + 2.0);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -5.5e+51: tmp = x * x elif x <= 1250000000.0: tmp = (y * y) + (x + x) else: tmp = x * (x + 2.0) return tmp
function code(x, y) tmp = 0.0 if (x <= -5.5e+51) tmp = Float64(x * x); elseif (x <= 1250000000.0) tmp = Float64(Float64(y * y) + Float64(x + x)); else tmp = Float64(x * Float64(x + 2.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -5.5e+51) tmp = x * x; elseif (x <= 1250000000.0) tmp = (y * y) + (x + x); else tmp = x * (x + 2.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -5.5e+51], N[(x * x), $MachinePrecision], If[LessEqual[x, 1250000000.0], N[(N[(y * y), $MachinePrecision] + N[(x + x), $MachinePrecision]), $MachinePrecision], N[(x * N[(x + 2.0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -5.5 \cdot 10^{+51}:\\
\;\;\;\;x \cdot x\\
\mathbf{elif}\;x \leq 1250000000:\\
\;\;\;\;y \cdot y + \left(x + x\right)\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(x + 2\right)\\
\end{array}
\end{array}
if x < -5.5e51Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in x around inf 88.2%
unpow288.2%
Simplified88.2%
if -5.5e51 < x < 1.25e9Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in x around 0 94.9%
count-294.9%
Simplified94.9%
if 1.25e9 < x Initial program 99.9%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in y around 0 90.2%
Final simplification92.1%
(FPCore (x y) :precision binary64 (+ (* y y) (* x (+ x 2.0))))
double code(double x, double y) {
return (y * y) + (x * (x + 2.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (y * y) + (x * (x + 2.0d0))
end function
public static double code(double x, double y) {
return (y * y) + (x * (x + 2.0));
}
def code(x, y): return (y * y) + (x * (x + 2.0))
function code(x, y) return Float64(Float64(y * y) + Float64(x * Float64(x + 2.0))) end
function tmp = code(x, y) tmp = (y * y) + (x * (x + 2.0)); end
code[x_, y_] := N[(N[(y * y), $MachinePrecision] + N[(x * N[(x + 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
y \cdot y + x \cdot \left(x + 2\right)
\end{array}
Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Final simplification100.0%
(FPCore (x y) :precision binary64 (if (<= x -9.8e+51) (* x x) (if (<= x 11500000000.0) (* y y) (* x x))))
double code(double x, double y) {
double tmp;
if (x <= -9.8e+51) {
tmp = x * x;
} else if (x <= 11500000000.0) {
tmp = y * y;
} else {
tmp = x * x;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-9.8d+51)) then
tmp = x * x
else if (x <= 11500000000.0d0) then
tmp = y * y
else
tmp = x * x
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -9.8e+51) {
tmp = x * x;
} else if (x <= 11500000000.0) {
tmp = y * y;
} else {
tmp = x * x;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -9.8e+51: tmp = x * x elif x <= 11500000000.0: tmp = y * y else: tmp = x * x return tmp
function code(x, y) tmp = 0.0 if (x <= -9.8e+51) tmp = Float64(x * x); elseif (x <= 11500000000.0) tmp = Float64(y * y); else tmp = Float64(x * x); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -9.8e+51) tmp = x * x; elseif (x <= 11500000000.0) tmp = y * y; else tmp = x * x; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -9.8e+51], N[(x * x), $MachinePrecision], If[LessEqual[x, 11500000000.0], N[(y * y), $MachinePrecision], N[(x * x), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -9.8 \cdot 10^{+51}:\\
\;\;\;\;x \cdot x\\
\mathbf{elif}\;x \leq 11500000000:\\
\;\;\;\;y \cdot y\\
\mathbf{else}:\\
\;\;\;\;x \cdot x\\
\end{array}
\end{array}
if x < -9.79999999999999967e51 or 1.15e10 < x Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in x around inf 89.1%
unpow289.1%
Simplified89.1%
if -9.79999999999999967e51 < x < 1.15e10Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in x around 0 69.6%
unpow269.6%
Simplified69.6%
Final simplification79.2%
(FPCore (x y) :precision binary64 (* x x))
double code(double x, double y) {
return x * x;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x * x
end function
public static double code(double x, double y) {
return x * x;
}
def code(x, y): return x * x
function code(x, y) return Float64(x * x) end
function tmp = code(x, y) tmp = x * x; end
code[x_, y_] := N[(x * x), $MachinePrecision]
\begin{array}{l}
\\
x \cdot x
\end{array}
Initial program 100.0%
distribute-lft-out100.0%
Simplified100.0%
Taylor expanded in x around inf 46.7%
unpow246.7%
Simplified46.7%
Final simplification46.7%
(FPCore (x y) :precision binary64 (+ (* y y) (+ (* 2.0 x) (* x x))))
double code(double x, double y) {
return (y * y) + ((2.0 * x) + (x * x));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (y * y) + ((2.0d0 * x) + (x * x))
end function
public static double code(double x, double y) {
return (y * y) + ((2.0 * x) + (x * x));
}
def code(x, y): return (y * y) + ((2.0 * x) + (x * x))
function code(x, y) return Float64(Float64(y * y) + Float64(Float64(2.0 * x) + Float64(x * x))) end
function tmp = code(x, y) tmp = (y * y) + ((2.0 * x) + (x * x)); end
code[x_, y_] := N[(N[(y * y), $MachinePrecision] + N[(N[(2.0 * x), $MachinePrecision] + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
y \cdot y + \left(2 \cdot x + x \cdot x\right)
\end{array}
herbie shell --seed 2023230
(FPCore (x y)
:name "Numeric.Log:$clog1p from log-domain-0.10.2.1, A"
:precision binary64
:herbie-target
(+ (* y y) (+ (* 2.0 x) (* x x)))
(+ (+ (* x 2.0) (* x x)) (* y y)))