\(\int (-2+(-2+(-2+(-2+x^2)^2)^2)^2) \, dx\) [316]

Optimal result

Integrand size = 17, antiderivative size = 54 \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=2 x-\frac {64 x^3}{3}+\frac {336 x^5}{5}-96 x^7+\frac {220 x^9}{3}-32 x^{11}+8 x^{13}-\frac {16 x^{15}}{15}+\frac {x^{17}}{17} \]

[Out]

2*x-64/3*x^3+336/5*x^5-96*x^7+220/3*x^9-32*x^11+8*x^13-16/15*x^15+1/17*x^17

Rubi [A] (verified)

Time = 0.02 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.059, Rules used = {2086} \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=\frac {x^{17}}{17}-\frac {16 x^{15}}{15}+8 x^{13}-32 x^{11}+\frac {220 x^9}{3}-96 x^7+\frac {336 x^5}{5}-\frac {64 x^3}{3}+2 x \]

[In]

Int[-2 + (-2 + (-2 + (-2 + x^2)^2)^2)^2,x]

[Out]

2*x - (64*x^3)/3 + (336*x^5)/5 - 96*x^7 + (220*x^9)/3 - 32*x^11 + 8*x^13 - (16*x^15)/15 + x^17/17

Rule 2086

Int[(P_)^(p_), x_Symbol] :> Int[ExpandToSum[P^p, x], x] /; PolyQ[P, x] && IGtQ[p, 0]

Rubi steps \begin{align*} \text {integral}& = -2 x+\int \left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2 \, dx \\ & = -2 x+\int \left (4-64 x^2+336 x^4-672 x^6+660 x^8-352 x^{10}+104 x^{12}-16 x^{14}+x^{16}\right ) \, dx \\ & = 2 x-\frac {64 x^3}{3}+\frac {336 x^5}{5}-96 x^7+\frac {220 x^9}{3}-32 x^{11}+8 x^{13}-\frac {16 x^{15}}{15}+\frac {x^{17}}{17} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.00 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.00 \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=2 x-\frac {64 x^3}{3}+\frac {336 x^5}{5}-96 x^7+\frac {220 x^9}{3}-32 x^{11}+8 x^{13}-\frac {16 x^{15}}{15}+\frac {x^{17}}{17} \]

[In]

Integrate[-2 + (-2 + (-2 + (-2 + x^2)^2)^2)^2,x]

[Out]

2*x - (64*x^3)/3 + (336*x^5)/5 - 96*x^7 + (220*x^9)/3 - 32*x^11 + 8*x^13 - (16*x^15)/15 + x^17/17

Maple [A] (verified)

Time = 0.20 (sec) , antiderivative size = 45, normalized size of antiderivative = 0.83

method	result	size
default	\(2 x -\frac {64}{3} x^{3}+\frac {336}{5} x^{5}-96 x^{7}+\frac {220}{3} x^{9}-32 x^{11}+8 x^{13}-\frac {16}{15} x^{15}+\frac {1}{17} x^{17}\)	\(45\)
norman	\(2 x -\frac {64}{3} x^{3}+\frac {336}{5} x^{5}-96 x^{7}+\frac {220}{3} x^{9}-32 x^{11}+8 x^{13}-\frac {16}{15} x^{15}+\frac {1}{17} x^{17}\)	\(45\)
risch	\(2 x -\frac {64}{3} x^{3}+\frac {336}{5} x^{5}-96 x^{7}+\frac {220}{3} x^{9}-32 x^{11}+8 x^{13}-\frac {16}{15} x^{15}+\frac {1}{17} x^{17}\)	\(45\)
parallelrisch	\(2 x -\frac {64}{3} x^{3}+\frac {336}{5} x^{5}-96 x^{7}+\frac {220}{3} x^{9}-32 x^{11}+8 x^{13}-\frac {16}{15} x^{15}+\frac {1}{17} x^{17}\)	\(45\)
parts	\(2 x -\frac {64}{3} x^{3}+\frac {336}{5} x^{5}-96 x^{7}+\frac {220}{3} x^{9}-32 x^{11}+8 x^{13}-\frac {16}{15} x^{15}+\frac {1}{17} x^{17}\)	\(45\)
gosper	\(\frac {x \left (15 x^{16}-272 x^{14}+2040 x^{12}-8160 x^{10}+18700 x^{8}-24480 x^{6}+17136 x^{4}-5440 x^{2}+510\right )}{255}\)	\(46\)

