
(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)
(* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))))
(if (<= t_0 INFINITY)
(- t_0 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) + (4.0 * (((a * a) * (1.0 + a)) + ((b * b) * (1.0 - (3.0 * a)))));
double tmp;
if (t_0 <= ((double) INFINITY)) {
tmp = t_0 - 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(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)))))) tmp = 0.0 if (t_0 <= Inf) tmp = Float64(t_0 - 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[(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]}, If[LessEqual[t$95$0, Infinity], N[(t$95$0 - 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} + 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)\\
\mathbf{if}\;t\_0 \leq \infty:\\
\;\;\;\;t\_0 - 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%
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.f6438.6
Applied rewrites38.6%
Taylor expanded in b around 0
Applied rewrites98.2%
Taylor expanded in a around inf
Applied rewrites100.0%
(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.5
Applied rewrites99.5%
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.f6438.6
Applied rewrites38.6%
Taylor expanded in b around 0
Applied rewrites98.2%
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))))))
5e-8)
-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)))))) <= 5e-8) {
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)))))) <= 5d-8) 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)))))) <= 5e-8) {
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)))))) <= 5e-8: 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)))))) <= 5e-8) 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)))))) <= 5e-8) 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], 5e-8], -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 5 \cdot 10^{-8}:\\
\;\;\;\;-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)))))) < 4.9999999999999998e-8Initial 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.f6499.8
Applied rewrites99.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.8%
Taylor expanded in a around 0
Applied rewrites98.6%
if 4.9999999999999998e-8 < (+.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 68.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.f6480.0
Applied rewrites80.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 rewrites61.8%
Taylor expanded in a around 0
Applied rewrites33.2%
Taylor expanded in a around inf
Applied rewrites33.7%
(FPCore (a b) :precision binary64 (if (or (<= a -8.1e-7) (not (<= a 2.45e-26))) (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 <= -8.1e-7) || !(a <= 2.45e-26)) {
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 <= -8.1e-7) || !(a <= 2.45e-26)) 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, -8.1e-7], N[Not[LessEqual[a, 2.45e-26]], $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 -8.1 \cdot 10^{-7} \lor \neg \left(a \leq 2.45 \cdot 10^{-26}\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.09999999999999974e-7 or 2.45e-26 < a Initial program 55.3%
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.f6472.5
Applied rewrites72.5%
Taylor expanded in b around 0
Applied rewrites97.7%
Taylor expanded in a around inf
Applied rewrites98.4%
if -8.09999999999999974e-7 < a < 2.45e-26Initial 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 -8.1e-7) (not (<= a 2.45e-26))) (fma (* (* (* a a) 2.0) b) b (fma (fma (+ 4.0 a) a 4.0) (* a a) -1.0)) (fma (* (fma b b 4.0) b) b -1.0)))
double code(double a, double b) {
double tmp;
if ((a <= -8.1e-7) || !(a <= 2.45e-26)) {
tmp = fma((((a * a) * 2.0) * b), b, fma(fma((4.0 + a), a, 4.0), (a * a), -1.0));
} else {
tmp = fma((fma(b, b, 4.0) * b), b, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if ((a <= -8.1e-7) || !(a <= 2.45e-26)) 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(fma(b, b, 4.0) * b), b, -1.0); end return tmp end
code[a_, b_] := If[Or[LessEqual[a, -8.1e-7], N[Not[LessEqual[a, 2.45e-26]], $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 + 4.0), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -8.1 \cdot 10^{-7} \lor \neg \left(a \leq 2.45 \cdot 10^{-26}\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(\mathsf{fma}\left(b, b, 4\right) \cdot b, b, -1\right)\\
\end{array}
\end{array}
if a < -8.09999999999999974e-7 or 2.45e-26 < a Initial program 55.3%
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.f6472.5
Applied rewrites72.5%
Taylor expanded in b around 0
Applied rewrites97.7%
Taylor expanded in a around inf
Applied rewrites98.4%
if -8.09999999999999974e-7 < a < 2.45e-26Initial 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.4
Applied rewrites99.4%
Taylor expanded in b around 0
Applied rewrites75.9%
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%
Final simplification99.2%
(FPCore (a b)
:precision binary64
(let* ((t_0 (* (+ 4.0 a) a)))
(if (<= a -4500000000000.0)
(fma (* t_0 a) a -1.0)
(if (<= a 700000.0)
(fma (* (fma b b 4.0) b) b -1.0)
(fma t_0 (* a a) -1.0)))))
double code(double a, double b) {
double t_0 = (4.0 + a) * a;
double tmp;
if (a <= -4500000000000.0) {
tmp = fma((t_0 * a), a, -1.0);
} else if (a <= 700000.0) {
tmp = fma((fma(b, b, 4.0) * b), b, -1.0);
} else {
tmp = fma(t_0, (a * a), -1.0);
}
return tmp;
}
function code(a, b) t_0 = Float64(Float64(4.0 + a) * a) tmp = 0.0 if (a <= -4500000000000.0) tmp = fma(Float64(t_0 * a), a, -1.0); elseif (a <= 700000.0) tmp = fma(Float64(fma(b, b, 4.0) * b), b, -1.0); else tmp = fma(t_0, Float64(a * a), -1.0); end return tmp end
code[a_, b_] := Block[{t$95$0 = N[(N[(4.0 + a), $MachinePrecision] * a), $MachinePrecision]}, If[LessEqual[a, -4500000000000.0], N[(N[(t$95$0 * a), $MachinePrecision] * a + -1.0), $MachinePrecision], If[LessEqual[a, 700000.0], N[(N[(N[(b * b + 4.0), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision], N[(t$95$0 * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(4 + a\right) \cdot a\\
\mathbf{if}\;a \leq -4500000000000:\\
\;\;\;\;\mathsf{fma}\left(t\_0 \cdot a, a, -1\right)\\
\mathbf{elif}\;a \leq 700000:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(b, b, 4\right) \cdot b, b, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(t\_0, a \cdot a, -1\right)\\
\end{array}
\end{array}
if a < -4.5e12Initial program 37.3%
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.f6437.3
Applied rewrites37.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 rewrites89.9%
Taylor expanded in a around inf
Applied rewrites89.9%
Applied rewrites90.0%
if -4.5e12 < a < 7e5Initial 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.4
Applied rewrites99.4%
Taylor expanded in b around 0
Applied rewrites77.7%
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.2
Applied rewrites99.2%
if 7e5 < a Initial program 64.4%
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
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 rewrites96.4%
Taylor expanded in a around inf
Applied rewrites96.1%
(FPCore (a b)
:precision binary64
(if (<= a -4500000000000.0)
(- (* (* a a) (* a a)) 1.0)
(if (<= a 700000.0)
(fma (* (fma b b 4.0) b) b -1.0)
(fma (* (+ 4.0 a) a) (* a a) -1.0))))
double code(double a, double b) {
double tmp;
if (a <= -4500000000000.0) {
tmp = ((a * a) * (a * a)) - 1.0;
} else if (a <= 700000.0) {
tmp = fma((fma(b, b, 4.0) * b), b, -1.0);
} else {
tmp = fma(((4.0 + a) * a), (a * a), -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (a <= -4500000000000.0) tmp = Float64(Float64(Float64(a * a) * Float64(a * a)) - 1.0); elseif (a <= 700000.0) tmp = fma(Float64(fma(b, b, 4.0) * b), b, -1.0); else tmp = fma(Float64(Float64(4.0 + a) * a), Float64(a * a), -1.0); end return tmp end
code[a_, b_] := If[LessEqual[a, -4500000000000.0], N[(N[(N[(a * a), $MachinePrecision] * N[(a * a), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision], If[LessEqual[a, 700000.0], N[(N[(N[(b * b + 4.0), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision], N[(N[(N[(4.0 + a), $MachinePrecision] * a), $MachinePrecision] * N[(a * a), $MachinePrecision] + -1.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -4500000000000:\\
\;\;\;\;\left(a \cdot a\right) \cdot \left(a \cdot a\right) - 1\\
\mathbf{elif}\;a \leq 700000:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(b, b, 4\right) \cdot b, b, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\left(4 + a\right) \cdot a, a \cdot a, -1\right)\\
\end{array}
\end{array}
if a < -4.5e12Initial program 37.3%
Taylor expanded in a around inf
lower-pow.f6490.1
Applied rewrites90.1%
Applied rewrites89.9%
if -4.5e12 < a < 7e5Initial 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.4
Applied rewrites99.4%
Taylor expanded in b around 0
Applied rewrites77.7%
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.2
Applied rewrites99.2%
if 7e5 < a Initial program 64.4%
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
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 rewrites96.4%
Taylor expanded in a around inf
Applied rewrites96.1%
(FPCore (a b) :precision binary64 (if (<= (* b b) 2e+118) (fma (* (fma (+ 4.0 a) a 4.0) a) a -1.0) (fma (fma b b 4.0) (* b b) -1.0)))
double code(double a, double b) {
double tmp;
if ((b * b) <= 2e+118) {
tmp = fma((fma((4.0 + a), a, 4.0) * a), a, -1.0);
} else {
tmp = fma(fma(b, b, 4.0), (b * b), -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if (Float64(b * b) <= 2e+118) tmp = fma(Float64(fma(Float64(4.0 + a), a, 4.0) * a), a, -1.0); else tmp = fma(fma(b, b, 4.0), Float64(b * b), -1.0); end return tmp end
code[a_, b_] := If[LessEqual[N[(b * b), $MachinePrecision], 2e+118], N[(N[(N[(N[(4.0 + a), $MachinePrecision] * a + 4.0), $MachinePrecision] * a), $MachinePrecision] * a + -1.0), $MachinePrecision], N[(N[(b * b + 4.0), $MachinePrecision] * N[(b * b), $MachinePrecision] + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \cdot b \leq 2 \cdot 10^{+118}:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(4 + a, a, 4\right) \cdot a, a, -1\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(b, b, 4\right), b \cdot b, -1\right)\\
\end{array}
\end{array}
if (*.f64 b b) < 1.99999999999999993e118Initial program 83.7%
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.f6485.1
Applied rewrites85.1%
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 rewrites93.1%
Applied rewrites93.2%
if 1.99999999999999993e118 < (*.f64 b b) Initial program 66.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.f6487.6
Applied rewrites87.6%
Taylor expanded in a around 0
sub-negN/A
metadata-evalN/A
pow-sqrN/A
distribute-rgt-inN/A
metadata-evalN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
unpow2N/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6498.9
Applied rewrites98.9%
(FPCore (a b) :precision binary64 (if (or (<= a -4500000000000.0) (not (<= a 4100000.0))) (- (* (* a a) (* a a)) 1.0) (fma (* (fma b b 4.0) b) b -1.0)))
double code(double a, double b) {
double tmp;
if ((a <= -4500000000000.0) || !(a <= 4100000.0)) {
tmp = ((a * a) * (a * a)) - 1.0;
} else {
tmp = fma((fma(b, b, 4.0) * b), b, -1.0);
}
return tmp;
}
function code(a, b) tmp = 0.0 if ((a <= -4500000000000.0) || !(a <= 4100000.0)) tmp = Float64(Float64(Float64(a * a) * Float64(a * a)) - 1.0); else tmp = fma(Float64(fma(b, b, 4.0) * b), b, -1.0); end return tmp end
code[a_, b_] := If[Or[LessEqual[a, -4500000000000.0], N[Not[LessEqual[a, 4100000.0]], $MachinePrecision]], N[(N[(N[(a * a), $MachinePrecision] * N[(a * a), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision], N[(N[(N[(b * b + 4.0), $MachinePrecision] * b), $MachinePrecision] * b + -1.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -4500000000000 \lor \neg \left(a \leq 4100000\right):\\
\;\;\;\;\left(a \cdot a\right) \cdot \left(a \cdot a\right) - 1\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\mathsf{fma}\left(b, b, 4\right) \cdot b, b, -1\right)\\
\end{array}
\end{array}
if a < -4.5e12 or 4.1e6 < a Initial program 51.5%
Taylor expanded in a around inf
lower-pow.f6492.4
Applied rewrites92.4%
Applied rewrites92.3%
if -4.5e12 < a < 4.1e6Initial 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.4
Applied rewrites99.4%
Taylor expanded in b around 0
Applied rewrites77.7%
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.2
Applied rewrites99.2%
Final simplification96.0%
(FPCore (a b)
:precision binary64
(if (<= a -6.5e+138)
(* (* a a) 4.0)
(if (<= a 3.6e+89)
(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.5e+138) {
tmp = (a * a) * 4.0;
} else if (a <= 3.6e+89) {
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.5e+138) tmp = Float64(Float64(a * a) * 4.0); elseif (a <= 3.6e+89) 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.5e+138], N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision], If[LessEqual[a, 3.6e+89], 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.5 \cdot 10^{+138}:\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\mathbf{elif}\;a \leq 3.6 \cdot 10^{+89}:\\
\;\;\;\;\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.50000000000000054e138Initial 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 rewrites93.1%
Taylor expanded in a around inf
Applied rewrites93.1%
if -6.50000000000000054e138 < a < 3.6e89Initial program 92.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.f6494.6
Applied rewrites94.6%
Taylor expanded in b around 0
Applied rewrites82.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.f6482.9
Applied rewrites82.9%
if 3.6e89 < a Initial program 60.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 inf
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites95.9%
(FPCore (a b)
:precision binary64
(if (<= a -6.5e+138)
(* (* a a) 4.0)
(if (<= a 3.6e+89)
(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.5e+138) {
tmp = (a * a) * 4.0;
} else if (a <= 3.6e+89) {
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.5e+138) tmp = Float64(Float64(a * a) * 4.0); elseif (a <= 3.6e+89) 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.5e+138], N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision], If[LessEqual[a, 3.6e+89], 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.5 \cdot 10^{+138}:\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\mathbf{elif}\;a \leq 3.6 \cdot 10^{+89}:\\
\;\;\;\;\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.50000000000000054e138Initial 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 rewrites93.1%
Taylor expanded in a around inf
Applied rewrites93.1%
if -6.50000000000000054e138 < a < 3.6e89Initial program 92.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.f6494.6
Applied rewrites94.6%
Taylor expanded in b around 0
Applied rewrites82.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.f6482.9
Applied rewrites82.9%
Taylor expanded in b around inf
Applied rewrites82.5%
if 3.6e89 < a Initial program 60.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 inf
Applied rewrites100.0%
Taylor expanded in a around 0
Applied rewrites95.9%
(FPCore (a b) :precision binary64 (if (<= a -6.5e+138) (* (* a a) 4.0) (if (<= a 1.2e+89) (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.5e+138) {
tmp = (a * a) * 4.0;
} else if (a <= 1.2e+89) {
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.5e+138) tmp = Float64(Float64(a * a) * 4.0); elseif (a <= 1.2e+89) 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.5e+138], N[(N[(a * a), $MachinePrecision] * 4.0), $MachinePrecision], If[LessEqual[a, 1.2e+89], 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.5 \cdot 10^{+138}:\\
\;\;\;\;\left(a \cdot a\right) \cdot 4\\
\mathbf{elif}\;a \leq 1.2 \cdot 10^{+89}:\\
\;\;\;\;\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.50000000000000054e138Initial 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 rewrites93.1%
Taylor expanded in a around inf
Applied rewrites93.1%
if -6.50000000000000054e138 < a < 1.20000000000000002e89Initial program 93.3%
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.f6494.6
Applied rewrites94.6%
Taylor expanded in b around 0
Applied rewrites82.2%
Taylor expanded in a around 0
Applied rewrites63.6%
if 1.20000000000000002e89 < a Initial program 58.7%
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 rewrites94.0%
(FPCore (a b) :precision binary64 (if (or (<= a -6.5e+138) (not (<= a 3.2e+153))) (* (* a a) 4.0) (fma (* b b) 4.0 -1.0)))
double code(double a, double b) {
double tmp;
if ((a <= -6.5e+138) || !(a <= 3.2e+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.5e+138) || !(a <= 3.2e+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.5e+138], N[Not[LessEqual[a, 3.2e+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.5 \cdot 10^{+138} \lor \neg \left(a \leq 3.2 \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.50000000000000054e138 or 3.2000000000000001e153 < a Initial program 31.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.f6454.4
Applied rewrites54.4%
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 rewrites96.8%
Taylor expanded in a around inf
Applied rewrites96.8%
if -6.50000000000000054e138 < a < 3.2000000000000001e153Initial program 90.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.f6495.0
Applied rewrites95.0%
Taylor expanded in b around 0
Applied rewrites83.5%
Taylor expanded in a around 0
Applied rewrites61.0%
Final simplification69.0%
(FPCore (a b) :precision binary64 (if (<= (* b b) 3.9e+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) <= 3.9e+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) <= 3.9e+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], 3.9e+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 3.9 \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) < 3.9000000000000001e307Initial program 82.5%
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.f6486.1
Applied rewrites86.1%
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 rewrites81.6%
Taylor expanded in a around 0
Applied rewrites60.9%
if 3.9000000000000001e307 < (*.f64 b b) Initial program 59.3%
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.f6485.2
Applied rewrites85.2%
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 77.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.f6485.9
Applied rewrites85.9%
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 rewrites73.2%
Taylor expanded in a around 0
Applied rewrites30.1%
herbie shell --seed 2024318
(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))