3.21.41 \(\int \frac {(2+x-x^3-x^4)^{2/3} (6+2 x+x^4) (-2-x+x^3+x^4)}{x^6 (-2-x+2 x^3+x^4)} \, dx\) [2041]

3.21.41.1 Optimal result
3.21.41.2 Mathematica [A] (verified)
3.21.41.3 Rubi [F]
3.21.41.4 Maple [A] (verified)
3.21.41.5 Fricas [A] (verification not implemented)
3.21.41.6 Sympy [F]
3.21.41.7 Maxima [F]
3.21.41.8 Giac [F]
3.21.41.9 Mupad [F(-1)]

3.21.41.1 Optimal result

Integrand size = 55, antiderivative size = 146 \[ \int \frac {\left (2+x-x^3-x^4\right )^{2/3} \left (6+2 x+x^4\right ) \left (-2-x+x^3+x^4\right )}{x^6 \left (-2-x+2 x^3+x^4\right )} \, dx=\frac {3 \left (2+x-x^3-x^4\right )^{2/3} \left (-4-2 x-3 x^3+2 x^4\right )}{10 x^5}+\sqrt {3} \arctan \left (\frac {\sqrt {3} x}{x+2 \sqrt [3]{2+x-x^3-x^4}}\right )-\log \left (-x+\sqrt [3]{2+x-x^3-x^4}\right )+\frac {1}{2} \log \left (x^2+x \sqrt [3]{2+x-x^3-x^4}+\left (2+x-x^3-x^4\right )^{2/3}\right ) \]

output
3/10*(-x^4-x^3+x+2)^(2/3)*(2*x^4-3*x^3-2*x-4)/x^5+3^(1/2)*arctan(3^(1/2)*x 
/(x+2*(-x^4-x^3+x+2)^(1/3)))-ln(-x+(-x^4-x^3+x+2)^(1/3))+1/2*ln(x^2+x*(-x^ 
4-x^3+x+2)^(1/3)+(-x^4-x^3+x+2)^(2/3))
 
3.21.41.2 Mathematica [A] (verified)

Time = 0.18 (sec) , antiderivative size = 146, normalized size of antiderivative = 1.00 \[ \int \frac {\left (2+x-x^3-x^4\right )^{2/3} \left (6+2 x+x^4\right ) \left (-2-x+x^3+x^4\right )}{x^6 \left (-2-x+2 x^3+x^4\right )} \, dx=\frac {3 \left (2+x-x^3-x^4\right )^{2/3} \left (-4-2 x-3 x^3+2 x^4\right )}{10 x^5}+\sqrt {3} \arctan \left (\frac {\sqrt {3} x}{x+2 \sqrt [3]{2+x-x^3-x^4}}\right )-\log \left (-x+\sqrt [3]{2+x-x^3-x^4}\right )+\frac {1}{2} \log \left (x^2+x \sqrt [3]{2+x-x^3-x^4}+\left (2+x-x^3-x^4\right )^{2/3}\right ) \]

input
Integrate[((2 + x - x^3 - x^4)^(2/3)*(6 + 2*x + x^4)*(-2 - x + x^3 + x^4)) 
/(x^6*(-2 - x + 2*x^3 + x^4)),x]
 
output
(3*(2 + x - x^3 - x^4)^(2/3)*(-4 - 2*x - 3*x^3 + 2*x^4))/(10*x^5) + Sqrt[3 
]*ArcTan[(Sqrt[3]*x)/(x + 2*(2 + x - x^3 - x^4)^(1/3))] - Log[-x + (2 + x 
- x^3 - x^4)^(1/3)] + Log[x^2 + x*(2 + x - x^3 - x^4)^(1/3) + (2 + x - x^3 
 - x^4)^(2/3)]/2
 
3.21.41.3 Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\left (-x^4-x^3+x+2\right )^{2/3} \left (x^4+2 x+6\right ) \left (x^4+x^3-x-2\right )}{x^6 \left (x^4+2 x^3-x-2\right )} \, dx\)