[In]

int((((x^2-2)^2-2)^2-2)^2-2,x,method=_RETURNVERBOSE)

[Out]

2*x-64/3*x^3+336/5*x^5-96*x^7+220/3*x^9-32*x^11+8*x^13-16/15*x^15+1/17*x^17

Fricas [A] (verification not implemented)

none

Time = 0.23 (sec) , antiderivative size = 44, normalized size of antiderivative = 0.81 \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=\frac {1}{17} \, x^{17} - \frac {16}{15} \, x^{15} + 8 \, x^{13} - 32 \, x^{11} + \frac {220}{3} \, x^{9} - 96 \, x^{7} + \frac {336}{5} \, x^{5} - \frac {64}{3} \, x^{3} + 2 \, x \]

[In]

integrate((((x^2-2)^2-2)^2-2)^2-2,x, algorithm="fricas")

[Out]

1/17*x^17 - 16/15*x^15 + 8*x^13 - 32*x^11 + 220/3*x^9 - 96*x^7 + 336/5*x^5 - 64/3*x^3 + 2*x

Sympy [A] (verification not implemented)

Time = 0.02 (sec) , antiderivative size = 49, normalized size of antiderivative = 0.91 \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=\frac {x^{17}}{17} - \frac {16 x^{15}}{15} + 8 x^{13} - 32 x^{11} + \frac {220 x^{9}}{3} - 96 x^{7} + \frac {336 x^{5}}{5} - \frac {64 x^{3}}{3} + 2 x \]

[In]

integrate((((x**2-2)**2-2)**2-2)**2-2,x)

[Out]

x**17/17 - 16*x**15/15 + 8*x**13 - 32*x**11 + 220*x**9/3 - 96*x**7 + 336*x**5/5 - 64*x**3/3 + 2*x

Maxima [A] (verification not implemented)

none

Time = 0.21 (sec) , antiderivative size = 44, normalized size of antiderivative = 0.81 \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=\frac {1}{17} \, x^{17} - \frac {16}{15} \, x^{15} + 8 \, x^{13} - 32 \, x^{11} + \frac {220}{3} \, x^{9} - 96 \, x^{7} + \frac {336}{5} \, x^{5} - \frac {64}{3} \, x^{3} + 2 \, x \]

[In]

integrate((((x^2-2)^2-2)^2-2)^2-2,x, algorithm="maxima")

[Out]

1/17*x^17 - 16/15*x^15 + 8*x^13 - 32*x^11 + 220/3*x^9 - 96*x^7 + 336/5*x^5 - 64/3*x^3 + 2*x

Giac [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 44, normalized size of antiderivative = 0.81 \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=\frac {1}{17} \, x^{17} - \frac {16}{15} \, x^{15} + 8 \, x^{13} - 32 \, x^{11} + \frac {220}{3} \, x^{9} - 96 \, x^{7} + \frac {336}{5} \, x^{5} - \frac {64}{3} \, x^{3} + 2 \, x \]

[In]

integrate((((x^2-2)^2-2)^2-2)^2-2,x, algorithm="giac")

[Out]

1/17*x^17 - 16/15*x^15 + 8*x^13 - 32*x^11 + 220/3*x^9 - 96*x^7 + 336/5*x^5 - 64/3*x^3 + 2*x

Mupad [B] (verification not implemented)

Time = 0.11 (sec) , antiderivative size = 44, normalized size of antiderivative = 0.81 \[ \int \left (-2+\left (-2+\left (-2+\left (-2+x^2\right )^2\right )^2\right )^2\right ) \, dx=\frac {x^{17}}{17}-\frac {16\,x^{15}}{15}+8\,x^{13}-32\,x^{11}+\frac {220\,x^9}{3}-96\,x^7+\frac {336\,x^5}{5}-\frac {64\,x^3}{3}+2\,x \]

[In]

int((((x^2 - 2)^2 - 2)^2 - 2)^2 - 2,x)

[Out]

2*x - (64*x^3)/3 + (336*x^5)/5 - 96*x^7 + (220*x^9)/3 - 32*x^11 + 8*x^13 - (16*x^15)/15 + x^17/17