3.1.50 \(\int x^4 (1+x^5)^5 \, dx\) [50]

Optimal. Leaf size=11 \[ \frac {1}{30} \left (1+x^5\right )^6 \]

[Out]

1/30*(x^5+1)^6

________________________________________________________________________________________

Rubi [A]
time = 0.00, antiderivative size = 11, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {267} \begin {gather*} \frac {1}{30} \left (x^5+1\right )^6 \end {gather*}

Antiderivative was successfully verified.

[In]

Int[x^4*(1 + x^5)^5,x]

[Out]

(1 + x^5)^6/30

Rule 267

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(a + b*x^n)^(p + 1)/(b*n*(p + 1)), x] /; FreeQ
[{a, b, m, n, p}, x] && EqQ[m, n - 1] && NeQ[p, -1]

Rubi steps

\begin {align*} \int x^4 \left (1+x^5\right )^5 \, dx &=\frac {1}{30} \left (1+x^5\right )^6\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(43\) vs. \(2(11)=22\).
time = 0.00, size = 43, normalized size = 3.91 \begin {gather*} \frac {x^5}{5}+\frac {x^{10}}{2}+\frac {2 x^{15}}{3}+\frac {x^{20}}{2}+\frac {x^{25}}{5}+\frac {x^{30}}{30} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[x^4*(1 + x^5)^5,x]

[Out]

x^5/5 + x^10/2 + (2*x^15)/3 + x^20/2 + x^25/5 + x^30/30

________________________________________________________________________________________

Maple [A]
time = 0.06, size = 10, normalized size = 0.91

method	result	size
default	\(\frac {\left (x^{5}+1\right )^{6}}{30}\)	\(10\)
gosper	\(\frac {x^{5} \left (x^{25}+6 x^{20}+15 x^{15}+20 x^{10}+15 x^{5}+6\right )}{30}\)	\(31\)
norman	\(\frac {1}{5} x^{5}+\frac {1}{2} x^{10}+\frac {2}{3} x^{15}+\frac {1}{2} x^{20}+\frac {1}{5} x^{25}+\frac {1}{30} x^{30}\)	\(32\)
risch	\(\frac {1}{30} x^{30}+\frac {1}{5} x^{25}+\frac {1}{2} x^{20}+\frac {2}{3} x^{15}+\frac {1}{2} x^{10}+\frac {1}{5} x^{5}+\frac {1}{30}\)	\(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x^4*(x^5+1)^5,x,method=_RETURNVERBOSE)

[Out]

1/30*(x^5+1)^6

________________________________________________________________________________________

Maxima [A]
time = 1.30, size = 9, normalized size = 0.82 \begin {gather*} \frac {1}{30} \, {\left (x^{5} + 1\right )}^{6} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^4*(x^5+1)^5,x, algorithm="maxima")

[Out]

1/30*(x^5 + 1)^6

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 31 vs. \(2 (9) = 18\).
time = 1.11, size = 31, normalized size = 2.82 \begin {gather*} \frac {1}{30} \, x^{30} + \frac {1}{5} \, x^{25} + \frac {1}{2} \, x^{20} + \frac {2}{3} \, x^{15} + \frac {1}{2} \, x^{10} + \frac {1}{5} \, x^{5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^4*(x^5+1)^5,x, algorithm="fricas")

[Out]

1/30*x^30 + 1/5*x^25 + 1/2*x^20 + 2/3*x^15 + 1/2*x^10 + 1/5*x^5

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 31 vs. \(2 (7) = 14\).
time = 0.01, size = 31, normalized size = 2.82 \begin {gather*} \frac {x^{30}}{30} + \frac {x^{25}}{5} + \frac {x^{20}}{2} + \frac {2 x^{15}}{3} + \frac {x^{10}}{2} + \frac {x^{5}}{5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x**4*(x**5+1)**5,x)

[Out]

x**30/30 + x**25/5 + x**20/2 + 2*x**15/3 + x**10/2 + x**5/5

________________________________________________________________________________________

Giac [A]
time = 0.44, size = 9, normalized size = 0.82 \begin {gather*} \frac {1}{30} \, {\left (x^{5} + 1\right )}^{6} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^4*(x^5+1)^5,x, algorithm="giac")

[Out]

1/30*(x^5 + 1)^6

________________________________________________________________________________________

Mupad [B]
time = 0.03, size = 31, normalized size = 2.82 \begin {gather*} \frac {x^{30}}{30}+\frac {x^{25}}{5}+\frac {x^{20}}{2}+\frac {2\,x^{15}}{3}+\frac {x^{10}}{2}+\frac {x^5}{5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x^4*(x^5 + 1)^5,x)

[Out]

x^5/5 + x^10/2 + (2*x^15)/3 + x^20/2 + x^25/5 + x^30/30

________________________________________________________________________________________