\(\Big \downarrow \) 2463

\(\displaystyle \int \left (-\frac {\left (-x^4-x^3+x+2\right )^{2/3} \left (x^4+2 x+6\right ) \left (x^4+x^3-x-2\right )}{9 x^6 (x+2)}+\frac {\left (-x^4-x^3+x+2\right )^{2/3} \left (x^4+2 x+6\right ) \left (x^4+x^3-x-2\right )}{9 (x-1) x^6}-\frac {\left (-x^4-x^3+x+2\right )^{2/3} \left (x^4+2 x+6\right ) \left (x^4+x^3-x-2\right )}{3 x^6 \left (x^2+x+1\right )}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -\int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{x-1}dx+3 \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{x^3}dx+\frac {1}{4} \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{x}dx-\frac {1}{4} \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{x+2}dx+\left (1-i \sqrt {3}\right ) \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{2 x-i \sqrt {3}+1}dx+\left (1+i \sqrt {3}\right ) \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{2 x+i \sqrt {3}+1}dx+6 \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{x^6}dx+2 \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{x^5}dx+\frac {1}{2} \int \frac {\left (-x^4-x^3+x+2\right )^{2/3}}{x^2}dx\)

input
Int[((2 + x - x^3 - x^4)^(2/3)*(6 + 2*x + x^4)*(-2 - x + x^3 + x^4))/(x^6* 
(-2 - x + 2*x^3 + x^4)),x]
 
output
$Aborted
 

3.21.41.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2463
Int[(u_.)*(Px_)^(p_), x_Symbol] :> With[{Qx = Factor[Px]}, Int[ExpandIntegr 
and[u, Qx^p, x], x] /;  !SumQ[NonfreeFactors[Qx, x]]] /; PolyQ[Px, x] && Gt 
Q[Expon[Px, x], 2] &&  !BinomialQ[Px, x] &&  !TrinomialQ[Px, x] && ILtQ[p, 
0]
 
3.21.41.4 Maple [A] (verified)

Time = 6.64 (sec) , antiderivative size = 149, normalized size of antiderivative = 1.02

method result size
pseudoelliptic \(\frac {5 \ln \left (\frac {x^{2}+x \left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}}+\left (-x^{4}-x^{3}+x +2\right )^{\frac {2}{3}}}{x^{2}}\right ) x^{5}-10 \sqrt {3}\, \arctan \left (\frac {\sqrt {3}\, \left (x +2 \left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}}\right )}{3 x}\right ) x^{5}-10 \ln \left (\frac {-x +\left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}}}{x}\right ) x^{5}+\left (6 x^{4}-9 x^{3}-6 x -12\right ) \left (-x^{4}-x^{3}+x +2\right )^{\frac {2}{3}}}{10 x^{5}}\) \(149\)
risch \(-\frac {3 \left (2 x^{8}-x^{7}-3 x^{6}-4 x^{5}-7 x^{4}+2 x^{3}+2 x^{2}+8 x +8\right )}{10 x^{5} \left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}}}-\ln \left (-\frac {\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{4}-x^{3}+x +2\right )^{\frac {2}{3}} x -2 \operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}} x^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{3}+x^{4}+\left (-x^{4}-x^{3}+x +2\right )^{\frac {2}{3}} x +\left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}} x^{2}-x -2}{\left (2+x \right ) \left (\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x +1\right ) \left (-1-x +\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x \right ) \left (-1+x \right )}\right )+\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \ln \left (\frac {-\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{3}+\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{4}+\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{4}-x^{3}+x +2\right )^{\frac {2}{3}} x +\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}} x^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{3}-2 \left (-x^{4}-x^{3}+x +2\right )^{\frac {2}{3}} x +\left (-x^{4}-x^{3}+x +2\right )^{\frac {1}{3}} x^{2}-\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x -2 \operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )}{\left (2+x \right ) \left (\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x +1\right ) \left (-1-x +\operatorname {RootOf}\left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x \right ) \left (-1+x \right )}\right )\) \(434\)
trager \(\text {Expression too large to display}\) \(843\)

