
(FPCore (a b) :precision binary64 (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 1.0))
double code(double a, double b) {
return (pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 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 * (((a * a) * (1.0d0 + a)) + ((b * b) * (1.0d0 - (3.0d0 * a)))))) - 1.0d0
end function
public static double code(double a, double b) {
return (Math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 1.0;
}
def code(a, b): return (math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 1.0
function code(a, b) return Float64(Float64((Float64(Float64(a * a) + Float64(b * b)) ^ 2.0) + Float64(4.0 * Float64(Float64(Float64(a * a) * Float64(1.0 + a)) + Float64(Float64(b * b) * Float64(1.0 - Float64(3.0 * a)))))) - 1.0) end
function tmp = code(a, b) tmp = ((((a * a) + (b * b)) ^ 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 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[(N[(N[(a * a), $MachinePrecision] * N[(1.0 + a), $MachinePrecision]), $MachinePrecision] + N[(N[(b * b), $MachinePrecision] * N[(1.0 - N[(3.0 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]
\begin{array}{l}
\\
\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\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 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 1.0))
double code(double a, double b) {
return (pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 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 * (((a * a) * (1.0d0 + a)) + ((b * b) * (1.0d0 - (3.0d0 * a)))))) - 1.0d0
end function
public static double code(double a, double b) {
return (Math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 1.0;
}
def code(a, b): return (math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 1.0
function code(a, b) return Float64(Float64((Float64(Float64(a * a) + Float64(b * b)) ^ 2.0) + Float64(4.0 * Float64(Float64(Float64(a * a) * Float64(1.0 + a)) + Float64(Float64(b * b) * Float64(1.0 - Float64(3.0 * a)))))) - 1.0) end
function tmp = code(a, b) tmp = ((((a * a) + (b * b)) ^ 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) - 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[(N[(N[(a * a), $MachinePrecision] * N[(1.0 + a), $MachinePrecision]), $MachinePrecision] + N[(N[(b * b), $MachinePrecision] * N[(1.0 - N[(3.0 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]
\begin{array}{l}
\\
\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1
\end{array}
(FPCore (a b)
:precision binary64
(let* ((t_0 (pow (+ (* a a) (* b b)) 2.0)))
(if (<=
(+ t_0 (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
INFINITY)
(- (+ t_0 (* 4.0 (* (fma a a a) a))) 1.0)
(fma (* (* (* a a) 2.0) b) b (fma (fma (+ 4.0 a) a 4.0) (* a a) -1.0)))))
double code(double a, double b) {
double t_0 = pow(((a * a) + (b * b)), 2.0);
double tmp;
if ((t_0 + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) <= ((double) INFINITY)) {
tmp = (t_0 + (4.0 * (fma(a, a, a) * a))) - 1.0;
} else {
tmp = fma((((a * a) * 2.0) * b), b, fma(fma((4.0 + a), a, 4.0), (a * a), -1.0));
}
return tmp;
}
function code(a, b) t_0 = Float64(Float64(a * a) + Float64(b * b)) ^ 2.0 tmp = 0.0 if (Float64(t_0 + Float64(4.0 * Float64(Float64(Float64(a * a) * Float64(1.0 + a)) + Float64(Float64(b * b) * Float64(1.0 - Float64(3.0 * a)))))) <= Inf) tmp = Float64(Float64(t_0 + Float64(4.0 * Float64(fma(a, a, a) * a))) - 1.0); else tmp = fma(Float64(Float64(Float64(a * a) * 2.0) * b), b, fma(fma(Float64(4.0 + a), a, 4.0), Float64(a * a), -1.0)); end return tmp end
code[a_, b_] := Block[{t$95$0 = N[Power[N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]}, If[LessEqual[N[(t$95$0 + N[(4.0 * N[(N[(N[(a * a), $MachinePrecision] * N[(1.0 + a), $MachinePrecision]), $MachinePrecision] + N[(N[(b * b), $MachinePrecision] * N[(1.0 - N[(3.0 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], Infinity], N[(N[(t$95$0 + N[(4.0 * N[(N[(a * a + a), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision], N[(N[(N[(N[(a * a), $MachinePrecision] * 2.0), $MachinePrecision] * b), $MachinePrecision] * b + N[(N[(N[(4.0 + a), $MachinePrecision] * a + 4.0), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := {\left(a \cdot a + b \cdot b\right)}^{2}\\
\mathbf{if}\;t\_0 + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\right) \leq \infty:\\
\;\;\;\;\left(t\_0 + 4 \cdot \left(\mathsf{fma}\left(a, a, a\right) \cdot a\right)\right) - 1\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\left(\left(a \cdot a\right) \cdot 2\right) \cdot b, b, \mathsf{fma}\left(\mathsf{fma}\left(4 + a, a, 4\right), a \cdot a, -1\right)\right)\\
\end{array}
\end{array}
if (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) < +inf.0Initial program 99.8%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6499.8
Applied rewrites99.8%
if +inf.0 < (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) Initial program 0.0%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6429.1
Applied rewrites29.1%
Taylor expanded in b around 0
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
(FPCore (a b)
:precision binary64
(if (<=
(+
(pow (+ (* a a) (* b b)) 2.0)
(* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
0.2)
-1.0
(* (* a a) 4.0)))
double code(double a, double b) {
double tmp;
if ((pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) <= 0.2) {
tmp = -1.0;
} else {
tmp = (a * a) * 4.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) + (b * b)) ** 2.0d0) + (4.0d0 * (((a * a) * (1.0d0 + a)) + ((b * b) * (1.0d0 - (3.0d0 * a)))))) <= 0.2d0) then
tmp = -1.0d0
else
tmp = (a * a) * 4.0d0
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if ((Math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) <= 0.2) {
tmp = -1.0;
} else {
tmp = (a * a) * 4.0;
}
return tmp;
}
def code(a, b): tmp = 0 if (math.pow(((a * a) + (b * b)), 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) <= 0.2: tmp = -1.0 else: tmp = (a * a) * 4.0 return tmp
function code(a, b) tmp = 0.0 if (Float64((Float64(Float64(a * a) + Float64(b * b)) ^ 2.0) + Float64(4.0 * Float64(Float64(Float64(a * a) * Float64(1.0 + a)) + Float64(Float64(b * b) * Float64(1.0 - Float64(3.0 * a)))))) <= 0.2) tmp = -1.0; else tmp = Float64(Float64(a * a) * 4.0); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (((((a * a) + (b * b)) ^ 2.0) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))))) <= 0.2) tmp = -1.0; else tmp = (a * a) * 4.0; end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[(N[Power[N[(N[(a * a), $MachinePrecision] + N[(b * b), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision] + N[(4.0 * N[(N[(N[(a * a), $MachinePrecision] * N[(1.0 + a), $MachinePrecision]), $MachinePrecision] + N[(N[(b * b), $MachinePrecision] * N[(1.0 - N[(3.0 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 0.2], -1.0, N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;{\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\right) \leq 0.2:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\end{array}
\end{array}
if (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) < 0.20000000000000001Initial program 100.0%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f64100.0
Applied rewrites100.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites98.0%
if 0.20000000000000001 < (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) Initial program 59.1%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6471.0
Applied rewrites71.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites65.9%
Taylor expanded in a around 0
Applied rewrites37.2%
Taylor expanded in a around inf
Applied rewrites37.5%
(FPCore (a b) :precision binary64 (if (or (<= a -9e-9) (not (<= a 1.55e-39))) (fma (* (* (* a a) 2.0) b) b (fma (fma (+ 4.0 a) a 4.0) (* a a) -1.0)) (- (fma (* b b) 4.0 (pow b 4.0)) 1.0)))
double code(double a, double b) {
double tmp;
if ((a <= -9e-9) || !(a <= 1.55e-39)) {
tmp = fma((((a * a) * 2.0) * b), b, fma(fma((4.0 + a), a, 4.0), (a * a), -1.0));
} else {
tmp = fma((b * b), 4.0, pow(b, 4.0)) - 1.0;
}
return tmp;
}
function code(a, b) tmp = 0.0 if ((a <= -9e-9) || !(a <= 1.55e-39)) tmp = fma(Float64(Float64(Float64(a * a) * 2.0) * b), b, fma(fma(Float64(4.0 + a), a, 4.0), Float64(a * a), -1.0)); else tmp = Float64(fma(Float64(b * b), 4.0, (b ^ 4.0)) - 1.0); end return tmp end
code[a_, b_] := If[Or[LessEqual[a, -9e-9], N[Not[LessEqual[a, 1.55e-39]], $MachinePrecision]], N[(N[(N[(N[(a * a), $MachinePrecision] * 2.0), $MachinePrecision] * b), $MachinePrecision] * b + N[(N[(N[(4.0 + a), $MachinePrecision] * a + 4.0), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(b * b), $MachinePrecision] * 4.0 + N[Power[b, 4.0], $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -9 \cdot 10^{-9} \lor \neg \left(a \leq 1.55 \cdot 10^{-39}\right):\\
\;\;\;\;\mathsf{fma}\left(\left(\left(a \cdot a\right) \cdot 2\right) \cdot b, b, \mathsf{fma}\left(\mathsf{fma}\left(4 + a, a, 4\right), a \cdot a, -1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(b \cdot b, 4, {b}^{4}\right) - 1\\
\end{array}
\end{array}
if a < -8.99999999999999953e-9 or 1.54999999999999985e-39 < a Initial program 47.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6462.5
Applied rewrites62.5%
Taylor expanded in b around 0
Applied rewrites98.7%
Taylor expanded in a around inf
Applied rewrites98.7%
if -8.99999999999999953e-9 < a < 1.54999999999999985e-39Initial program 99.9%
Taylor expanded in a around 0
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
lower-pow.f64100.0
Applied rewrites100.0%
Final simplification99.2%
(FPCore (a b) :precision binary64 (if (or (<= a -9e-9) (not (<= a 1.55e-39))) (fma (* (* (* a a) 2.0) b) b (fma (fma (+ 4.0 a) a 4.0) (* a a) -1.0)) (fma (* (* b b) b) b -1.0)))
double code(double a, double b) {
double tmp;
if ((a <= -9e-9) || !(a <= 1.55e-39)) {
tmp = fma((((a * a) * 2.0) * b), b, fma(fma((4.0 + a), a, 4.0), (a * a), -1.0));
} else {
tmp = fma(((b * b) * b), b, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if ((a <= -9e-9) || !(a <= 1.55e-39)) tmp = fma(Float64(Float64(Float64(a * a) * 2.0) * b), b, fma(fma(Float64(4.0 + a), a, 4.0), Float64(a * a), -1.0)); else tmp = fma(Float64(Float64(b * b) * b), b, -1.0); end return tmp end
code[a_, b_] := If[Or[LessEqual[a, -9e-9], N[Not[LessEqual[a, 1.55e-39]], $MachinePrecision]], N[(N[(N[(N[(a * a), $MachinePrecision] * 2.0), $MachinePrecision] * b), $MachinePrecision] * b + N[(N[(N[(4.0 + a), $MachinePrecision] * a + 4.0), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(b * b), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -9 \cdot 10^{-9} \lor \neg \left(a \leq 1.55 \cdot 10^{-39}\right):\\
\;\;\;\;\mathsf{fma}\left(\left(\left(a \cdot a\right) \cdot 2\right) \cdot b, b, \mathsf{fma}\left(\mathsf{fma}\left(4 + a, a, 4\right), a \cdot a, -1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\left(b \cdot b\right) \cdot b, b, -1\right)\\
\end{array}
\end{array}
if a < -8.99999999999999953e-9 or 1.54999999999999985e-39 < a Initial program 47.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6462.5
Applied rewrites62.5%
Taylor expanded in b around 0
Applied rewrites98.7%
Taylor expanded in a around inf
Applied rewrites98.7%
if -8.99999999999999953e-9 < a < 1.54999999999999985e-39Initial program 99.9%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6499.9
Applied rewrites99.9%
Taylor expanded in b around 0
Applied rewrites79.0%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
metadata-evalN/A
lower-fma.f64N/A
lower-*.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f6499.9
Applied rewrites99.9%
Taylor expanded in b around inf
Applied rewrites99.9%
Final simplification99.2%
(FPCore (a b) :precision binary64 (if (<= (* b b) 1e+15) (fma (* (fma (+ 4.0 a) a 4.0) a) a -1.0) (- (* (* b b) (fma -12.0 a (fma b b 4.0))) 1.0)))
double code(double a, double b) {
double tmp;
if ((b * b) <= 1e+15) {
tmp = fma((fma((4.0 + a), a, 4.0) * a), a, -1.0);
} else {
tmp = ((b * b) * fma(-12.0, a, fma(b, b, 4.0))) - 1.0;
}
return tmp;
}
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 1e+15) tmp = fma(Float64(fma(Float64(4.0 + a), a, 4.0) * a), a, -1.0); else tmp = Float64(Float64(Float64(b * b) * fma(-12.0, a, fma(b, b, 4.0))) - 1.0); end return tmp end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 1e+15], N[(N[(N[(N[(4.0 + a), $MachinePrecision] * a + 4.0), $MachinePrecision] * a), $MachinePrecision] * a + -1.0), $MachinePrecision], N[(N[(N[(b * b), $MachinePrecision] * N[(-12.0 * a + N[(b * b + 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 10^{+15}:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(4 + a, a, 4\right) \cdot a, a, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\left(b \cdot b\right) \cdot \mathsf{fma}\left(-12, a, \mathsf{fma}\left(b, b, 4\right)\right) - 1\\
\end{array}
\end{array}
if (*.f64 b b) < 1e15Initial program 75.8%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6475.8
Applied rewrites75.8%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites99.9%
Applied rewrites100.0%
if 1e15 < (*.f64 b b) Initial program 60.2%
Taylor expanded in a around 0
associate-*r*N/A
*-commutativeN/A
+-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-outN/A
distribute-lft-outN/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
lower-fma.f64N/A
unpow2N/A
lower-fma.f6492.2
Applied rewrites92.2%
(FPCore (a b) :precision binary64 (if (<= (* b b) 1e+15) (fma (* (fma (+ 4.0 a) a 4.0) a) a -1.0) (fma (* (* b b) b) b -1.0)))
double code(double a, double b) {
double tmp;
if ((b * b) <= 1e+15) {
tmp = fma((fma((4.0 + a), a, 4.0) * a), a, -1.0);
} else {
tmp = fma(((b * b) * b), b, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 1e+15) tmp = fma(Float64(fma(Float64(4.0 + a), a, 4.0) * a), a, -1.0); else tmp = fma(Float64(Float64(b * b) * b), b, -1.0); end return tmp end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 1e+15], N[(N[(N[(N[(4.0 + a), $MachinePrecision] * a + 4.0), $MachinePrecision] * a), $MachinePrecision] * a + -1.0), $MachinePrecision], N[(N[(N[(b * b), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 10^{+15}:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(4 + a, a, 4\right) \cdot a, a, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\left(b \cdot b\right) \cdot b, b, -1\right)\\
\end{array}
\end{array}
if (*.f64 b b) < 1e15Initial program 75.8%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6475.8
Applied rewrites75.8%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites99.9%
Applied rewrites100.0%
if 1e15 < (*.f64 b b) Initial program 60.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6481.0
Applied rewrites81.0%
Taylor expanded in b around 0
Applied rewrites78.3%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
metadata-evalN/A
lower-fma.f64N/A
lower-*.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f6490.6
Applied rewrites90.6%
Taylor expanded in b around inf
Applied rewrites90.6%
(FPCore (a b) :precision binary64 (if (<= (* b b) 1e+15) (fma (* (* (+ 4.0 a) a) a) a -1.0) (fma (* (* b b) b) b -1.0)))
double code(double a, double b) {
double tmp;
if ((b * b) <= 1e+15) {
tmp = fma((((4.0 + a) * a) * a), a, -1.0);
} else {
tmp = fma(((b * b) * b), b, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 1e+15) tmp = fma(Float64(Float64(Float64(4.0 + a) * a) * a), a, -1.0); else tmp = fma(Float64(Float64(b * b) * b), b, -1.0); end return tmp end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 1e+15], N[(N[(N[(N[(4.0 + a), $MachinePrecision] * a), $MachinePrecision] * a), $MachinePrecision] * a + -1.0), $MachinePrecision], N[(N[(N[(b * b), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 10^{+15}:\\
\;\;\;\;\mathsf{fma}\left(\left(\left(4 + a\right) \cdot a\right) \cdot a, a, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\left(b \cdot b\right) \cdot b, b, -1\right)\\
\end{array}
\end{array}
if (*.f64 b b) < 1e15Initial program 75.8%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6475.8
Applied rewrites75.8%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites99.9%
Taylor expanded in a around inf
Applied rewrites98.9%
Applied rewrites99.0%
if 1e15 < (*.f64 b b) Initial program 60.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6481.0
Applied rewrites81.0%
Taylor expanded in b around 0
Applied rewrites78.3%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
metadata-evalN/A
lower-fma.f64N/A
lower-*.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f6490.6
Applied rewrites90.6%
Taylor expanded in b around inf
Applied rewrites90.6%
(FPCore (a b) :precision binary64 (if (<= (* b b) 1e+15) (fma (* (+ 4.0 a) a) (* a a) -1.0) (fma (* (* b b) b) b -1.0)))
double code(double a, double b) {
double tmp;
if ((b * b) <= 1e+15) {
tmp = fma(((4.0 + a) * a), (a * a), -1.0);
} else {
tmp = fma(((b * b) * b), b, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 1e+15) tmp = fma(Float64(Float64(4.0 + a) * a), Float64(a * a), -1.0); else tmp = fma(Float64(Float64(b * b) * b), b, -1.0); end return tmp end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 1e+15], N[(N[(N[(4.0 + a), $MachinePrecision] * a), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision], N[(N[(N[(b * b), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 10^{+15}:\\
\;\;\;\;\mathsf{fma}\left(\left(4 + a\right) \cdot a, a \cdot a, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\left(b \cdot b\right) \cdot b, b, -1\right)\\
\end{array}
\end{array}
if (*.f64 b b) < 1e15Initial program 75.8%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6475.8
Applied rewrites75.8%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites99.9%
Taylor expanded in a around inf
Applied rewrites98.9%
if 1e15 < (*.f64 b b) Initial program 60.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6481.0
Applied rewrites81.0%
Taylor expanded in b around 0
Applied rewrites78.3%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
metadata-evalN/A
lower-fma.f64N/A
lower-*.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f6490.6
Applied rewrites90.6%
Taylor expanded in b around inf
Applied rewrites90.6%
(FPCore (a b)
:precision binary64
(if (<= a -6.7e+153)
(* (* a a) 4.0)
(if (<= a 3.4e+102)
(fma (* (fma b b 4.0) b) b -1.0)
(fma (* 4.0 a) (* a a) -1.0))))
double code(double a, double b) {
double tmp;
if (a <= -6.7e+153) {
tmp = (a * a) * 4.0;
} else if (a <= 3.4e+102) {
tmp = fma((fma(b, b, 4.0) * b), b, -1.0);
} else {
tmp = fma((4.0 * a), (a * a), -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (a <= -6.7e+153) tmp = Float64(Float64(a * a) * 4.0); elseif (a <= 3.4e+102) tmp = fma(Float64(fma(b, b, 4.0) * b), b, -1.0); else tmp = fma(Float64(4.0 * a), Float64(a * a), -1.0); end return tmp end
code[a_, b_] := If[LessEqual[a, -6.7e+153], N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision], If[LessEqual[a, 3.4e+102], N[(N[(N[(b * b + 4.0), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision], N[(N[(4.0 * a), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -6.7 \cdot 10^{+153}:\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\mathbf{elif}\;a \leq 3.4 \cdot 10^{+102}:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(b, b, 4\right) \cdot b, b, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(4 \cdot a, a \cdot a, -1\right)\\
\end{array}
\end{array}
if a < -6.70000000000000005e153Initial program 0.0%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f640.0
Applied rewrites0.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
if -6.70000000000000005e153 < a < 3.4e102Initial program 83.6%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6489.8
Applied rewrites89.8%
Taylor expanded in b around 0
Applied rewrites86.4%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
metadata-evalN/A
lower-fma.f64N/A
lower-*.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f6480.1
Applied rewrites80.1%
if 3.4e102 < a Initial program 69.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f64100.0
Applied rewrites100.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
(FPCore (a b) :precision binary64 (if (<= (* b b) 1e+15) (- (* (* a a) (* a a)) 1.0) (fma (* (* b b) b) b -1.0)))
double code(double a, double b) {
double tmp;
if ((b * b) <= 1e+15) {
tmp = ((a * a) * (a * a)) - 1.0;
} else {
tmp = fma(((b * b) * b), b, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 1e+15) tmp = Float64(Float64(Float64(a * a) * Float64(a * a)) - 1.0); else tmp = fma(Float64(Float64(b * b) * b), b, -1.0); end return tmp end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 1e+15], N[(N[(N[(a * a), $MachinePrecision] * N[(a * a), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision], N[(N[(N[(b * b), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 10^{+15}:\\
\;\;\;\;\left(a \cdot a\right) \cdot \left(a \cdot a\right) - 1\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\left(b \cdot b\right) \cdot b, b, -1\right)\\
\end{array}
\end{array}
if (*.f64 b b) < 1e15Initial program 75.8%
Taylor expanded in a around inf
lower-pow.f6498.6
Applied rewrites98.6%
Applied rewrites98.6%
if 1e15 < (*.f64 b b) Initial program 60.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6481.0
Applied rewrites81.0%
Taylor expanded in b around 0
Applied rewrites78.3%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
metadata-evalN/A
lower-fma.f64N/A
lower-*.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f6490.6
Applied rewrites90.6%
Taylor expanded in b around inf
Applied rewrites90.6%
(FPCore (a b)
:precision binary64
(if (<= a -6.7e+153)
(* (* a a) 4.0)
(if (<= a 3.4e+102)
(fma (* (* b b) b) b -1.0)
(fma (* 4.0 a) (* a a) -1.0))))
double code(double a, double b) {
double tmp;
if (a <= -6.7e+153) {
tmp = (a * a) * 4.0;
} else if (a <= 3.4e+102) {
tmp = fma(((b * b) * b), b, -1.0);
} else {
tmp = fma((4.0 * a), (a * a), -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (a <= -6.7e+153) tmp = Float64(Float64(a * a) * 4.0); elseif (a <= 3.4e+102) tmp = fma(Float64(Float64(b * b) * b), b, -1.0); else tmp = fma(Float64(4.0 * a), Float64(a * a), -1.0); end return tmp end
code[a_, b_] := If[LessEqual[a, -6.7e+153], N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision], If[LessEqual[a, 3.4e+102], N[(N[(N[(b * b), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision], N[(N[(4.0 * a), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -6.7 \cdot 10^{+153}:\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\mathbf{elif}\;a \leq 3.4 \cdot 10^{+102}:\\
\;\;\;\;\mathsf{fma}\left(\left(b \cdot b\right) \cdot b, b, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(4 \cdot a, a \cdot a, -1\right)\\
\end{array}
\end{array}
if a < -6.70000000000000005e153Initial program 0.0%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f640.0
Applied rewrites0.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
if -6.70000000000000005e153 < a < 3.4e102Initial program 83.6%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6489.8
Applied rewrites89.8%
Taylor expanded in b around 0
Applied rewrites86.4%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
metadata-evalN/A
lower-fma.f64N/A
lower-*.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f6480.1
Applied rewrites80.1%
Taylor expanded in b around inf
Applied rewrites80.1%
if 3.4e102 < a Initial program 69.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f64100.0
Applied rewrites100.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
(FPCore (a b) :precision binary64 (if (<= a -6.2e+153) (* (* a a) 4.0) (if (<= a 3.4e+102) (fma (* b b) 4.0 -1.0) (fma (* 4.0 a) (* a a) -1.0))))
double code(double a, double b) {
double tmp;
if (a <= -6.2e+153) {
tmp = (a * a) * 4.0;
} else if (a <= 3.4e+102) {
tmp = fma((b * b), 4.0, -1.0);
} else {
tmp = fma((4.0 * a), (a * a), -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (a <= -6.2e+153) tmp = Float64(Float64(a * a) * 4.0); elseif (a <= 3.4e+102) tmp = fma(Float64(b * b), 4.0, -1.0); else tmp = fma(Float64(4.0 * a), Float64(a * a), -1.0); end return tmp end
code[a_, b_] := If[LessEqual[a, -6.2e+153], N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision], If[LessEqual[a, 3.4e+102], N[(N[(b * b), $MachinePrecision] * 4.0 + -1.0), $MachinePrecision], N[(N[(4.0 * a), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -6.2 \cdot 10^{+153}:\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\mathbf{elif}\;a \leq 3.4 \cdot 10^{+102}:\\
\;\;\;\;\mathsf{fma}\left(b \cdot b, 4, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(4 \cdot a, a \cdot a, -1\right)\\
\end{array}
\end{array}
if a < -6.2e153Initial program 0.0%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f640.0
Applied rewrites0.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
if -6.2e153 < a < 3.4e102Initial program 83.6%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6489.8
Applied rewrites89.8%
Taylor expanded in b around 0
Applied rewrites86.4%
Taylor expanded in a around 0
Applied rewrites63.9%
if 3.4e102 < a Initial program 69.2%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f64100.0
Applied rewrites100.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
(FPCore (a b) :precision binary64 (if (or (<= a -6.2e+153) (not (<= a 6.6e+153))) (* (* a a) 4.0) (fma (* b b) 4.0 -1.0)))
double code(double a, double b) {
double tmp;
if ((a <= -6.2e+153) || !(a <= 6.6e+153)) {
tmp = (a * a) * 4.0;
} else {
tmp = fma((b * b), 4.0, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if ((a <= -6.2e+153) || !(a <= 6.6e+153)) tmp = Float64(Float64(a * a) * 4.0); else tmp = fma(Float64(b * b), 4.0, -1.0); end return tmp end
code[a_, b_] := If[Or[LessEqual[a, -6.2e+153], N[Not[LessEqual[a, 6.6e+153]], $MachinePrecision]], N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision], N[(N[(b * b), $MachinePrecision] * 4.0 + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -6.2 \cdot 10^{+153} \lor \neg \left(a \leq 6.6 \cdot 10^{+153}\right):\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(b \cdot b, 4, -1\right)\\
\end{array}
\end{array}
if a < -6.2e153 or 6.59999999999999989e153 < a Initial program 29.9%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6443.3
Applied rewrites43.3%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
Taylor expanded in a around inf
Applied rewrites100.0%
if -6.2e153 < a < 6.59999999999999989e153Initial program 82.9%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6490.3
Applied rewrites90.3%
Taylor expanded in b around 0
Applied rewrites87.2%
Taylor expanded in a around 0
Applied rewrites62.2%
Final simplification72.1%
(FPCore (a b) :precision binary64 (if (<= (* b b) 4.3e+307) (fma (* a a) 4.0 -1.0) (fma (* b b) 4.0 -1.0)))
double code(double a, double b) {
double tmp;
if ((b * b) <= 4.3e+307) {
tmp = fma((a * a), 4.0, -1.0);
} else {
tmp = fma((b * b), 4.0, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 4.3e+307) tmp = fma(Float64(a * a), 4.0, -1.0); else tmp = fma(Float64(b * b), 4.0, -1.0); end return tmp end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 4.3e+307], N[(N[(a * a), $MachinePrecision] * 4.0 + -1.0), $MachinePrecision], N[(N[(b * b), $MachinePrecision] * 4.0 + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 4.3 \cdot 10^{+307}:\\
\;\;\;\;\mathsf{fma}\left(a \cdot a, 4, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(b \cdot b, 4, -1\right)\\
\end{array}
\end{array}
if (*.f64 b b) < 4.30000000000000003e307Initial program 76.6%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6478.2
Applied rewrites78.2%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites85.2%
Taylor expanded in a around 0
Applied rewrites62.7%
if 4.30000000000000003e307 < (*.f64 b b) Initial program 47.8%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6477.6
Applied rewrites77.6%
Taylor expanded in b around 0
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites100.0%
(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 69.0%
Taylor expanded in a around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
distribute-lft-inN/A
*-rgt-identityN/A
rgt-mult-inverseN/A
unpow2N/A
+-commutativeN/A
associate-*r*N/A
*-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
lower-fma.f6478.0
Applied rewrites78.0%
Taylor expanded in b around 0
sub-negN/A
*-commutativeN/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt1-inN/A
*-commutativeN/A
metadata-evalN/A
pow-sqrN/A
distribute-lft-inN/A
associate-+r+N/A
unpow2N/A
distribute-rgt-inN/A
*-commutativeN/A
metadata-evalN/A
lower-fma.f64N/A
Applied rewrites74.1%
Taylor expanded in a around 0
Applied rewrites24.3%
herbie shell --seed 2024312
(FPCore (a b)
:name "Bouland and Aaronson, Equation (25)"
:precision binary64
(- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 1.0))