3.307 \(\int \sqrt {(1+\sqrt [3]{x}) x} \, dx\)

Optimal. Leaf size=126 \[ \frac {3}{40} \sqrt {\left (\sqrt [3]{x}+1\right ) x} x^{2/3}+\frac {21}{128} \tanh ^{-1}\left (\frac {x^{2/3}}{\sqrt {\left (\sqrt [3]{x}+1\right ) x}}\right )+\frac {3}{5} \sqrt {\left (\sqrt [3]{x}+1\right ) x} x-\frac {7}{80} \sqrt {\left (\sqrt [3]{x}+1\right ) x} \sqrt [3]{x}+\frac {7}{64} \sqrt {\left (\sqrt [3]{x}+1\right ) x}-\frac {21 \sqrt {\left (\sqrt [3]{x}+1\right ) x}}{128 \sqrt [3]{x}} \]

________________________________________________________________________________________

Rubi [A]  time = 0.12, antiderivative size = 114, normalized size of antiderivative = 0.90, number of steps used = 8, number of rules used = 6, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.462, Rules used = {1979, 2004, 2024, 2010, 2029, 206} \[ \frac {3}{5} \sqrt {x^{4/3}+x} x+\frac {3}{40} \sqrt {x^{4/3}+x} x^{2/3}-\frac {7}{80} \sqrt {x^{4/3}+x} \sqrt [3]{x}+\frac {7}{64} \sqrt {x^{4/3}+x}-\frac {21 \sqrt {x^{4/3}+x}}{128 \sqrt [3]{x}}+\frac {21}{128} \tanh ^{-1}\left (\frac {x^{2/3}}{\sqrt {x^{4/3}+x}}\right ) \]

Antiderivative was successfully verified.

[In]

Int[Sqrt[(1 + x^(1/3))*x],x]

[Out]

(7*Sqrt[x + x^(4/3)])/64 - (21*Sqrt[x + x^(4/3)])/(128*x^(1/3)) - (7*x^(1/3)*Sqrt[x + x^(4/3)])/80 + (3*x^(2/3
)*Sqrt[x + x^(4/3)])/40 + (3*x*Sqrt[x + x^(4/3)])/5 + (21*ArcTanh[x^(2/3)/Sqrt[x + x^(4/3)]])/128

Rule 206

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1*ArcTanh[(Rt[-b, 2]*x)/Rt[a, 2]])/(Rt[a, 2]*Rt[-b, 2]), x]
/; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])

Rule 1979

Int[(u_)^(p_), x_Symbol] :> Int[ExpandToSum[u, x]^p, x] /; FreeQ[p, x] && GeneralizedBinomialQ[u, x] &&  !Gene
ralizedBinomialMatchQ[u, x]

Rule 2004

Int[((a_.)*(x_)^(j_.) + (b_.)*(x_)^(n_.))^(p_), x_Symbol] :> Simp[(x*(a*x^j + b*x^n)^p)/(n*p + 1), x] + Dist[(
a*(n - j)*p)/(n*p + 1), Int[x^j*(a*x^j + b*x^n)^(p - 1), x], x] /; FreeQ[{a, b}, x] &&  !IntegerQ[p] && LtQ[0,
j, n] && GtQ[p, 0] && NeQ[n*p + 1, 0]

Rule 2010

Int[1/Sqrt[(a_.)*(x_)^(j_.) + (b_.)*(x_)^(n_.)], x_Symbol] :> Simp[(-2*Sqrt[a*x^j + b*x^n])/(b*(n - 2)*x^(n -
1)), x] - Dist[(a*(2*n - j - 2))/(b*(n - 2)), Int[1/(x^(n - j)*Sqrt[a*x^j + b*x^n]), x], x] /; FreeQ[{a, b}, x
] && LtQ[2*(n - 1), j, n]

Rule 2024

