3.5.79 \(\int (1-2 x-2 x^2)^3 \, dx\) [479]

Optimal. Leaf size=36 \[ x-3 x^2+2 x^3+4 x^4-\frac {12 x^5}{5}-4 x^6-\frac {8 x^7}{7} \]

[Out]

x-3*x^2+2*x^3+4*x^4-12/5*x^5-4*x^6-8/7*x^7

________________________________________________________________________________________

Rubi [A]
time = 0.01, antiderivative size = 36, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.083, Rules used = {625} \begin {gather*} -\frac {8 x^7}{7}-4 x^6-\frac {12 x^5}{5}+4 x^4+2 x^3-3 x^2+x \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(1 - 2*x - 2*x^2)^3,x]

[Out]

x - 3*x^2 + 2*x^3 + 4*x^4 - (12*x^5)/5 - 4*x^6 - (8*x^7)/7

Rule 625

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Int[ExpandIntegrand[(a + b*x + c*x^2)^p, x], x] /;
FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0] && IGtQ[p, 0] && (EqQ[a, 0] ||  !PerfectSquareQ[b^2 - 4*a*c])

Rubi steps

\begin {align*} \int \left (1-2 x-2 x^2\right )^3 \, dx &=\int \left (1-6 x+6 x^2+16 x^3-12 x^4-24 x^5-8 x^6\right ) \, dx\\ &=x-3 x^2+2 x^3+4 x^4-\frac {12 x^5}{5}-4 x^6-\frac {8 x^7}{7}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.00, size = 36, normalized size = 1.00 \begin {gather*} x-3 x^2+2 x^3+4 x^4-\frac {12 x^5}{5}-4 x^6-\frac {8 x^7}{7} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(1 - 2*x - 2*x^2)^3,x]

[Out]

x - 3*x^2 + 2*x^3 + 4*x^4 - (12*x^5)/5 - 4*x^6 - (8*x^7)/7

________________________________________________________________________________________

Maple [A]
time = 0.12, size = 33, normalized size = 0.92

method	result	size
default	\(x -3 x^{2}+2 x^{3}+4 x^{4}-\frac {12}{5} x^{5}-4 x^{6}-\frac {8}{7} x^{7}\)	\(33\)
norman	\(x -3 x^{2}+2 x^{3}+4 x^{4}-\frac {12}{5} x^{5}-4 x^{6}-\frac {8}{7} x^{7}\)	\(33\)
risch	\(x -3 x^{2}+2 x^{3}+4 x^{4}-\frac {12}{5} x^{5}-4 x^{6}-\frac {8}{7} x^{7}\)	\(33\)
gosper	\(-\frac {x \left (40 x^{6}+140 x^{5}+84 x^{4}-140 x^{3}-70 x^{2}+105 x -35\right )}{35}\)	\(34\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-2*x^2-2*x+1)^3,x,method=_RETURNVERBOSE)

[Out]

x-3*x^2+2*x^3+4*x^4-12/5*x^5-4*x^6-8/7*x^7

________________________________________________________________________________________

Maxima [A]
time = 1.11, size = 32, normalized size = 0.89 \begin {gather*} -\frac {8}{7} \, x^{7} - 4 \, x^{6} - \frac {12}{5} \, x^{5} + 4 \, x^{4} + 2 \, x^{3} - 3 \, x^{2} + x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x^2-2*x+1)^3,x, algorithm="maxima")

[Out]

-8/7*x^7 - 4*x^6 - 12/5*x^5 + 4*x^4 + 2*x^3 - 3*x^2 + x

________________________________________________________________________________________

Fricas [A]
time = 1.15, size = 32, normalized size = 0.89 \begin {gather*} -\frac {8}{7} \, x^{7} - 4 \, x^{6} - \frac {12}{5} \, x^{5} + 4 \, x^{4} + 2 \, x^{3} - 3 \, x^{2} + x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x^2-2*x+1)^3,x, algorithm="fricas")

[Out]

-8/7*x^7 - 4*x^6 - 12/5*x^5 + 4*x^4 + 2*x^3 - 3*x^2 + x

________________________________________________________________________________________

Sympy [A]
time = 0.01, size = 34, normalized size = 0.94 \begin {gather*} - \frac {8 x^{7}}{7} - 4 x^{6} - \frac {12 x^{5}}{5} + 4 x^{4} + 2 x^{3} - 3 x^{2} + x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x**2-2*x+1)**3,x)

[Out]

-8*x**7/7 - 4*x**6 - 12*x**5/5 + 4*x**4 + 2*x**3 - 3*x**2 + x

________________________________________________________________________________________

Giac [A]
time = 0.79, size = 32, normalized size = 0.89 \begin {gather*} -\frac {8}{7} \, x^{7} - 4 \, x^{6} - \frac {12}{5} \, x^{5} + 4 \, x^{4} + 2 \, x^{3} - 3 \, x^{2} + x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x^2-2*x+1)^3,x, algorithm="giac")

[Out]

-8/7*x^7 - 4*x^6 - 12/5*x^5 + 4*x^4 + 2*x^3 - 3*x^2 + x

________________________________________________________________________________________

Mupad [B]
time = 0.03, size = 32, normalized size = 0.89 \begin {gather*} -\frac {8\,x^7}{7}-4\,x^6-\frac {12\,x^5}{5}+4\,x^4+2\,x^3-3\,x^2+x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(2*x + 2*x^2 - 1)^3,x)

[Out]

x - 3*x^2 + 2*x^3 + 4*x^4 - (12*x^5)/5 - 4*x^6 - (8*x^7)/7

________________________________________________________________________________________