3.11.51 \(\int \frac {(-4+x^6) (2-x^4+x^6)^{5/2}}{x^7 (2+x^6)^2} \, dx\)

Optimal. Leaf size=79 \[ \frac {\sqrt {x^6-x^4+2} \left (2 x^{12}-14 x^{10}-3 x^8+8 x^6-28 x^4+8\right )}{6 x^6 \left (x^6+2\right )}-\frac {5}{2} \tan ^{-1}\left (\frac {x^2}{\sqrt {x^6-x^4+2}}\right ) \]

________________________________________________________________________________________

Rubi [F]  time = 4.39, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {\left (-4+x^6\right ) \left (2-x^4+x^6\right )^{5/2}}{x^7 \left (2+x^6\right )^2} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[((-4 + x^6)*(2 - x^4 + x^6)^(5/2))/(x^7*(2 + x^6)^2),x]

[Out]

(5*Defer[Int][(2 - x^4 + x^6)^(5/2)/((-2)^(1/6) - x), x])/24 + (5*Defer[Int][(2 - x^4 + x^6)^(5/2)/(-((-2)^(1/
6)*(-1)^(1/3)) - x), x])/24 + (5*Defer[Int][(2 - x^4 + x^6)^(5/2)/((-2)^(1/6)*(-1)^(2/3) - x), x])/24 - Defer[
Int][(2 - x^4 + x^6)^(5/2)/x^7, x] - (5*Defer[Int][(2 - x^4 + x^6)^(5/2)/((-2)^(1/6) + x), x])/24 - (5*Defer[I
nt][(2 - x^4 + x^6)^(5/2)/(-((-2)^(1/6)*(-1)^(1/3)) + x), x])/24 - (5*Defer[Int][(2 - x^4 + x^6)^(5/2)/((-2)^(
1/6)*(-1)^(2/3) + x), x])/24 + (10935*Sqrt[3]*(2 - x^4 + x^6)^(5/2)*Defer[Subst][Defer[Int][(((1 + (26 - 15*Sq
rt[3])^(2/3))/(3*(26 - 15*Sqrt[3])^(1/3)) + x)^(5/2)*((-1 + (26 - 15*Sqrt[3])^(-2/3) + (26 - 15*Sqrt[3])^(2/3)
)/9 - ((1 + (26 - 15*Sqrt[3])^(2/3))*x)/(3*(26 - 15*Sqrt[3])^(1/3)) + x^2)^(5/2))/(1/3 + x), x], x, (-1 + 3*x^
2)/3])/(8*(-1 + (26 - 15*Sqrt[3])^(-1/3) + (26 - 15*Sqrt[3])^(1/3) + 3*x^2)^(5/2)*(-1 + (26 - 15*Sqrt[3])^(-2/
3) + (26 - 15*Sqrt[3])^(2/3) + ((1 + (26 - 15*Sqrt[3])^(2/3))*(1 - 3*x^2))/(26 - 15*Sqrt[3])^(1/3) + (-1 + 3*x
^2)^2)^(5/2)) - (3*Defer[Subst][Defer[Int][(x^2*(2 - x^2 + x^3)^(5/2))/(2 + x^3)^2, x], x, x^2])/4

Rubi steps

