3.14.4 \(\int \frac {(-2+x^6) (4+x^6) \sqrt [4]{-2+2 x^4+x^6}}{x^6 (-4-x^4+2 x^6)} \, dx\)

Optimal. Leaf size=104 \[ \frac {1}{4} \sqrt [4]{\frac {5}{2}} \tan ^{-1}\left (\frac {\sqrt [4]{\frac {5}{2}} x}{\sqrt [4]{x^6+2 x^4-2}}\right )-\frac {1}{4} \sqrt [4]{\frac {5}{2}} \tanh ^{-1}\left (\frac {\sqrt [4]{\frac {5}{2}} x}{\sqrt [4]{x^6+2 x^4-2}}\right )+\frac {\sqrt [4]{x^6+2 x^4-2} \left (2 x^6+9 x^4-4\right )}{10 x^5} \]

________________________________________________________________________________________

Rubi [F]  time = 1.73, 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 (-2+x^6\right ) \left (4+x^6\right ) \sqrt [4]{-2+2 x^4+x^6}}{x^6 \left (-4-x^4+2 x^6\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

Defer[Int][(-2 + 2*x^4 + x^6)^(1/4), x]/2 + 2*Defer[Int][(-2 + 2*x^4 + x^6)^(1/4)/x^6, x] - Defer[Int][(-2 + 2
*x^4 + x^6)^(1/4)/x^2, x]/2 - Defer[Int][(x^2*(-2 + 2*x^4 + x^6)^(1/4))/(-4 - x^4 + 2*x^6), x]/2 + (3*Defer[In
t][(x^4*(-2 + 2*x^4 + x^6)^(1/4))/(-4 - x^4 + 2*x^6), x])/2

Rubi steps

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

________________________________________________________________________________________

Mathematica [F]  time = 0.49, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (-2+x^6\right ) \left (4+x^6\right ) \sqrt [4]{-2+2 x^4+x^6}}{x^6 \left (-4-x^4+2 x^6\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

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

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 2.80, size = 104, normalized size = 1.00 \begin {gather*} \frac {1}{4} \sqrt [4]{\frac {5}{2}} \tan ^{-1}\left (\frac {\sqrt [4]{\frac {5}{2}} x}{\sqrt [4]{x^6+2 x^4-2}}\right )-\frac {1}{4} \sqrt [4]{\frac {5}{2}} \tanh ^{-1}\left (\frac {\sqrt [4]{\frac {5}{2}} x}{\sqrt [4]{x^6+2 x^4-2}}\right )+\frac {\sqrt [4]{x^6+2 x^4-2} \left (2 x^6+9 x^4-4\right )}{10 x^5} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

((-2 + 2*x^4 + x^6)^(1/4)*(-4 + 9*x^4 + 2*x^6))/(10*x^5) + ((5/2)^(1/4)*ArcTan[((5/2)^(1/4)*x)/(-2 + 2*x^4 + x
^6)^(1/4)])/4 - ((5/2)^(1/4)*ArcTanh[((5/2)^(1/4)*x)/(-2 + 2*x^4 + x^6)^(1/4)])/4

________________________________________________________________________________________

fricas [B]  time = 133.64, size = 380, normalized size = 3.65 \begin {gather*} \frac {20 \cdot 5^{\frac {1}{4}} 2^{\frac {3}{4}} x^{5} \arctan \left (\frac {20 \cdot 5^{\frac {3}{4}} 2^{\frac {1}{4}} {\left (x^{6} + 2 \, x^{4} - 2\right )}^{\frac {1}{4}} x^{3} + 20 \cdot 5^{\frac {1}{4}} 2^{\frac {3}{4}} {\left (x^{6} + 2 \, x^{4} - 2\right )}^{\frac {3}{4}} x + \sqrt {5} {\left (4 \cdot 5^{\frac {3}{4}} 2^{\frac {1}{4}} \sqrt {x^{6} + 2 \, x^{4} - 2} x^{2} + 5^{\frac {1}{4}} 2^{\frac {3}{4}} {\left (2 \, x^{6} + 9 \, x^{4} - 4\right )}\right )} \sqrt {\sqrt {5} \sqrt {2}}}{10 \, {\left (2 \, x^{6} - x^{4} - 4\right )}}\right ) - 5 \cdot 5^{\frac {1}{4}} 2^{\frac {3}{4}} x^{5} \log \left (-\frac {10 \, \sqrt {5} \sqrt {2} {\left (x^{6} + 2 \, x^{4} - 2\right )}^{\frac {1}{4}} x^{3} + 10 \cdot 5^{\frac {1}{4}} 2^{\frac {3}{4}} \sqrt {x^{6} + 2 \, x^{4} - 2} x^{2} + 5^{\frac {3}{4}} 2^{\frac {1}{4}} {\left (2 \, x^{6} + 9 \, x^{4} - 4\right )} + 20 \, {\left (x^{6} + 2 \, x^{4} - 2\right )}^{\frac {3}{4}} x}{2 \, x^{6} - x^{4} - 4}\right ) + 5 \cdot 5^{\frac {1}{4}} 2^{\frac {3}{4}} x^{5} \log \left (-\frac {10 \, \sqrt {5} \sqrt {2} {\left (x^{6} + 2 \, x^{4} - 2\right )}^{\frac {1}{4}} x^{3} - 10 \cdot 5^{\frac {1}{4}} 2^{\frac {3}{4}} \sqrt {x^{6} + 2 \, x^{4} - 2} x^{2} - 5^{\frac {3}{4}} 2^{\frac {1}{4}} {\left (2 \, x^{6} + 9 \, x^{4} - 4\right )} + 20 \, {\left (x^{6} + 2 \, x^{4} - 2\right )}^{\frac {3}{4}} x}{2 \, x^{6} - x^{4} - 4}\right ) + 16 \, {\left (2 \, x^{6} + 9 \, x^{4} - 4\right )} {\left (x^{6} + 2 \, x^{4} - 2\right )}^{\frac {1}{4}}}{160 \, x^{5}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/160*(20*5^(1/4)*2^(3/4)*x^5*arctan(1/10*(20*5^(3/4)*2^(1/4)*(x^6 + 2*x^4 - 2)^(1/4)*x^3 + 20*5^(1/4)*2^(3/4)
*(x^6 + 2*x^4 - 2)^(3/4)*x + sqrt(5)*(4*5^(3/4)*2^(1/4)*sqrt(x^6 + 2*x^4 - 2)*x^2 + 5^(1/4)*2^(3/4)*(2*x^6 + 9
*x^4 - 4))*sqrt(sqrt(5)*sqrt(2)))/(2*x^6 - x^4 - 4)) - 5*5^(1/4)*2^(3/4)*x^5*log(-(10*sqrt(5)*sqrt(2)*(x^6 + 2
*x^4 - 2)^(1/4)*x^3 + 10*5^(1/4)*2^(3/4)*sqrt(x^6 + 2*x^4 - 2)*x^2 + 5^(3/4)*2^(1/4)*(2*x^6 + 9*x^4 - 4) + 20*
(x^6 + 2*x^4 - 2)^(3/4)*x)/(2*x^6 - x^4 - 4)) + 5*5^(1/4)*2^(3/4)*x^5*log(-(10*sqrt(5)*sqrt(2)*(x^6 + 2*x^4 -
2)^(1/4)*x^3 - 10*5^(1/4)*2^(3/4)*sqrt(x^6 + 2*x^4 - 2)*x^2 - 5^(3/4)*2^(1/4)*(2*x^6 + 9*x^4 - 4) + 20*(x^6 +
2*x^4 - 2)^(3/4)*x)/(2*x^6 - x^4 - 4)) + 16*(2*x^6 + 9*x^4 - 4)*(x^6 + 2*x^4 - 2)^(1/4))/x^5

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [C]  time = 4.31, size = 1513, normalized size = 14.55

result too large to display

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/10*(2*x^12+13*x^10+18*x^8-8*x^6-26*x^4+8)/x^5/(x^6+2*x^4-2)^(3/4)+(-1/16*RootOf(_Z^2+RootOf(_Z^4-40)^2)*ln(-
(-2*RootOf(_Z^4-40)^2*x^18-17*RootOf(_Z^4-40)^2*x^16-2*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24*x^
4-8)^(1/4)*RootOf(_Z^2+RootOf(_Z^4-40)^2)*RootOf(_Z^4-40)^2*x^13-44*x^14*RootOf(_Z^4-40)^2-8*(x^18+6*x^16+12*x
^14+2*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^2+RootOf(_Z^4-40)^2)*RootOf(_Z^4-40)^2*x^11-24*x^12
*RootOf(_Z^4-40)^2-8*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^2+RootOf(_Z^4
-40)^2)*RootOf(_Z^4-40)^2*x^9+68*RootOf(_Z^4-40)^2*x^10+8*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24
*x^4-8)^(1/4)*RootOf(_Z^2+RootOf(_Z^4-40)^2)*RootOf(_Z^4-40)^2*x^7+40*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x
^8+12*x^6+24*x^4-8)^(1/2)*x^8+88*RootOf(_Z^4-40)^2*x^8+16*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24
*x^4-8)^(1/4)*RootOf(_Z^2+RootOf(_Z^4-40)^2)*RootOf(_Z^4-40)^2*x^5+80*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x
^8+12*x^6+24*x^4-8)^(1/2)*x^6-24*RootOf(_Z^4-40)^2*x^6+20*RootOf(_Z^2+RootOf(_Z^4-40)^2)*(x^18+6*x^16+12*x^14+
2*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(3/4)*x^3-68*RootOf(_Z^4-40)^2*x^4-8*(x^18+6*x^16+12*x^14+2*x^12-24*x^1
0-24*x^8+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^2+RootOf(_Z^4-40)^2)*RootOf(_Z^4-40)^2*x-80*(x^18+6*x^16+12*x^14+2*x
^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/2)*x^2+16*RootOf(_Z^4-40)^2)/(2*x^6-x^4-4)/(x^6+2*x^4-2)^2)+1/16*RootOf
(_Z^4-40)*ln((-2*RootOf(_Z^4-40)^2*x^18-17*RootOf(_Z^4-40)^2*x^16+2*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8
+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^4-40)^3*x^13-44*x^14*RootOf(_Z^4-40)^2+8*(x^18+6*x^16+12*x^14+2*x^12-24*x^10
-24*x^8+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^4-40)^3*x^11-24*x^12*RootOf(_Z^4-40)^2+8*(x^18+6*x^16+12*x^14+2*x^12-
24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^4-40)^3*x^9+68*RootOf(_Z^4-40)^2*x^10-8*(x^18+6*x^16+12*x^14+2
*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^4-40)^3*x^7-40*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^
8+12*x^6+24*x^4-8)^(1/2)*x^8+88*RootOf(_Z^4-40)^2*x^8-16*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24*
x^4-8)^(1/4)*RootOf(_Z^4-40)^3*x^5-80*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/2)*x^6-24
*RootOf(_Z^4-40)^2*x^6+20*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(3/4)*RootOf(_Z^4-40)*x^
3-68*RootOf(_Z^4-40)^2*x^4+8*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/4)*RootOf(_Z^4-40)
^3*x+80*(x^18+6*x^16+12*x^14+2*x^12-24*x^10-24*x^8+12*x^6+24*x^4-8)^(1/2)*x^2+16*RootOf(_Z^4-40)^2)/(2*x^6-x^4
-4)/(x^6+2*x^4-2)^2))/(x^6+2*x^4-2)^(3/4)*((x^6+2*x^4-2)^3)^(1/4)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

int(-((x^6 - 2)*(x^6 + 4)*(2*x^4 + x^6 - 2)^(1/4))/(x^6*(x^4 - 2*x^6 + 4)), 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-2)*(x**6+4)*(x**6+2*x**4-2)**(1/4)/x**6/(2*x**6-x**4-4),x)

[Out]

Timed out

________________________________________________________________________________________