Int[((c_.)*(x_))^(m_.)*((a_.)*(x_)^(j_.) + (b_.)*(x_)^(n_.))^(p_), x_Symbol] :> Simp[(c^(n - 1)*(c*x)^(m - n +
1)*(a*x^j + b*x^n)^(p + 1))/(b*(m + n*p + 1)), x] - Dist[(a*c^(n - j)*(m + j*p - n + j + 1))/(b*(m + n*p + 1)
), Int[(c*x)^(m - (n - j))*(a*x^j + b*x^n)^p, x], x] /; FreeQ[{a, b, c, m, p}, x] &&  !IntegerQ[p] && LtQ[0, j
, n] && (IntegersQ[j, n] || GtQ[c, 0]) && GtQ[m + j*p + 1 - n + j, 0] && NeQ[m + n*p + 1, 0]

Rule 2029

Int[(x_)^(m_.)/Sqrt[(a_.)*(x_)^(j_.) + (b_.)*(x_)^(n_.)], x_Symbol] :> Dist[-2/(n - j), Subst[Int[1/(1 - a*x^2
), x], x, x^(j/2)/Sqrt[a*x^j + b*x^n]], x] /; FreeQ[{a, b, j, n}, x] && EqQ[m, j/2 - 1] && NeQ[n, j]

Rubi steps

\begin {align*} \int \sqrt {\left (1+\sqrt [3]{x}\right ) x} \, dx &=\int \sqrt {x+x^{4/3}} \, dx\\ &=\frac {3}{5} x \sqrt {x+x^{4/3}}+\frac {1}{10} \int \frac {x}{\sqrt {x+x^{4/3}}} \, dx\\ &=\frac {3}{40} x^{2/3} \sqrt {x+x^{4/3}}+\frac {3}{5} x \sqrt {x+x^{4/3}}-\frac {7}{80} \int \frac {x^{2/3}}{\sqrt {x+x^{4/3}}} \, dx\\ &=-\frac {7}{80} \sqrt [3]{x} \sqrt {x+x^{4/3}}+\frac {3}{40} x^{2/3} \sqrt {x+x^{4/3}}+\frac {3}{5} x \sqrt {x+x^{4/3}}+\frac {7}{96} \int \frac {\sqrt [3]{x}}{\sqrt {x+x^{4/3}}} \, dx\\ &=\frac {7}{64} \sqrt {x+x^{4/3}}-\frac {7}{80} \sqrt [3]{x} \sqrt {x+x^{4/3}}+\frac {3}{40} x^{2/3} \sqrt {x+x^{4/3}}+\frac {3}{5} x \sqrt {x+x^{4/3}}-\frac {7}{128} \int \frac {1}{\sqrt {x+x^{4/3}}} \, dx\\ &=\frac {7}{64} \sqrt {x+x^{4/3}}-\frac {21 \sqrt {x+x^{4/3}}}{128 \sqrt [3]{x}}-\frac {7}{80} \sqrt [3]{x} \sqrt {x+x^{4/3}}+\frac {3}{40} x^{2/3} \sqrt {x+x^{4/3}}+\frac {3}{5} x \sqrt {x+x^{4/3}}+\frac {7}{256} \int \frac {1}{\sqrt [3]{x} \sqrt {x+x^{4/3}}} \, dx\\ &=\frac {7}{64} \sqrt {x+x^{4/3}}-\frac {21 \sqrt {x+x^{4/3}}}{128 \sqrt [3]{x}}-\frac {7}{80} \sqrt [3]{x} \sqrt {x+x^{4/3}}+\frac {3}{40} x^{2/3} \sqrt {x+x^{4/3}}+\frac {3}{5} x \sqrt {x+x^{4/3}}+\frac {21}{128} \operatorname {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\frac {x^{2/3}}{\sqrt {x+x^{4/3}}}\right )\\ &=\frac {7}{64} \sqrt {x+x^{4/3}}-\frac {21 \sqrt {x+x^{4/3}}}{128 \sqrt [3]{x}}-\frac {7}{80} \sqrt [3]{x} \sqrt {x+x^{4/3}}+\frac {3}{40} x^{2/3} \sqrt {x+x^{4/3}}+\frac {3}{5} x \sqrt {x+x^{4/3}}+\frac {21}{128} \tanh ^{-1}\left (\frac {x^{2/3}}{\sqrt {x+x^{4/3}}}\right )\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.05, size = 83, normalized size = 0.66 \[ \frac {\sqrt {x^{4/3}+x} \left (\sqrt {\sqrt [3]{x}+1} \sqrt [6]{x} \left (384 x^{4/3}-56 x^{2/3}+48 x+70 \sqrt [3]{x}-105\right )+105 \sinh ^{-1}\left (\sqrt [6]{x}\right )\right )}{640 \sqrt {\sqrt [3]{x}+1} \sqrt {x}} \]