input
int((-x^4-x^3+x+2)^(2/3)*(x^4+2*x+6)*(x^4+x^3-x-2)/x^6/(x^4+2*x^3-x-2),x,m 
ethod=_RETURNVERBOSE)
 
output
1/10*(5*ln((x^2+x*(-x^4-x^3+x+2)^(1/3)+(-x^4-x^3+x+2)^(2/3))/x^2)*x^5-10*3 
^(1/2)*arctan(1/3*3^(1/2)/x*(x+2*(-x^4-x^3+x+2)^(1/3)))*x^5-10*ln((-x+(-x^ 
4-x^3+x+2)^(1/3))/x)*x^5+(6*x^4-9*x^3-6*x-12)*(-x^4-x^3+x+2)^(2/3))/x^5
 
3.21.41.5 Fricas [A] (verification not implemented)

Time = 1.99 (sec) , antiderivative size = 204, normalized size of antiderivative = 1.40 \[ \int \frac {\left (2+x-x^3-x^4\right )^{2/3} \left (6+2 x+x^4\right ) \left (-2-x+x^3+x^4\right )}{x^6 \left (-2-x+2 x^3+x^4\right )} \, dx=-\frac {10 \, \sqrt {3} x^{5} \arctan \left (-\frac {49772 \, \sqrt {3} {\left (-x^{4} - x^{3} + x + 2\right )}^{\frac {1}{3}} x^{2} - 31378 \, \sqrt {3} {\left (-x^{4} - x^{3} + x + 2\right )}^{\frac {2}{3}} x - \sqrt {3} {\left (17661 \, x^{4} + 26125 \, x^{3} - 17661 \, x - 35322\right )}}{24389 \, x^{4} - 72947 \, x^{3} - 24389 \, x - 48778}\right ) + 5 \, x^{5} \log \left (\frac {x^{4} + 2 \, x^{3} - 3 \, {\left (-x^{4} - x^{3} + x + 2\right )}^{\frac {1}{3}} x^{2} + 3 \, {\left (-x^{4} - x^{3} + x + 2\right )}^{\frac {2}{3}} x - x - 2}{x^{4} + 2 \, x^{3} - x - 2}\right ) - 3 \, {\left (2 \, x^{4} - 3 \, x^{3} - 2 \, x - 4\right )} {\left (-x^{4} - x^{3} + x + 2\right )}^{\frac {2}{3}}}{10 \, x^{5}} \]

input
integrate((-x^4-x^3+x+2)^(2/3)*(x^4+2*x+6)*(x^4+x^3-x-2)/x^6/(x^4+2*x^3-x- 
2),x, algorithm="fricas")
 
output
-1/10*(10*sqrt(3)*x^5*arctan(-(49772*sqrt(3)*(-x^4 - x^3 + x + 2)^(1/3)*x^ 
2 - 31378*sqrt(3)*(-x^4 - x^3 + x + 2)^(2/3)*x - sqrt(3)*(17661*x^4 + 2612 
5*x^3 - 17661*x - 35322))/(24389*x^4 - 72947*x^3 - 24389*x - 48778)) + 5*x 
^5*log((x^4 + 2*x^3 - 3*(-x^4 - x^3 + x + 2)^(1/3)*x^2 + 3*(-x^4 - x^3 + x 
 + 2)^(2/3)*x - x - 2)/(x^4 + 2*x^3 - x - 2)) - 3*(2*x^4 - 3*x^3 - 2*x - 4 
)*(-x^4 - x^3 + x + 2)^(2/3))/x^5
 
3.21.41.6 Sympy [F]

