3.2 \(\int (a^3+3 a^2 b x+3 a b^2 x^2+b^3 x^3)^p \, dx\)

Optimal. Leaf size=30 \[ \frac {\left (\frac {a}{b}+x\right ) \left (b^3 \left (\frac {a}{b}+x\right )^3\right )^p}{3 p+1} \]

[Out]

(a/b+x)*(b^3*(a/b+x)^3)^p/(1+3*p)

________________________________________________________________________________________

Rubi [A]  time = 0.02, antiderivative size = 30, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.103, Rules used = {2067, 15, 30} \[ \frac {\left (\frac {a}{b}+x\right ) \left (b^3 \left (\frac {a}{b}+x\right )^3\right )^p}{3 p+1} \]

Antiderivative was successfully verified.

[In]

Int[(a^3 + 3*a^2*b*x + 3*a*b^2*x^2 + b^3*x^3)^p,x]

[Out]

((a/b + x)*(b^3*(a/b + x)^3)^p)/(1 + 3*p)

Rule 15

Int[(u_.)*((a_.)*(x_)^(n_))^(m_), x_Symbol] :> Dist[(a^IntPart[m]*(a*x^n)^FracPart[m])/x^(n*FracPart[m]), Int[
u*x^(m*n), x], x] /; FreeQ[{a, m, n}, x] &&  !IntegerQ[m]

Rule 30

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Rule 2067

Int[(P3_)^(p_), x_Symbol] :> With[{a = Coeff[P3, x, 0], b = Coeff[P3, x, 1], c = Coeff[P3, x, 2], d = Coeff[P3
, x, 3]}, Subst[Int[Simp[(2*c^3 - 9*b*c*d + 27*a*d^2)/(27*d^2) - ((c^2 - 3*b*d)*x)/(3*d) + d*x^3, x]^p, x], x,
x + c/(3*d)] /; NeQ[c, 0]] /; FreeQ[p, x] && PolyQ[P3, x, 3]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.11, size = 23, normalized size = 0.77 \[ \frac {(a+b x) \left ((a+b x)^3\right )^p}{3 b p+b} \]

Antiderivative was successfully verified.

[In]

Integrate[(a^3 + 3*a^2*b*x + 3*a*b^2*x^2 + b^3*x^3)^p,x]

[Out]

((a + b*x)*((a + b*x)^3)^p)/(b + 3*b*p)

________________________________________________________________________________________

fricas [A]  time = 0.86, size = 43, normalized size = 1.43 \[ \frac {{\left (b x + a\right )} {\left (b^{3} x^{3} + 3 \, a b^{2} x^{2} + 3 \, a^{2} b x + a^{3}\right )}^{p}}{3 \, b p + b} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b^3*x^3+3*a*b^2*x^2+3*a^2*b*x+a^3)^p,x, algorithm="fricas")

[Out]

(b*x + a)*(b^3*x^3 + 3*a*b^2*x^2 + 3*a^2*b*x + a^3)^p/(3*b*p + b)

________________________________________________________________________________________

giac [B]  time = 0.20, size = 73, normalized size = 2.43 \[ \frac {{\left (b^{3} x^{3} + 3 \, a b^{2} x^{2} + 3 \, a^{2} b x + a^{3}\right )}^{p} b x + {\left (b^{3} x^{3} + 3 \, a b^{2} x^{2} + 3 \, a^{2} b x + a^{3}\right )}^{p} a}{3 \, b p + b} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b^3*x^3+3*a*b^2*x^2+3*a^2*b*x+a^3)^p,x, algorithm="giac")

[Out]

((b^3*x^3 + 3*a*b^2*x^2 + 3*a^2*b*x + a^3)^p*b*x + (b^3*x^3 + 3*a*b^2*x^2 + 3*a^2*b*x + a^3)^p*a)/(3*b*p + b)

________________________________________________________________________________________

maple [A]  time = 0.01, size = 46, normalized size = 1.53 \[ \frac {\left (b x +a \right ) \left (b^{3} x^{3}+3 a \,b^{2} x^{2}+3 a^{2} b x +a^{3}\right )^{p}}{\left (3 p +1\right ) b} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b^3*x^3+3*a*b^2*x^2+3*a^2*b*x+a^3)^p,x)

[Out]

(b*x+a)/b/(1+3*p)*(b^3*x^3+3*a*b^2*x^2+3*a^2*b*x+a^3)^p

________________________________________________________________________________________

maxima [A]  time = 0.49, size = 25, normalized size = 0.83 \[ \frac {{\left (b x + a\right )} {\left (b x + a\right )}^{3 \, p}}{b {\left (3 \, p + 1\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b^3*x^3+3*a*b^2*x^2+3*a^2*b*x+a^3)^p,x, algorithm="maxima")

[Out]

(b*x + a)*(b*x + a)^(3*p)/(b*(3*p + 1))

________________________________________________________________________________________

mupad [B]  time = 2.13, size = 52, normalized size = 1.73 \[ \left (\frac {x}{3\,p+1}+\frac {a}{b\,\left (3\,p+1\right )}\right )\,{\left (a^3+3\,a^2\,b\,x+3\,a\,b^2\,x^2+b^3\,x^3\right )}^p \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a^3 + b^3*x^3 + 3*a*b^2*x^2 + 3*a^2*b*x)^p,x)

[Out]

(x/(3*p + 1) + a/(b*(3*p + 1)))*(a^3 + b^3*x^3 + 3*a*b^2*x^2 + 3*a^2*b*x)^p

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \begin {cases} \frac {x}{\sqrt [3]{a^{3}}} & \text {for}\: b = 0 \wedge p = - \frac {1}{3} \\x \left (a^{3}\right )^{p} & \text {for}\: b = 0 \\\int \frac {1}{\sqrt [3]{a^{3} + 3 a^{2} b x + 3 a b^{2} x^{2} + b^{3} x^{3}}}\, dx & \text {for}\: p = - \frac {1}{3} \\\frac {a \left (a^{3} + 3 a^{2} b x + 3 a b^{2} x^{2} + b^{3} x^{3}\right )^{p}}{3 b p + b} + \frac {b x \left (a^{3} + 3 a^{2} b x + 3 a b^{2} x^{2} + b^{3} x^{3}\right )^{p}}{3 b p + b} & \text {otherwise} \end {cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b**3*x**3+3*a*b**2*x**2+3*a**2*b*x+a**3)**p,x)

[Out]

Piecewise((x/(a**3)**(1/3), Eq(b, 0) & Eq(p, -1/3)), (x*(a**3)**p, Eq(b, 0)), (Integral((a**3 + 3*a**2*b*x + 3
*a*b**2*x**2 + b**3*x**3)**(-1/3), x), Eq(p, -1/3)), (a*(a**3 + 3*a**2*b*x + 3*a*b**2*x**2 + b**3*x**3)**p/(3*
b*p + b) + b*x*(a**3 + 3*a**2*b*x + 3*a*b**2*x**2 + b**3*x**3)**p/(3*b*p + b), True))

________________________________________________________________________________________