\begin {align*} \int \frac {\left (-4+x^6\right ) \left (2-x^4+x^6\right )^{5/2}}{x^7 \left (2+x^6\right )^2} \, dx &=\int \left (-\frac {\left (2-x^4+x^6\right )^{5/2}}{x^7}+\frac {5 \left (2-x^4+x^6\right )^{5/2}}{4 x}-\frac {3 x^5 \left (2-x^4+x^6\right )^{5/2}}{2 \left (2+x^6\right )^2}-\frac {5 x^5 \left (2-x^4+x^6\right )^{5/2}}{4 \left (2+x^6\right )}\right ) \, dx\\ &=\frac {5}{4} \int \frac {\left (2-x^4+x^6\right )^{5/2}}{x} \, dx-\frac {5}{4} \int \frac {x^5 \left (2-x^4+x^6\right )^{5/2}}{2+x^6} \, dx-\frac {3}{2} \int \frac {x^5 \left (2-x^4+x^6\right )^{5/2}}{\left (2+x^6\right )^2} \, dx-\int \frac {\left (2-x^4+x^6\right )^{5/2}}{x^7} \, dx\\ &=\frac {5}{8} \operatorname {Subst}\left (\int \frac {\left (2-x^2+x^3\right )^{5/2}}{x} \, dx,x,x^2\right )-\frac {3}{4} \operatorname {Subst}\left (\int \frac {x^2 \left (2-x^2+x^3\right )^{5/2}}{\left (2+x^3\right )^2} \, dx,x,x^2\right )-\frac {5}{4} \int \left (\frac {x^2 \left (2-x^4+x^6\right )^{5/2}}{2 \left (-i \sqrt {2}+x^3\right )}+\frac {x^2 \left (2-x^4+x^6\right )^{5/2}}{2 \left (i \sqrt {2}+x^3\right )}\right ) \, dx-\int \frac {\left (2-x^4+x^6\right )^{5/2}}{x^7} \, dx\\ &=-\left (\frac {5}{8} \int \frac {x^2 \left (2-x^4+x^6\right )^{5/2}}{-i \sqrt {2}+x^3} \, dx\right )-\frac {5}{8} \int \frac {x^2 \left (2-x^4+x^6\right )^{5/2}}{i \sqrt {2}+x^3} \, dx+\frac {5}{8} \operatorname {Subst}\left (\int \frac {\left (\frac {52}{27}-\frac {x}{3}+x^3\right )^{5/2}}{\frac {1}{3}+x} \, dx,x,\frac {1}{3} \left (-1+3 x^2\right )\right )-\frac {3}{4} \operatorname {Subst}\left (\int \frac {x^2 \left (2-x^2+x^3\right )^{5/2}}{\left (2+x^3\right )^2} \, dx,x,x^2\right )-\int \frac {\left (2-x^4+x^6\right )^{5/2}}{x^7} \, dx\\ &=-\left (\frac {5}{8} \int \left (-\frac {\left (2-x^4+x^6\right )^{5/2}}{3 \left (\sqrt [6]{-2}-x\right )}-\frac {\left (2-x^4+x^6\right )^{5/2}}{3 \left (-\sqrt [6]{-2} \sqrt [3]{-1}-x\right )}-\frac {\left (2-x^4+x^6\right )^{5/2}}{3 \left (\sqrt [6]{-2} (-1)^{2/3}-x\right )}\right ) \, dx\right )-\frac {5}{8} \int \left (\frac {\left (2-x^4+x^6\right )^{5/2}}{3 \left (\sqrt [6]{-2}+x\right )}+\frac {\left (2-x^4+x^6\right )^{5/2}}{3 \left (-\sqrt [6]{-2} \sqrt [3]{-1}+x\right )}+\frac {\left (2-x^4+x^6\right )^{5/2}}{3 \left (\sqrt [6]{-2} (-1)^{2/3}+x\right )}\right ) \, dx-\frac {3}{4} \operatorname {Subst}\left (\int \frac {x^2 \left (2-x^2+x^3\right )^{5/2}}{\left (2+x^3\right )^2} \, dx,x,x^2\right )+\frac {\left (1215 \left (2-x^4+x^6\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {\left (\frac {1+\left (26-15 \sqrt {3}\right )^{2/3}}{3 \sqrt [3]{26-15 \sqrt {3}}}+x\right )^{5/2} \left (\frac {1}{9} \left (-1+\frac {1}{\left (26-15 \sqrt {3}\right )^{2/3}}+\left (26-15 \sqrt {3}\right )^{2/3}\right )-\frac {\left (1+\left (26-15 \sqrt {3}\right )^{2/3}\right ) x}{3 \sqrt [3]{26-15 \sqrt {3}}}+x^2\right )^{5/2}}{\frac {1}{3}+x} \, dx,x,\frac {1}{3} \left (-1+3 x^2\right )\right )}{8 \left (\frac {1}{3} \left (-1+\frac {1}{\sqrt [3]{26-15 \sqrt {3}}}+\sqrt [3]{26-15 \sqrt {3}}\right )+x^2\right )^{5/2} \left (-1+\frac {1}{\left (26-15 \sqrt {3}\right )^{2/3}}+\left (26-15 \sqrt {3}\right )^{2/3}-\frac {\left (1+\left (26-15 \sqrt {3}\right )^{2/3}\right ) \left (-1+3 x^2\right )}{\sqrt [3]{26-15 \sqrt {3}}}+\left (-1+3 x^2\right )^2\right )^{5/2}}-\int \frac {\left (2-x^4+x^6\right )^{5/2}}{x^7} \, dx\\ &=\frac {5}{24} \int \frac {\left (2-x^4+x^6\right )^{5/2}}{\sqrt [6]{-2}-x} \, dx+\frac {5}{24} \int \frac {\left (2-x^4+x^6\right )^{5/2}}{-\sqrt [6]{-2} \sqrt [3]{-1}-x} \, dx+\frac {5}{24} \int \frac {\left (2-x^4+x^6\right )^{5/2}}{\sqrt [6]{-2} (-1)^{2/3}-x} \, dx-\frac {5}{24} \int \frac {\left (2-x^4+x^6\right )^{5/2}}{\sqrt [6]{-2}+x} \, dx-\frac {5}{24} \int \frac {\left (2-x^4+x^6\right )^{5/2}}{-\sqrt [6]{-2} \sqrt [3]{-1}+x} \, dx-\frac {5}{24} \int \frac {\left (2-x^4+x^6\right )^{5/2}}{\sqrt [6]{-2} (-1)^{2/3}+x} \, dx-\frac {3}{4} \operatorname {Subst}\left (\int \frac {x^2 \left (2-x^2+x^3\right )^{5/2}}{\left (2+x^3\right )^2} \, dx,x,x^2\right )+\frac {\left (1215 \left (2-x^4+x^6\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {\left (\frac {1+\left (26-15 \sqrt {3}\right )^{2/3}}{3 \sqrt [3]{26-15 \sqrt {3}}}+x\right )^{5/2} \left (\frac {1}{9} \left (-1+\frac {1}{\left (26-15 \sqrt {3}\right )^{2/3}}+\left (26-15 \sqrt {3}\right )^{2/3}\right )-\frac {\left (1+\left (26-15 \sqrt {3}\right )^{2/3}\right ) x}{3 \sqrt [3]{26-15 \sqrt {3}}}+x^2\right )^{5/2}}{\frac {1}{3}+x} \, dx,x,\frac {1}{3} \left (-1+3 x^2\right )\right )}{8 \left (\frac {1}{3} \left (-1+\frac {1}{\sqrt [3]{26-15 \sqrt {3}}}+\sqrt [3]{26-15 \sqrt {3}}\right )+x^2\right )^{5/2} \left (-1+\frac {1}{\left (26-15 \sqrt {3}\right )^{2/3}}+\left (26-15 \sqrt {3}\right )^{2/3}-\frac {\left (1+\left (26-15 \sqrt {3}\right )^{2/3}\right ) \left (-1+3 x^2\right )}{\sqrt [3]{26-15 \sqrt {3}}}+\left (-1+3 x^2\right )^2\right )^{5/2}}-\int \frac {\left (2-x^4+x^6\right )^{5/2}}{x^7} \, dx\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 1.70, size = 354, normalized size = 4.48 \begin {gather*} \frac {1}{6} \sqrt {x^6-x^4+2} \left (\frac {4}{x^6}-\frac {14}{x^2}-\frac {3 x^2}{x^6+2}+2\right )+\frac {\left (\frac {1}{2}+i\right ) \sqrt {i x^2+(1-i)} \sqrt {(-3-4 i) \left (x^4+i x^2-(1-i)\right )} \left (i F\left (\sin ^{-1}\left (\frac {\sqrt {(-2-i) \left (x^2-(1-i)\right )}}{\sqrt {5}}\right )|\frac {1}{2}+i\right )+\sqrt [3]{2} \left (\frac {3 \sqrt [6]{-1} \Pi \left (-\frac {2-i}{(-1+i)+\sqrt [3]{-2}};\sin ^{-1}\left (\frac {\sqrt {(-2-i) \left (x^2-(1-i)\right )}}{\sqrt {5}}\right )|\frac {1}{2}+i\right )}{\left (\sqrt [3]{-2}+(-1+i)\right ) \left (1+\sqrt [3]{-1}\right )^2}-\frac {i \Pi \left (\frac {2-i}{(1-i)+\sqrt [3]{2}};\sin ^{-1}\left (\frac {\sqrt {(-2-i) \left (x^2-(1-i)\right )}}{\sqrt {5}}\right )|\frac {1}{2}+i\right )}{\sqrt [3]{2}+(1-i)}-\frac {2 \sqrt [6]{-1} \Pi \left (\frac {2-i}{(1-i)+(-1)^{2/3} \sqrt [3]{2}};\sin ^{-1}\left (\frac {\sqrt {(-2-i) \left (x^2-(1-i)\right )}}{\sqrt {5}}\right )|\frac {1}{2}+i\right )}{(-2+2 i)+\sqrt [3]{2}-i \sqrt [3]{2} \sqrt {3}}\right )\right )}{\sqrt {2} \sqrt {x^6-x^4+2}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((-4 + x^6)*(2 - x^4 + x^6)^(5/2))/(x^7*(2 + x^6)^2),x]

[Out]

(Sqrt[2 - x^4 + x^6]*(2 + 4/x^6 - 14/x^2 - (3*x^2)/(2 + x^6)))/6 + ((1/2 + I)*Sqrt[(1 - I) + I*x^2]*Sqrt[(-3 -
4*I)*((-1 + I) + I*x^2 + x^4)]*(I*EllipticF[ArcSin[Sqrt[(-2 - I)*((-1 + I) + x^2)]/Sqrt[5]], 1/2 + I] + 2^(1/
3)*((3*(-1)^(1/6)*EllipticPi[(-2 + I)/((-1 + I) + (-2)^(1/3)), ArcSin[Sqrt[(-2 - I)*((-1 + I) + x^2)]/Sqrt[5]]
, 1/2 + I])/(((-1 + I) + (-2)^(1/3))*(1 + (-1)^(1/3))^2) - (I*EllipticPi[(2 - I)/((1 - I) + 2^(1/3)), ArcSin[S
qrt[(-2 - I)*((-1 + I) + x^2)]/Sqrt[5]], 1/2 + I])/((1 - I) + 2^(1/3)) - (2*(-1)^(1/6)*EllipticPi[(2 - I)/((1
- I) + (-1)^(2/3)*2^(1/3)), ArcSin[Sqrt[(-2 - I)*((-1 + I) + x^2)]/Sqrt[5]], 1/2 + I])/((-2 + 2*I) + 2^(1/3) -
I*2^(1/3)*Sqrt[3]))))/(Sqrt[2]*Sqrt[2 - x^4 + x^6])

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 3.13, size = 79, normalized size = 1.00 \begin {gather*} \frac {\sqrt {2-x^4+x^6} \left (8-28 x^4+8 x^6-3 x^8-14 x^{10}+2 x^{12}\right )}{6 x^6 \left (2+x^6\right )}-\frac {5}{2} \tan ^{-1}\left (\frac {x^2}{\sqrt {2-x^4+x^6}}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

IntegrateAlgebraic[((-4 + x^6)*(2 - x^4 + x^6)^(5/2))/(x^7*(2 + x^6)^2),x]

[Out]

(Sqrt[2 - x^4 + x^6]*(8 - 28*x^4 + 8*x^6 - 3*x^8 - 14*x^10 + 2*x^12))/(6*x^6*(2 + x^6)) - (5*ArcTan[x^2/Sqrt[2
- x^4 + x^6]])/2

________________________________________________________________________________________

fricas [A]  time = 0.56, size = 96, normalized size = 1.22 \begin {gather*} -\frac {15 \, {\left (x^{12} + 2 \, x^{6}\right )} \arctan \left (\frac {2 \, \sqrt {x^{6} - x^{4} + 2} x^{2}}{x^{6} - 2 \, x^{4} + 2}\right ) - 2 \, {\left (2 \, x^{12} - 14 \, x^{10} - 3 \, x^{8} + 8 \, x^{6} - 28 \, x^{4} + 8\right )} \sqrt {x^{6} - x^{4} + 2}}{12 \, {\left (x^{12} + 2 \, x^{6}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x^6-4)*(x^6-x^4+2)^(5/2)/x^7/(x^6+2)^2,x, algorithm="fricas")

[Out]

-1/12*(15*(x^12 + 2*x^6)*arctan(2*sqrt(x^6 - x^4 + 2)*x^2/(x^6 - 2*x^4 + 2)) - 2*(2*x^12 - 14*x^10 - 3*x^8 + 8
*x^6 - 28*x^4 + 8)*sqrt(x^6 - x^4 + 2))/(x^12 + 2*x^6)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (x^{6} - x^{4} + 2\right )}^{\frac {5}{2}} {\left (x^{6} - 4\right )}}{{\left (x^{6} + 2\right )}^{2} x^{7}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x^6-4)*(x^6-x^4+2)^(5/2)/x^7/(x^6+2)^2,x, algorithm="giac")

[Out]

integrate((x^6 - x^4 + 2)^(5/2)*(x^6 - 4)/((x^6 + 2)^2*x^7), x)

________________________________________________________________________________________

maple [C]  time = 0.85, size = 117, normalized size = 1.48

method	result	size
trager	\(\frac {\sqrt {x^{6}-x^{4}+2}\, \left (2 x^{12}-14 x^{10}-3 x^{8}+8 x^{6}-28 x^{4}+8\right )}{6 x^{6} \left (x^{6}+2\right )}+\frac {5 \RootOf \left (\textit {\_Z}^{2}+1\right ) \ln \left (\frac {\RootOf \left (\textit {\_Z}^{2}+1\right ) x^{6}-2 \RootOf \left (\textit {\_Z}^{2}+1\right ) x^{4}-2 \sqrt {x^{6}-x^{4}+2}\, x^{2}+2 \RootOf \left (\textit {\_Z}^{2}+1\right )}{x^{6}+2}\right )}{4}\)	\(117\)
risch	\(\frac {2 x^{18}-16 x^{16}+11 x^{14}+15 x^{12}-64 x^{10}+22 x^{8}+24 x^{6}-64 x^{4}+16}{6 x^{6} \sqrt {x^{6}-x^{4}+2}\, \left (x^{6}+2\right )}-\frac {5 \RootOf \left (\textit {\_Z}^{2}+1\right ) \ln \left (-\frac {\RootOf \left (\textit {\_Z}^{2}+1\right ) x^{6}-2 \RootOf \left (\textit {\_Z}^{2}+1\right ) x^{4}+2 \sqrt {x^{6}-x^{4}+2}\, x^{2}+2 \RootOf \left (\textit {\_Z}^{2}+1\right )}{x^{6}+2}\right )}{4}\)	\(133\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x^6-4)*(x^6-x^4+2)^(5/2)/x^7/(x^6+2)^2,x,method=_RETURNVERBOSE)