Antiderivative was successfully verified.

[In]

Integrate[Sqrt[(1 + x^(1/3))*x],x]

[Out]

(Sqrt[x + x^(4/3)]*(Sqrt[1 + x^(1/3)]*x^(1/6)*(-105 + 70*x^(1/3) - 56*x^(2/3) + 48*x + 384*x^(4/3)) + 105*ArcS
inh[x^(1/6)]))/(640*Sqrt[1 + x^(1/3)]*Sqrt[x])

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 0.50, size = 69, normalized size = 0.55 \[ \frac {\sqrt {x^{4/3}+x} \left (384 x^{4/3}-56 x^{2/3}+48 x+70 \sqrt [3]{x}-105\right )}{640 \sqrt [3]{x}}+\frac {21}{128} \tanh ^{-1}\left (\frac {x^{2/3}}{\sqrt {x^{4/3}+x}}\right ) \]

Antiderivative was successfully verified.

[In]

IntegrateAlgebraic[Sqrt[(1 + x^(1/3))*x],x]

[Out]

(Sqrt[x + x^(4/3)]*(-105 + 70*x^(1/3) - 56*x^(2/3) + 48*x + 384*x^(4/3)))/(640*x^(1/3)) + (21*ArcTanh[x^(2/3)/
Sqrt[x + x^(4/3)]])/128

________________________________________________________________________________________