\[ \int \frac {\left (2+x-x^3-x^4\right )^{2/3} \left (6+2 x+x^4\right ) \left (-2-x+x^3+x^4\right )}{x^6 \left (-2-x+2 x^3+x^4\right )} \, dx=\int \frac {\left (x^{4} + 2 x + 6\right ) \left (- x^{4} - x^{3} + x + 2\right )^{\frac {2}{3}} \left (x^{4} + x^{3} - x - 2\right )}{x^{6} \left (x - 1\right ) \left (x + 2\right ) \left (x^{2} + x + 1\right )}\, dx \]

input
integrate((-x**4-x**3+x+2)**(2/3)*(x**4+2*x+6)*(x**4+x**3-x-2)/x**6/(x**4+ 
2*x**3-x-2),x)
 
output
Integral((x**4 + 2*x + 6)*(-x**4 - x**3 + x + 2)**(2/3)*(x**4 + x**3 - x - 
 2)/(x**6*(x - 1)*(x + 2)*(x**2 + x + 1)), x)
 
3.21.41.7 Maxima [F]

\[ \int \frac {\left (2+x-x^3-x^4\right )^{2/3} \left (6+2 x+x^4\right ) \left (-2-x+x^3+x^4\right )}{x^6 \left (-2-x+2 x^3+x^4\right )} \, dx=\int { \frac {{\left (x^{4} + x^{3} - x - 2\right )} {\left (x^{4} + 2 \, x + 6\right )} {\left (-x^{4} - x^{3} + x + 2\right )}^{\frac {2}{3}}}{{\left (x^{4} + 2 \, x^{3} - x - 2\right )} x^{6}} \,d x } \]

input
integrate((-x^4-x^3+x+2)^(2/3)*(x^4+2*x+6)*(x^4+x^3-x-2)/x^6/(x^4+2*x^3-x- 
2),x, algorithm="maxima")
 
output
integrate((x^4 + x^3 - x - 2)*(x^4 + 2*x + 6)*(-x^4 - x^3 + x + 2)^(2/3)/( 
(x^4 + 2*x^3 - x - 2)*x^6), x)
 
3.21.41.8 Giac [F]

\[ \int \frac {\left (2+x-x^3-x^4\right )^{2/3} \left (6+2 x+x^4\right ) \left (-2-x+x^3+x^4\right )}{x^6 \left (-2-x+2 x^3+x^4\right )} \, dx=\int { \frac {{\left (x^{4} + x^{3} - x - 2\right )} {\left (x^{4} + 2 \, x + 6\right )} {\left (-x^{4} - x^{3} + x + 2\right )}^{\frac {2}{3}}}{{\left (x^{4} + 2 \, x^{3} - x - 2\right )} x^{6}} \,d x } \]

input
integrate((-x^4-x^3+x+2)^(2/3)*(x^4+2*x+6)*(x^4+x^3-x-2)/x^6/(x^4+2*x^3-x- 
2),x, algorithm="giac")
 
output
integrate((x^4 + x^3 - x - 2)*(x^4 + 2*x + 6)*(-x^4 - x^3 + x + 2)^(2/3)/( 
(x^4 + 2*x^3 - x - 2)*x^6), x)
 
3.21.41.9 Mupad [F(-1)]

Timed out. \[ \int \frac {\left (2+x-x^3-x^4\right )^{2/3} \left (6+2 x+x^4\right ) \left (-2-x+x^3+x^4\right )}{x^6 \left (-2-x+2 x^3+x^4\right )} \, dx=\int \frac {\left (x^4+2\,x+6\right )\,{\left (-x^4-x^3+x+2\right )}^{5/3}}{x^6\,\left (-x^4-2\,x^3+x+2\right )} \,d x \]

input
int(((2*x + x^4 + 6)*(x - x^3 - x^4 + 2)^(5/3))/(x^6*(x - 2*x^3 - x^4 + 2) 
),x)
 
output
int(((2*x + x^4 + 6)*(x - x^3 - x^4 + 2)^(5/3))/(x^6*(x - 2*x^3 - x^4 + 2) 
), x)