[Out]

1/6*(x^6-x^4+2)^(1/2)*(2*x^12-14*x^10-3*x^8+8*x^6-28*x^4+8)/x^6/(x^6+2)+5/4*RootOf(_Z^2+1)*ln((RootOf(_Z^2+1)*
x^6-2*RootOf(_Z^2+1)*x^4-2*(x^6-x^4+2)^(1/2)*x^2+2*RootOf(_Z^2+1))/(x^6+2))

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (x^{6} - x^{4} + 2\right )}^{\frac {5}{2}} {\left (x^{6} - 4\right )}}{{\left (x^{6} + 2\right )}^{2} x^{7}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x^6-4)*(x^6-x^4+2)^(5/2)/x^7/(x^6+2)^2,x, algorithm="maxima")

[Out]

integrate((x^6 - x^4 + 2)^(5/2)*(x^6 - 4)/((x^6 + 2)^2*x^7), x)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\left (x^6-4\right )\,{\left (x^6-x^4+2\right )}^{5/2}}{x^7\,{\left (x^6+2\right )}^2} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x^6 - 4)*(x^6 - x^4 + 2)^(5/2))/(x^7*(x^6 + 2)^2),x)

[Out]

int(((x^6 - 4)*(x^6 - x^4 + 2)^(5/2))/(x^7*(x^6 + 2)^2), x)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x**6-4)*(x**6-x**4+2)**(5/2)/x**7/(x**6+2)**2,x)

[Out]

Timed out

________________________________________________________________________________________