fricas [A]  time = 74.92, size = 87, normalized size = 0.69 \[ \frac {35 \, x \log \left (\frac {32 \, x^{2} + 48 \, x^{\frac {5}{3}} + 2 \, {\left (16 \, x^{\frac {4}{3}} + 16 \, x + 3 \, x^{\frac {2}{3}}\right )} \sqrt {x^{\frac {4}{3}} + x} + 18 \, x^{\frac {4}{3}} + x}{x}\right ) + 2 \, {\left (384 \, x^{2} + 3 \, {\left (16 \, x - 35\right )} x^{\frac {2}{3}} - 56 \, x^{\frac {4}{3}} + 70 \, x\right )} \sqrt {x^{\frac {4}{3}} + x}}{1280 \, x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/1280*(35*x*log((32*x^2 + 48*x^(5/3) + 2*(16*x^(4/3) + 16*x + 3*x^(2/3))*sqrt(x^(4/3) + x) + 18*x^(4/3) + x)/
x) + 2*(384*x^2 + 3*(16*x - 35)*x^(2/3) - 56*x^(4/3) + 70*x)*sqrt(x^(4/3) + x))/x

________________________________________________________________________________________

giac [A]  time = 0.93, size = 66, normalized size = 0.52 \[ \frac {1}{1280} \, {\left (2 \, {\left (2 \, {\left (4 \, {\left (6 \, x^{\frac {1}{3}} {\left (8 \, x^{\frac {1}{3}} + 1\right )} - 7\right )} x^{\frac {1}{3}} + 35\right )} x^{\frac {1}{3}} - 105\right )} \sqrt {x^{\frac {2}{3}} + x^{\frac {1}{3}}} - 105 \, \log \left ({\left | 2 \, \sqrt {x^{\frac {2}{3}} + x^{\frac {1}{3}}} - 2 \, x^{\frac {1}{3}} - 1 \right |}\right )\right )} \mathrm {sgn}\relax (x) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/1280*(2*(2*(4*(6*x^(1/3)*(8*x^(1/3) + 1) - 7)*x^(1/3) + 35)*x^(1/3) - 105)*sqrt(x^(2/3) + x^(1/3)) - 105*log
(abs(2*sqrt(x^(2/3) + x^(1/3)) - 2*x^(1/3) - 1)))*sgn(x)

________________________________________________________________________________________

maple [A]  time = 0.29, size = 51, normalized size = 0.40

method	result	size
meijerg	\(-\frac {3 \left (\frac {\sqrt {\pi }\, x^{\frac {1}{6}} \left (-1152 x^{\frac {4}{3}}-144 x +168 x^{\frac {2}{3}}-210 x^{\frac {1}{3}}+315\right ) \sqrt {1+x^{\frac {1}{3}}}}{2880}-\frac {7 \sqrt {\pi }\, \arcsinh \left (x^{\frac {1}{6}}\right )}{64}\right )}{2 \sqrt {\pi }}\)	\(51\)
derivativedivides	\(\frac {\sqrt {\left (1+x^{\frac {1}{3}}\right ) x}\, \left (768 x^{\frac {2}{3}} \left (x^{\frac {2}{3}}+x^{\frac {1}{3}}\right )^{\frac {3}{2}}-672 x^{\frac {1}{3}} \left (x^{\frac {2}{3}}+x^{\frac {1}{3}}\right )^{\frac {3}{2}}+560 \left (x^{\frac {2}{3}}+x^{\frac {1}{3}}\right )^{\frac {3}{2}}-420 \sqrt {x^{\frac {2}{3}}+x^{\frac {1}{3}}}\, x^{\frac {1}{3}}+105 \ln \left (\frac {1}{2}+x^{\frac {1}{3}}+\sqrt {x^{\frac {2}{3}}+x^{\frac {1}{3}}}\right )-210 \sqrt {x^{\frac {2}{3}}+x^{\frac {1}{3}}}\right )}{1280 x^{\frac {1}{3}} \sqrt {\left (1+x^{\frac {1}{3}}\right ) x^{\frac {1}{3}}}}\)	\(108\)
default	\(\frac {\sqrt {\left (1+x^{\frac {1}{3}}\right ) x}\, \left (768 x^{\frac {2}{3}} \left (x^{\frac {2}{3}}+x^{\frac {1}{3}}\right )^{\frac {3}{2}}-672 x^{\frac {1}{3}} \left (x^{\frac {2}{3}}+x^{\frac {1}{3}}\right )^{\frac {3}{2}}+560 \left (x^{\frac {2}{3}}+x^{\frac {1}{3}}\right )^{\frac {3}{2}}-420 \sqrt {x^{\frac {2}{3}}+x^{\frac {1}{3}}}\, x^{\frac {1}{3}}+105 \ln \left (\frac {1}{2}+x^{\frac {1}{3}}+\sqrt {x^{\frac {2}{3}}+x^{\frac {1}{3}}}\right )-210 \sqrt {x^{\frac {2}{3}}+x^{\frac {1}{3}}}\right )}{1280 x^{\frac {1}{3}} \sqrt {\left (1+x^{\frac {1}{3}}\right ) x^{\frac {1}{3}}}}\)	\(108\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((1+x^(1/3))*x)^(1/2),x,method=_RETURNVERBOSE)

[Out]

-3/2/Pi^(1/2)*(1/2880*Pi^(1/2)*x^(1/6)*(-1152*x^(4/3)-144*x+168*x^(2/3)-210*x^(1/3)+315)*(1+x^(1/3))^(1/2)-7/6
4*Pi^(1/2)*arcsinh(x^(1/6)))

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

integrate(sqrt(x*(x^(1/3) + 1)), x)

________________________________________________________________________________________

mupad [B]  time = 0.29, size = 27, normalized size = 0.21 \[ \frac {2\,x\,\sqrt {x+x^{4/3}}\,{{}}_2{\mathrm {F}}_1\left (-\frac {1}{2},\frac {9}{2};\ \frac {11}{2};\ -x^{1/3}\right )}{3\,\sqrt {x^{1/3}+1}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(2*x*(x + x^(4/3))^(1/2)*hypergeom([-1/2, 9/2], 11/2, -x^(1/3)))/(3*(x^(1/3) + 1)^(1/2))

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \sqrt {x \left (\sqrt [3]{x} + 1\right )}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

Integral(sqrt(x*(x**(1/3) + 1)), x)

________________________________________________________________________________________