### 3.127 $$\int \frac{x^2 (b+2 c x^3)}{(b x^3+c x^6)^8} \, dx$$

Optimal. Leaf size=16 $-\frac{1}{21 x^{21} \left (b+c x^3\right )^7}$

[Out]

-1/(21*x^21*(b + c*x^3)^7)

________________________________________________________________________________________

Rubi [A]  time = 0.0253234, antiderivative size = 16, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 25, $$\frac{\text{number of rules}}{\text{integrand size}}$$ = 0.12, Rules used = {1584, 446, 74} $-\frac{1}{21 x^{21} \left (b+c x^3\right )^7}$

Antiderivative was successfully veriﬁed.

[In]

Int[(x^2*(b + 2*c*x^3))/(b*x^3 + c*x^6)^8,x]

[Out]

-1/(21*x^21*(b + c*x^3)^7)

Rule 1584

Int[(u_.)*(x_)^(m_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(m + n*p)*(a + b*x^(q -
p))^n, x] /; FreeQ[{a, b, m, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rule 446

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n_))^(q_.), x_Symbol] :> Dist[1/n, Subst[Int
[x^(Simplify[(m + 1)/n] - 1)*(a + b*x)^p*(c + d*x)^q, x], x, x^n], x] /; FreeQ[{a, b, c, d, m, n, p, q}, x] &&
NeQ[b*c - a*d, 0] && IntegerQ[Simplify[(m + 1)/n]]

Rule 74

Int[((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Simp[(b*(c + d*x)
^(n + 1)*(e + f*x)^(p + 1))/(d*f*(n + p + 2)), x] /; FreeQ[{a, b, c, d, e, f, n, p}, x] && NeQ[n + p + 2, 0] &
& EqQ[a*d*f*(n + p + 2) - b*(d*e*(n + 1) + c*f*(p + 1)), 0]

Rubi steps

\begin{align*} \int \frac{x^2 \left (b+2 c x^3\right )}{\left (b x^3+c x^6\right )^8} \, dx &=\int \frac{b+2 c x^3}{x^{22} \left (b+c x^3\right )^8} \, dx\\ &=\frac{1}{3} \operatorname{Subst}\left (\int \frac{b+2 c x}{x^8 (b+c x)^8} \, dx,x,x^3\right )\\ &=-\frac{1}{21 x^{21} \left (b+c x^3\right )^7}\\ \end{align*}

Mathematica [A]  time = 0.0348261, size = 16, normalized size = 1. $-\frac{1}{21 x^{21} \left (b+c x^3\right )^7}$

Antiderivative was successfully veriﬁed.

[In]

Integrate[(x^2*(b + 2*c*x^3))/(b*x^3 + c*x^6)^8,x]

[Out]

-1/(21*x^21*(b + c*x^3)^7)

________________________________________________________________________________________

Maple [B]  time = 0.013, size = 197, normalized size = 12.3 \begin{align*} -{\frac{{c}^{8}}{3\,{b}^{13}} \left ( -132\,{\frac{1}{c \left ( c{x}^{3}+b \right ) }}-{\frac{{b}^{5}}{c \left ( c{x}^{3}+b \right ) ^{6}}}-4\,{\frac{{b}^{4}}{c \left ( c{x}^{3}+b \right ) ^{5}}}-12\,{\frac{{b}^{3}}{c \left ( c{x}^{3}+b \right ) ^{4}}}-30\,{\frac{{b}^{2}}{c \left ( c{x}^{3}+b \right ) ^{3}}}-{\frac{{b}^{6}}{7\,c \left ( c{x}^{3}+b \right ) ^{7}}}-66\,{\frac{b}{c \left ( c{x}^{3}+b \right ) ^{2}}} \right ) }-{\frac{1}{21\,{b}^{7}{x}^{21}}}-44\,{\frac{{c}^{6}}{{b}^{13}{x}^{3}}}+22\,{\frac{{c}^{5}}{{b}^{12}{x}^{6}}}-10\,{\frac{{c}^{4}}{{b}^{11}{x}^{9}}}+4\,{\frac{{c}^{3}}{{b}^{10}{x}^{12}}}-{\frac{4\,{c}^{2}}{3\,{b}^{9}{x}^{15}}}+{\frac{c}{3\,{b}^{8}{x}^{18}}} \end{align*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

int(x^2*(2*c*x^3+b)/(c*x^6+b*x^3)^8,x)

[Out]

-1/3*c^8/b^13*(-132/c/(c*x^3+b)-1/c*b^5/(c*x^3+b)^6-4/c*b^4/(c*x^3+b)^5-12/c*b^3/(c*x^3+b)^4-30*b^2/c/(c*x^3+b
)^3-1/7/c*b^6/(c*x^3+b)^7-66/c*b/(c*x^3+b)^2)-1/21/b^7/x^21-44/b^13*c^6/x^3+22/b^12*c^5/x^6-10/b^11*c^4/x^9+4/
b^10*c^3/x^12-4/3/b^9*c^2/x^15+1/3/b^8*c/x^18

________________________________________________________________________________________

Maxima [B]  time = 1.08584, size = 109, normalized size = 6.81 \begin{align*} -\frac{1}{21 \,{\left (c^{7} x^{42} + 7 \, b c^{6} x^{39} + 21 \, b^{2} c^{5} x^{36} + 35 \, b^{3} c^{4} x^{33} + 35 \, b^{4} c^{3} x^{30} + 21 \, b^{5} c^{2} x^{27} + 7 \, b^{6} c x^{24} + b^{7} x^{21}\right )}} \end{align*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^2*(2*c*x^3+b)/(c*x^6+b*x^3)^8,x, algorithm="maxima")

[Out]

-1/21/(c^7*x^42 + 7*b*c^6*x^39 + 21*b^2*c^5*x^36 + 35*b^3*c^4*x^33 + 35*b^4*c^3*x^30 + 21*b^5*c^2*x^27 + 7*b^6
*c*x^24 + b^7*x^21)

________________________________________________________________________________________

Fricas [B]  time = 1.13802, size = 177, normalized size = 11.06 \begin{align*} -\frac{1}{21 \,{\left (c^{7} x^{42} + 7 \, b c^{6} x^{39} + 21 \, b^{2} c^{5} x^{36} + 35 \, b^{3} c^{4} x^{33} + 35 \, b^{4} c^{3} x^{30} + 21 \, b^{5} c^{2} x^{27} + 7 \, b^{6} c x^{24} + b^{7} x^{21}\right )}} \end{align*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^2*(2*c*x^3+b)/(c*x^6+b*x^3)^8,x, algorithm="fricas")

[Out]

-1/21/(c^7*x^42 + 7*b*c^6*x^39 + 21*b^2*c^5*x^36 + 35*b^3*c^4*x^33 + 35*b^4*c^3*x^30 + 21*b^5*c^2*x^27 + 7*b^6
*c*x^24 + b^7*x^21)

________________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate(x**2*(2*c*x**3+b)/(c*x**6+b*x**3)**8,x)

[Out]

Timed out

________________________________________________________________________________________

Giac [A]  time = 1.12139, size = 20, normalized size = 1.25 \begin{align*} -\frac{1}{21 \,{\left (c x^{6} + b x^{3}\right )}^{7}} \end{align*}

Veriﬁcation of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^2*(2*c*x^3+b)/(c*x^6+b*x^3)^8,x, algorithm="giac")

[Out]

-1/21/(c*x^6 + b*x^3)^7