3.32 \(\int (6+3 x^a+2 x^{2 a})^{\frac {1}{a}} (x^a+x^{2 a}+x^{3 a}) \, dx\)

Optimal. Leaf size=34 \[ \frac {x^{a+1} \left (2 x^{2 a}+3 x^a+6\right )^{\frac {1}{a}+1}}{6 (a+1)} \]

[Out]

1/6*x^(1+a)*(6+3*x^a+2*x^(2*a))^(1+1/a)/(1+a)

________________________________________________________________________________________

Rubi [A]  time = 0.04, antiderivative size = 34, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.061, Rules used = {1594, 1747} \[ \frac {x^{a+1} \left (3 x^a+2 x^{2 a}+6\right )^{\frac {1}{a}+1}}{6 (a+1)} \]

Antiderivative was successfully verified.

[In]

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

[Out]

(x^(1 + a)*(6 + 3*x^a + 2*x^(2*a))^(1 + a^(-1)))/(6*(1 + a))

Rule 1594

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

Rule 1747

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

Rubi steps

\begin {align*} \int \left (6+3 x^a+2 x^{2 a}\right )^{\frac {1}{a}} \left (x^a+x^{2 a}+x^{3 a}\right ) \, dx &=\int x^a \left (1+x^a+x^{2 a}\right ) \left (6+3 x^a+2 x^{2 a}\right )^{\frac {1}{a}} \, dx\\ &=\frac {x^{1+a} \left (6+3 x^a+2 x^{2 a}\right )^{1+\frac {1}{a}}}{6 (1+a)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.13, size = 33, normalized size = 0.97 \[ \frac {x^{a+1} \left (2 x^{2 a}+3 x^a+6\right )^{\frac {1}{a}+1}}{6 a+6} \]

Antiderivative was successfully verified.

[In]

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

[Out]

(x^(1 + a)*(6 + 3*x^a + 2*x^(2*a))^(1 + a^(-1)))/(6 + 6*a)

________________________________________________________________________________________

fricas [A]  time = 0.94, size = 48, normalized size = 1.41 \[ \frac {{\left (2 \, x x^{3 \, a} + 3 \, x x^{2 \, a} + 6 \, x x^{a}\right )} {\left (2 \, x^{2 \, a} + 3 \, x^{a} + 6\right )}^{\left (\frac {1}{a}\right )}}{6 \, {\left (a + 1\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6+3*x^a+2*x^(2*a))^(1/a)*(x^a+x^(2*a)+x^(3*a)),x, algorithm="fricas")

[Out]

1/6*(2*x*x^(3*a) + 3*x*x^(2*a) + 6*x*x^a)*(2*x^(2*a) + 3*x^a + 6)^(1/a)/(a + 1)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int {\left (2 \, x^{2 \, a} + 3 \, x^{a} + 6\right )}^{\left (\frac {1}{a}\right )} {\left (x^{3 \, a} + x^{2 \, a} + x^{a}\right )}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6+3*x^a+2*x^(2*a))^(1/a)*(x^a+x^(2*a)+x^(3*a)),x, algorithm="giac")

[Out]

integrate((2*x^(2*a) + 3*x^a + 6)^(1/a)*(x^(3*a) + x^(2*a) + x^a), x)

________________________________________________________________________________________

maple [A]  time = 0.05, size = 44, normalized size = 1.29 \[ \frac {\left (3 x^{a}+2 x^{2 a}+6\right ) x \,x^{a} \left (3 x^{a}+2 x^{2 a}+6\right )^{\frac {1}{a}}}{6 a +6} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((6+3*x^a+2*x^(2*a))^(1/a)*(x^a+x^(2*a)+x^(3*a)),x)

[Out]

1/6*x*x^a*(6+3*x^a+2*(x^a)^2)/(a+1)*(6+3*x^a+2*(x^a)^2)^(1/a)

________________________________________________________________________________________

maxima [A]  time = 0.90, size = 48, normalized size = 1.41 \[ \frac {{\left (2 \, x x^{3 \, a} + 3 \, x x^{2 \, a} + 6 \, x x^{a}\right )} {\left (2 \, x^{2 \, a} + 3 \, x^{a} + 6\right )}^{\left (\frac {1}{a}\right )}}{6 \, {\left (a + 1\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6+3*x^a+2*x^(2*a))^(1/a)*(x^a+x^(2*a)+x^(3*a)),x, algorithm="maxima")

[Out]

1/6*(2*x*x^(3*a) + 3*x*x^(2*a) + 6*x*x^a)*(2*x^(2*a) + 3*x^a + 6)^(1/a)/(a + 1)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.03 \[ \int \left (x^a+x^{2\,a}+x^{3\,a}\right )\,{\left (3\,x^a+2\,x^{2\,a}+6\right )}^{1/a} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x^a + x^(2*a) + x^(3*a))*(3*x^a + 2*x^(2*a) + 6)^(1/a),x)

[Out]

int((x^a + x^(2*a) + x^(3*a))*(3*x^a + 2*x^(2*a) + 6)^(1/a), x)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6+3*x**a+2*x**(2*a))**(1/a)*(x**a+x**(2*a)+x**(3*a)),x)

[Out]

Timed out

________________________________________________________________________________________