
(FPCore (a b) :precision binary64 (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0))
double code(double a, double b) {
return (pow(((a * a) + (b * b)), 2.0) + (4.0 * (b * b))) - 1.0;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = ((((a * a) + (b * b)) ** 2.0d0) + (4.0d0 * (b * b))) - 1.0d0
end function
public static double code(double a, double b) {
return (Math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (b * b))) - 1.0;
}
def code(a, b): return (math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (b * b))) - 1.0
function code(a, b) return Float64(Float64((Float64(Float64(a * a) + Float64(b * b)) ^ 2.0) + Float64(4.0 * Float64(b * b))) - 1.0) end
function tmp = code(a, b) tmp = ((((a * a) + (b * b)) ^ 2.0) + (4.0 * (b * b))) - 1.0; end
code[a_, b_] := N[(N[(N[Power[N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision] + N[(4.0 * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]
\begin{array}{l}
\\
\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(b \cdot b\right)\right) - 1
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 15 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a b) :precision binary64 (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0))
double code(double a, double b) {
return (pow(((a * a) + (b * b)), 2.0) + (4.0 * (b * b))) - 1.0;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = ((((a * a) + (b * b)) ** 2.0d0) + (4.0d0 * (b * b))) - 1.0d0
end function
public static double code(double a, double b) {
return (Math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (b * b))) - 1.0;
}
def code(a, b): return (math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (b * b))) - 1.0
function code(a, b) return Float64(Float64((Float64(Float64(a * a) + Float64(b * b)) ^ 2.0) + Float64(4.0 * Float64(b * b))) - 1.0) end
function tmp = code(a, b) tmp = ((((a * a) + (b * b)) ^ 2.0) + (4.0 * (b * b))) - 1.0; end
code[a_, b_] := N[(N[(N[Power[N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision] + N[(4.0 * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]
\begin{array}{l}
\\
\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(b \cdot b\right)\right) - 1
\end{array}
(FPCore (a b) :precision binary64 (let* ((t_0 (+ (* a a) (* b b)))) (+ (/ 1.0 (/ (/ 1.0 t_0) t_0)) (+ (* (* b b) 4.0) -1.0))))
double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (1.0 / ((1.0 / t_0) / t_0)) + (((b * b) * 4.0) + -1.0);
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
t_0 = (a * a) + (b * b)
code = (1.0d0 / ((1.0d0 / t_0) / t_0)) + (((b * b) * 4.0d0) + (-1.0d0))
end function
public static double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (1.0 / ((1.0 / t_0) / t_0)) + (((b * b) * 4.0) + -1.0);
}
def code(a, b): t_0 = (a * a) + (b * b) return (1.0 / ((1.0 / t_0) / t_0)) + (((b * b) * 4.0) + -1.0)
function code(a, b) t_0 = Float64(Float64(a * a) + Float64(b * b)) return Float64(Float64(1.0 / Float64(Float64(1.0 / t_0) / t_0)) + Float64(Float64(Float64(b * b) * 4.0) + -1.0)) end
function tmp = code(a, b) t_0 = (a * a) + (b * b); tmp = (1.0 / ((1.0 / t_0) / t_0)) + (((b * b) * 4.0) + -1.0); end
code[a_, b_] := Block[{t$95$0 = N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision]}, N[(N[(1.0 / N[(N[(1.0 / t$95$0), $MachinePrecision] / t$95$0), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(b * b), $MachinePrecision] * 4.0), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot a + b \cdot b\\
\frac{1}{\frac{\frac{1}{t\_0}}{t\_0}} + \left(\left(b \cdot b\right) \cdot 4 + -1\right)
\end{array}
\end{array}
Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
distribute-rgt-inN/A
flip-+N/A
clear-numN/A
metadata-evalN/A
/-lowering-/.f64N/A
Applied egg-rr18.5%
clear-numN/A
inv-powN/A
Applied egg-rr99.8%
(FPCore (a b) :precision binary64 (let* ((t_0 (+ (* a a) (* b b)))) (+ (+ (* (* b b) 4.0) -1.0) (/ t_0 (/ 1.0 t_0)))))
double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (((b * b) * 4.0) + -1.0) + (t_0 / (1.0 / t_0));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
t_0 = (a * a) + (b * b)
code = (((b * b) * 4.0d0) + (-1.0d0)) + (t_0 / (1.0d0 / t_0))
end function
public static double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (((b * b) * 4.0) + -1.0) + (t_0 / (1.0 / t_0));
}
def code(a, b): t_0 = (a * a) + (b * b) return (((b * b) * 4.0) + -1.0) + (t_0 / (1.0 / t_0))
function code(a, b) t_0 = Float64(Float64(a * a) + Float64(b * b)) return Float64(Float64(Float64(Float64(b * b) * 4.0) + -1.0) + Float64(t_0 / Float64(1.0 / t_0))) end
function tmp = code(a, b) t_0 = (a * a) + (b * b); tmp = (((b * b) * 4.0) + -1.0) + (t_0 / (1.0 / t_0)); end
code[a_, b_] := Block[{t$95$0 = N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision]}, N[(N[(N[(N[(b * b), $MachinePrecision] * 4.0), $MachinePrecision] + -1.0), $MachinePrecision] + N[(t$95$0 / N[(1.0 / t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot a + b \cdot b\\
\left(\left(b \cdot b\right) \cdot 4 + -1\right) + \frac{t\_0}{\frac{1}{t\_0}}
\end{array}
\end{array}
Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
flip3-+N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
clear-numN/A
metadata-evalN/A
flip3-+N/A
/-lowering-/.f64N/A
Applied egg-rr99.8%
Final simplification99.8%
(FPCore (a b) :precision binary64 (let* ((t_0 (+ (* a a) (* b b)))) (+ (+ (* (* b b) 4.0) -1.0) (* t_0 t_0))))
double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (((b * b) * 4.0) + -1.0) + (t_0 * t_0);
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
t_0 = (a * a) + (b * b)
code = (((b * b) * 4.0d0) + (-1.0d0)) + (t_0 * t_0)
end function
public static double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (((b * b) * 4.0) + -1.0) + (t_0 * t_0);
}
def code(a, b): t_0 = (a * a) + (b * b) return (((b * b) * 4.0) + -1.0) + (t_0 * t_0)
function code(a, b) t_0 = Float64(Float64(a * a) + Float64(b * b)) return Float64(Float64(Float64(Float64(b * b) * 4.0) + -1.0) + Float64(t_0 * t_0)) end
function tmp = code(a, b) t_0 = (a * a) + (b * b); tmp = (((b * b) * 4.0) + -1.0) + (t_0 * t_0); end
code[a_, b_] := Block[{t$95$0 = N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision]}, N[(N[(N[(N[(b * b), $MachinePrecision] * 4.0), $MachinePrecision] + -1.0), $MachinePrecision] + N[(t$95$0 * t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot a + b \cdot b\\
\left(\left(b \cdot b\right) \cdot 4 + -1\right) + t\_0 \cdot t\_0
\end{array}
\end{array}
Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Final simplification99.8%
(FPCore (a b) :precision binary64 (if (<= (* a a) 1e+14) (+ -1.0 (* b (* b (+ (* b b) 4.0)))) (+ -1.0 (/ (+ (* a a) (* b b)) (/ 1.0 (* a a))))))
double code(double a, double b) {
double tmp;
if ((a * a) <= 1e+14) {
tmp = -1.0 + (b * (b * ((b * b) + 4.0)));
} else {
tmp = -1.0 + (((a * a) + (b * b)) / (1.0 / (a * a)));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((a * a) <= 1d+14) then
tmp = (-1.0d0) + (b * (b * ((b * b) + 4.0d0)))
else
tmp = (-1.0d0) + (((a * a) + (b * b)) / (1.0d0 / (a * a)))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if ((a * a) <= 1e+14) {
tmp = -1.0 + (b * (b * ((b * b) + 4.0)));
} else {
tmp = -1.0 + (((a * a) + (b * b)) / (1.0 / (a * a)));
}
return tmp;
}
def code(a, b): tmp = 0 if (a * a) <= 1e+14: tmp = -1.0 + (b * (b * ((b * b) + 4.0))) else: tmp = -1.0 + (((a * a) + (b * b)) / (1.0 / (a * a))) return tmp
function code(a, b) tmp = 0.0 if (Float64(a * a) <= 1e+14) tmp = Float64(-1.0 + Float64(b * Float64(b * Float64(Float64(b * b) + 4.0)))); else tmp = Float64(-1.0 + Float64(Float64(Float64(a * a) + Float64(b * b)) / Float64(1.0 / Float64(a * a)))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if ((a * a) <= 1e+14) tmp = -1.0 + (b * (b * ((b * b) + 4.0))); else tmp = -1.0 + (((a * a) + (b * b)) / (1.0 / (a * a))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[(a * a), $MachinePrecision], 1e+14], N[(-1.0 + N[(b * N[(b * N[(N[(b * b), $MachinePrecision] + 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(-1.0 + N[(N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision] / N[(1.0 / N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot a \leq 10^{+14}:\\
\;\;\;\;-1 + b \cdot \left(b \cdot \left(b \cdot b + 4\right)\right)\\
\mathbf{else}:\\
\;\;\;\;-1 + \frac{a \cdot a + b \cdot b}{\frac{1}{a \cdot a}}\\
\end{array}
\end{array}
if (*.f64 a a) < 1e14Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval99.1%
Simplified99.1%
if 1e14 < (*.f64 a a) Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
flip3-+N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
clear-numN/A
metadata-evalN/A
flip3-+N/A
/-lowering-/.f64N/A
Applied egg-rr99.8%
Taylor expanded in b around 0
Simplified99.8%
Taylor expanded in a around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6498.3%
Simplified98.3%
Final simplification98.8%
(FPCore (a b) :precision binary64 (if (<= (* a a) 2e-89) (+ -1.0 (* b (* b 4.0))) (if (<= (* a a) 1e+22) (* b (* b (* b b))) (* a (* a (* a a))))))
double code(double a, double b) {
double tmp;
if ((a * a) <= 2e-89) {
tmp = -1.0 + (b * (b * 4.0));
} else if ((a * a) <= 1e+22) {
tmp = b * (b * (b * b));
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((a * a) <= 2d-89) then
tmp = (-1.0d0) + (b * (b * 4.0d0))
else if ((a * a) <= 1d+22) then
tmp = b * (b * (b * b))
else
tmp = a * (a * (a * a))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if ((a * a) <= 2e-89) {
tmp = -1.0 + (b * (b * 4.0));
} else if ((a * a) <= 1e+22) {
tmp = b * (b * (b * b));
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
def code(a, b): tmp = 0 if (a * a) <= 2e-89: tmp = -1.0 + (b * (b * 4.0)) elif (a * a) <= 1e+22: tmp = b * (b * (b * b)) else: tmp = a * (a * (a * a)) return tmp
function code(a, b) tmp = 0.0 if (Float64(a * a) <= 2e-89) tmp = Float64(-1.0 + Float64(b * Float64(b * 4.0))); elseif (Float64(a * a) <= 1e+22) tmp = Float64(b * Float64(b * Float64(b * b))); else tmp = Float64(a * Float64(a * Float64(a * a))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if ((a * a) <= 2e-89) tmp = -1.0 + (b * (b * 4.0)); elseif ((a * a) <= 1e+22) tmp = b * (b * (b * b)); else tmp = a * (a * (a * a)); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[(a * a), $MachinePrecision], 2e-89], N[(-1.0 + N[(b * N[(b * 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(a * a), $MachinePrecision], 1e+22], N[(b * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot a \leq 2 \cdot 10^{-89}:\\
\;\;\;\;-1 + b \cdot \left(b \cdot 4\right)\\
\mathbf{elif}\;a \cdot a \leq 10^{+22}:\\
\;\;\;\;b \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(a \cdot \left(a \cdot a\right)\right)\\
\end{array}
\end{array}
if (*.f64 a a) < 2.00000000000000008e-89Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in b around 0
*-commutativeN/A
*-lowering-*.f6473.0%
Simplified73.0%
if 2.00000000000000008e-89 < (*.f64 a a) < 1e22Initial program 99.7%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in b around inf
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6487.5%
Simplified87.5%
if 1e22 < (*.f64 a a) Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around inf
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6494.2%
Simplified94.2%
Final simplification83.4%
(FPCore (a b) :precision binary64 (if (<= (* a a) 1e-172) -1.0 (if (<= (* a a) 1e+22) (* b (* b (* b b))) (* a (* a (* a a))))))
double code(double a, double b) {
double tmp;
if ((a * a) <= 1e-172) {
tmp = -1.0;
} else if ((a * a) <= 1e+22) {
tmp = b * (b * (b * b));
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((a * a) <= 1d-172) then
tmp = -1.0d0
else if ((a * a) <= 1d+22) then
tmp = b * (b * (b * b))
else
tmp = a * (a * (a * a))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if ((a * a) <= 1e-172) {
tmp = -1.0;
} else if ((a * a) <= 1e+22) {
tmp = b * (b * (b * b));
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
def code(a, b): tmp = 0 if (a * a) <= 1e-172: tmp = -1.0 elif (a * a) <= 1e+22: tmp = b * (b * (b * b)) else: tmp = a * (a * (a * a)) return tmp
function code(a, b) tmp = 0.0 if (Float64(a * a) <= 1e-172) tmp = -1.0; elseif (Float64(a * a) <= 1e+22) tmp = Float64(b * Float64(b * Float64(b * b))); else tmp = Float64(a * Float64(a * Float64(a * a))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if ((a * a) <= 1e-172) tmp = -1.0; elseif ((a * a) <= 1e+22) tmp = b * (b * (b * b)); else tmp = a * (a * (a * a)); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[(a * a), $MachinePrecision], 1e-172], -1.0, If[LessEqual[N[(a * a), $MachinePrecision], 1e+22], N[(b * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot a \leq 10^{-172}:\\
\;\;\;\;-1\\
\mathbf{elif}\;a \cdot a \leq 10^{+22}:\\
\;\;\;\;b \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(a \cdot \left(a \cdot a\right)\right)\\
\end{array}
\end{array}
if (*.f64 a a) < 1e-172Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in b around 0
Simplified56.0%
if 1e-172 < (*.f64 a a) < 1e22Initial program 99.7%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in b around inf
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6468.6%
Simplified68.6%
if 1e22 < (*.f64 a a) Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around inf
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6494.2%
Simplified94.2%
(FPCore (a b) :precision binary64 (let* ((t_0 (+ (* a a) (* b b)))) (+ (/ 1.0 (/ (/ 1.0 t_0) t_0)) -1.0)))
double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (1.0 / ((1.0 / t_0) / t_0)) + -1.0;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
t_0 = (a * a) + (b * b)
code = (1.0d0 / ((1.0d0 / t_0) / t_0)) + (-1.0d0)
end function
public static double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return (1.0 / ((1.0 / t_0) / t_0)) + -1.0;
}
def code(a, b): t_0 = (a * a) + (b * b) return (1.0 / ((1.0 / t_0) / t_0)) + -1.0
function code(a, b) t_0 = Float64(Float64(a * a) + Float64(b * b)) return Float64(Float64(1.0 / Float64(Float64(1.0 / t_0) / t_0)) + -1.0) end
function tmp = code(a, b) t_0 = (a * a) + (b * b); tmp = (1.0 / ((1.0 / t_0) / t_0)) + -1.0; end
code[a_, b_] := Block[{t$95$0 = N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision]}, N[(N[(1.0 / N[(N[(1.0 / t$95$0), $MachinePrecision] / t$95$0), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot a + b \cdot b\\
\frac{1}{\frac{\frac{1}{t\_0}}{t\_0}} + -1
\end{array}
\end{array}
Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
flip3-+N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
clear-numN/A
metadata-evalN/A
flip3-+N/A
/-lowering-/.f64N/A
Applied egg-rr99.8%
Taylor expanded in b around 0
Simplified99.4%
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f6499.4%
Applied egg-rr99.4%
(FPCore (a b) :precision binary64 (if (<= (* a a) 1e+14) (+ -1.0 (* b (* b (+ (* b b) 4.0)))) (* (* a a) (+ (* a a) (* (* b b) 2.0)))))
double code(double a, double b) {
double tmp;
if ((a * a) <= 1e+14) {
tmp = -1.0 + (b * (b * ((b * b) + 4.0)));
} else {
tmp = (a * a) * ((a * a) + ((b * b) * 2.0));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((a * a) <= 1d+14) then
tmp = (-1.0d0) + (b * (b * ((b * b) + 4.0d0)))
else
tmp = (a * a) * ((a * a) + ((b * b) * 2.0d0))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if ((a * a) <= 1e+14) {
tmp = -1.0 + (b * (b * ((b * b) + 4.0)));
} else {
tmp = (a * a) * ((a * a) + ((b * b) * 2.0));
}
return tmp;
}
def code(a, b): tmp = 0 if (a * a) <= 1e+14: tmp = -1.0 + (b * (b * ((b * b) + 4.0))) else: tmp = (a * a) * ((a * a) + ((b * b) * 2.0)) return tmp
function code(a, b) tmp = 0.0 if (Float64(a * a) <= 1e+14) tmp = Float64(-1.0 + Float64(b * Float64(b * Float64(Float64(b * b) + 4.0)))); else tmp = Float64(Float64(a * a) * Float64(Float64(a * a) + Float64(Float64(b * b) * 2.0))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if ((a * a) <= 1e+14) tmp = -1.0 + (b * (b * ((b * b) + 4.0))); else tmp = (a * a) * ((a * a) + ((b * b) * 2.0)); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[(a * a), $MachinePrecision], 1e+14], N[(-1.0 + N[(b * N[(b * N[(N[(b * b), $MachinePrecision] + 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(a * a), $MachinePrecision] * N[(N[(a * a), $MachinePrecision] + N[(N[(b * b), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot a \leq 10^{+14}:\\
\;\;\;\;-1 + b \cdot \left(b \cdot \left(b \cdot b + 4\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(a \cdot a\right) \cdot \left(a \cdot a + \left(b \cdot b\right) \cdot 2\right)\\
\end{array}
\end{array}
if (*.f64 a a) < 1e14Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval99.1%
Simplified99.1%
if 1e14 < (*.f64 a a) Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around inf
+-commutativeN/A
distribute-rgt-inN/A
associate-*l*N/A
metadata-evalN/A
pow-sqrN/A
associate-*r*N/A
associate-*l/N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
*-commutativeN/A
*-lft-identityN/A
*-commutativeN/A
associate-*r*N/A
metadata-evalN/A
Simplified98.3%
Final simplification98.8%
(FPCore (a b) :precision binary64 (let* ((t_0 (+ (* a a) (* b b)))) (+ -1.0 (/ t_0 (/ 1.0 t_0)))))
double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return -1.0 + (t_0 / (1.0 / t_0));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
t_0 = (a * a) + (b * b)
code = (-1.0d0) + (t_0 / (1.0d0 / t_0))
end function
public static double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return -1.0 + (t_0 / (1.0 / t_0));
}
def code(a, b): t_0 = (a * a) + (b * b) return -1.0 + (t_0 / (1.0 / t_0))
function code(a, b) t_0 = Float64(Float64(a * a) + Float64(b * b)) return Float64(-1.0 + Float64(t_0 / Float64(1.0 / t_0))) end
function tmp = code(a, b) t_0 = (a * a) + (b * b); tmp = -1.0 + (t_0 / (1.0 / t_0)); end
code[a_, b_] := Block[{t$95$0 = N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision]}, N[(-1.0 + N[(t$95$0 / N[(1.0 / t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot a + b \cdot b\\
-1 + \frac{t\_0}{\frac{1}{t\_0}}
\end{array}
\end{array}
Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
flip3-+N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
clear-numN/A
metadata-evalN/A
flip3-+N/A
/-lowering-/.f64N/A
Applied egg-rr99.8%
Taylor expanded in b around 0
Simplified99.4%
Final simplification99.4%
(FPCore (a b) :precision binary64 (if (<= (* a a) 1e+22) (+ -1.0 (* b (* b (+ (* b b) 4.0)))) (* a (* a (* a a)))))
double code(double a, double b) {
double tmp;
if ((a * a) <= 1e+22) {
tmp = -1.0 + (b * (b * ((b * b) + 4.0)));
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((a * a) <= 1d+22) then
tmp = (-1.0d0) + (b * (b * ((b * b) + 4.0d0)))
else
tmp = a * (a * (a * a))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if ((a * a) <= 1e+22) {
tmp = -1.0 + (b * (b * ((b * b) + 4.0)));
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
def code(a, b): tmp = 0 if (a * a) <= 1e+22: tmp = -1.0 + (b * (b * ((b * b) + 4.0))) else: tmp = a * (a * (a * a)) return tmp
function code(a, b) tmp = 0.0 if (Float64(a * a) <= 1e+22) tmp = Float64(-1.0 + Float64(b * Float64(b * Float64(Float64(b * b) + 4.0)))); else tmp = Float64(a * Float64(a * Float64(a * a))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if ((a * a) <= 1e+22) tmp = -1.0 + (b * (b * ((b * b) + 4.0))); else tmp = a * (a * (a * a)); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[(a * a), $MachinePrecision], 1e+22], N[(-1.0 + N[(b * N[(b * N[(N[(b * b), $MachinePrecision] + 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot a \leq 10^{+22}:\\
\;\;\;\;-1 + b \cdot \left(b \cdot \left(b \cdot b + 4\right)\right)\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(a \cdot \left(a \cdot a\right)\right)\\
\end{array}
\end{array}
if (*.f64 a a) < 1e22Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval99.2%
Simplified99.2%
if 1e22 < (*.f64 a a) Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around inf
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6494.2%
Simplified94.2%
Final simplification96.9%
(FPCore (a b) :precision binary64 (if (<= a 5.3e-34) -1.0 (if (<= a 75000000000.0) (* b (* b 4.0)) (* a (* a (* a a))))))
double code(double a, double b) {
double tmp;
if (a <= 5.3e-34) {
tmp = -1.0;
} else if (a <= 75000000000.0) {
tmp = b * (b * 4.0);
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (a <= 5.3d-34) then
tmp = -1.0d0
else if (a <= 75000000000.0d0) then
tmp = b * (b * 4.0d0)
else
tmp = a * (a * (a * a))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (a <= 5.3e-34) {
tmp = -1.0;
} else if (a <= 75000000000.0) {
tmp = b * (b * 4.0);
} else {
tmp = a * (a * (a * a));
}
return tmp;
}
def code(a, b): tmp = 0 if a <= 5.3e-34: tmp = -1.0 elif a <= 75000000000.0: tmp = b * (b * 4.0) else: tmp = a * (a * (a * a)) return tmp
function code(a, b) tmp = 0.0 if (a <= 5.3e-34) tmp = -1.0; elseif (a <= 75000000000.0) tmp = Float64(b * Float64(b * 4.0)); else tmp = Float64(a * Float64(a * Float64(a * a))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (a <= 5.3e-34) tmp = -1.0; elseif (a <= 75000000000.0) tmp = b * (b * 4.0); else tmp = a * (a * (a * a)); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[a, 5.3e-34], -1.0, If[LessEqual[a, 75000000000.0], N[(b * N[(b * 4.0), $MachinePrecision]), $MachinePrecision], N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq 5.3 \cdot 10^{-34}:\\
\;\;\;\;-1\\
\mathbf{elif}\;a \leq 75000000000:\\
\;\;\;\;b \cdot \left(b \cdot 4\right)\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(a \cdot \left(a \cdot a\right)\right)\\
\end{array}
\end{array}
if a < 5.2999999999999997e-34Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval79.9%
Simplified79.9%
Taylor expanded in b around 0
Simplified36.2%
if 5.2999999999999997e-34 < a < 7.5e10Initial program 99.7%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval99.2%
Simplified99.2%
Taylor expanded in b around 0
*-commutativeN/A
*-lowering-*.f6443.4%
Simplified43.4%
Taylor expanded in b around inf
unpow2N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6434.0%
Simplified34.0%
if 7.5e10 < a Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around inf
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6491.2%
Simplified91.2%
(FPCore (a b) :precision binary64 (let* ((t_0 (+ (* a a) (* b b)))) (+ -1.0 (* t_0 t_0))))
double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return -1.0 + (t_0 * t_0);
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
t_0 = (a * a) + (b * b)
code = (-1.0d0) + (t_0 * t_0)
end function
public static double code(double a, double b) {
double t_0 = (a * a) + (b * b);
return -1.0 + (t_0 * t_0);
}
def code(a, b): t_0 = (a * a) + (b * b) return -1.0 + (t_0 * t_0)
function code(a, b) t_0 = Float64(Float64(a * a) + Float64(b * b)) return Float64(-1.0 + Float64(t_0 * t_0)) end
function tmp = code(a, b) t_0 = (a * a) + (b * b); tmp = -1.0 + (t_0 * t_0); end
code[a_, b_] := Block[{t$95$0 = N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision]}, N[(-1.0 + N[(t$95$0 * t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot a + b \cdot b\\
-1 + t\_0 \cdot t\_0
\end{array}
\end{array}
Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in b around 0
Simplified99.4%
Final simplification99.4%
(FPCore (a b) :precision binary64 (if (<= (* b b) 0.5) (+ -1.0 (* a (* a (* a a)))) (* b (* b (* b b)))))
double code(double a, double b) {
double tmp;
if ((b * b) <= 0.5) {
tmp = -1.0 + (a * (a * (a * a)));
} else {
tmp = b * (b * (b * b));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((b * b) <= 0.5d0) then
tmp = (-1.0d0) + (a * (a * (a * a)))
else
tmp = b * (b * (b * b))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if ((b * b) <= 0.5) {
tmp = -1.0 + (a * (a * (a * a)));
} else {
tmp = b * (b * (b * b));
}
return tmp;
}
def code(a, b): tmp = 0 if (b * b) <= 0.5: tmp = -1.0 + (a * (a * (a * a))) else: tmp = b * (b * (b * b)) return tmp
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 0.5) tmp = Float64(-1.0 + Float64(a * Float64(a * Float64(a * a)))); else tmp = Float64(b * Float64(b * Float64(b * b))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if ((b * b) <= 0.5) tmp = -1.0 + (a * (a * (a * a))); else tmp = b * (b * (b * b)); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 0.5], N[(-1.0 + N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(b * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 0.5:\\
\;\;\;\;-1 + a \cdot \left(a \cdot \left(a \cdot a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;b \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\end{array}
\end{array}
if (*.f64 b b) < 0.5Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in b around 0
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval99.1%
Simplified99.1%
if 0.5 < (*.f64 b b) Initial program 99.7%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in b around inf
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6490.2%
Simplified90.2%
Final simplification94.8%
(FPCore (a b) :precision binary64 (if (<= b 0.112) -1.0 (* b (* b 4.0))))
double code(double a, double b) {
double tmp;
if (b <= 0.112) {
tmp = -1.0;
} else {
tmp = b * (b * 4.0);
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= 0.112d0) then
tmp = -1.0d0
else
tmp = b * (b * 4.0d0)
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= 0.112) {
tmp = -1.0;
} else {
tmp = b * (b * 4.0);
}
return tmp;
}
def code(a, b): tmp = 0 if b <= 0.112: tmp = -1.0 else: tmp = b * (b * 4.0) return tmp
function code(a, b) tmp = 0.0 if (b <= 0.112) tmp = -1.0; else tmp = Float64(b * Float64(b * 4.0)); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= 0.112) tmp = -1.0; else tmp = b * (b * 4.0); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, 0.112], -1.0, N[(b * N[(b * 4.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 0.112:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;b \cdot \left(b \cdot 4\right)\\
\end{array}
\end{array}
if b < 0.112000000000000002Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval64.2%
Simplified64.2%
Taylor expanded in b around 0
Simplified35.2%
if 0.112000000000000002 < b Initial program 99.7%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval88.4%
Simplified88.4%
Taylor expanded in b around 0
*-commutativeN/A
*-lowering-*.f6445.9%
Simplified45.9%
Taylor expanded in b around inf
unpow2N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6445.9%
Simplified45.9%
(FPCore (a b) :precision binary64 -1.0)
double code(double a, double b) {
return -1.0;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = -1.0d0
end function
public static double code(double a, double b) {
return -1.0;
}
def code(a, b): return -1.0
function code(a, b) return -1.0 end
function tmp = code(a, b) tmp = -1.0; end
code[a_, b_] := -1.0
\begin{array}{l}
\\
-1
\end{array}
Initial program 99.8%
associate--l+N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in a around 0
sub-negN/A
+-lowering-+.f64N/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
*-commutativeN/A
distribute-lft-outN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval70.5%
Simplified70.5%
Taylor expanded in b around 0
Simplified26.3%
herbie shell --seed 2024163
(FPCore (a b)
:name "Bouland and Aaronson, Equation (26)"
:precision binary64
(- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0))