\(\int \frac {(-4+5 x^7) \sqrt [3]{-2 x+2 x^3-x^8}}{(2+x^7) (2-2 x^2+x^7)} \, dx\) [2078]

Optimal result
Mathematica [A] (verified)
Rubi [F]
Maple [A] (verified)
Fricas [B] (verification not implemented)
Sympy [F(-1)]
Maxima [F]
Giac [F]
Mupad [F(-1)]
Reduce [F]

Optimal result

Integrand size = 45, antiderivative size = 150 \[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=-\frac {\sqrt {3} \arctan \left (\frac {\sqrt {3} x}{x+2^{2/3} \sqrt [3]{-2 x+2 x^3-x^8}}\right )}{2^{2/3}}-\frac {\log \left (-2 x+2^{2/3} \sqrt [3]{-2 x+2 x^3-x^8}\right )}{2^{2/3}}+\frac {\log \left (2 x^2+2^{2/3} x \sqrt [3]{-2 x+2 x^3-x^8}+\sqrt [3]{2} \left (-2 x+2 x^3-x^8\right )^{2/3}\right )}{2\ 2^{2/3}} \] Output:

-1/2*3^(1/2)*arctan(3^(1/2)*x/(x+2^(2/3)*(-x^8+2*x^3-2*x)^(1/3)))*2^(1/3)- 
1/2*ln(-2*x+2^(2/3)*(-x^8+2*x^3-2*x)^(1/3))*2^(1/3)+1/4*ln(2*x^2+2^(2/3)*x 
*(-x^8+2*x^3-2*x)^(1/3)+2^(1/3)*(-x^8+2*x^3-2*x)^(2/3))*2^(1/3)
 

Mathematica [A] (verified)

Time = 3.65 (sec) , antiderivative size = 180, normalized size of antiderivative = 1.20 \[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=\frac {x^{2/3} \left (2-2 x^2+x^7\right )^{2/3} \left (-2 \sqrt {3} \arctan \left (\frac {\sqrt {3} x^{2/3}}{x^{2/3}-2^{2/3} \sqrt [3]{2-2 x^2+x^7}}\right )-2 \log \left (2 x^{2/3}+2^{2/3} \sqrt [3]{2-2 x^2+x^7}\right )+\log \left (-2 x^{4/3}+2^{2/3} x^{2/3} \sqrt [3]{2-2 x^2+x^7}-\sqrt [3]{2} \left (2-2 x^2+x^7\right )^{2/3}\right )\right )}{2\ 2^{2/3} \left (-x \left (2-2 x^2+x^7\right )\right )^{2/3}} \] Input:

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

Output:

(x^(2/3)*(2 - 2*x^2 + x^7)^(2/3)*(-2*Sqrt[3]*ArcTan[(Sqrt[3]*x^(2/3))/(x^( 
2/3) - 2^(2/3)*(2 - 2*x^2 + x^7)^(1/3))] - 2*Log[2*x^(2/3) + 2^(2/3)*(2 - 
2*x^2 + x^7)^(1/3)] + Log[-2*x^(4/3) + 2^(2/3)*x^(2/3)*(2 - 2*x^2 + x^7)^( 
1/3) - 2^(1/3)*(2 - 2*x^2 + x^7)^(2/3)]))/(2*2^(2/3)*(-(x*(2 - 2*x^2 + x^7 
)))^(2/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 (5 x^7-4\right ) \sqrt [3]{-x^8+2 x^3-2 x}}{\left (x^7+2\right ) \left (x^7-2 x^2+2\right )} \, dx\)

\(\Big \downarrow \) 2467

\(\displaystyle \frac {\sqrt [3]{-x^8+2 x^3-2 x} \int -\frac {\sqrt [3]{x} \left (4-5 x^7\right ) \sqrt [3]{-x^7+2 x^2-2}}{\left (x^7+2\right ) \left (x^7-2 x^2+2\right )}dx}{\sqrt [3]{x} \sqrt [3]{-x^7+2 x^2-2}}\)

\(\Big \downarrow \) 25

\(\displaystyle -\frac {\sqrt [3]{-x^8+2 x^3-2 x} \int \frac {\sqrt [3]{x} \left (4-5 x^7\right ) \sqrt [3]{-x^7+2 x^2-2}}{\left (x^7+2\right ) \left (x^7-2 x^2+2\right )}dx}{\sqrt [3]{x} \sqrt [3]{-x^7+2 x^2-2}}\)

\(\Big \downarrow \) 2019

\(\displaystyle -\frac {\sqrt [3]{-x^8+2 x^3-2 x} \int -\frac {\sqrt [3]{x} \left (4-5 x^7\right )}{\left (-x^7+2 x^2-2\right )^{2/3} \left (x^7+2\right )}dx}{\sqrt [3]{x} \sqrt [3]{-x^7+2 x^2-2}}\)

\(\Big \downarrow \) 25

\(\displaystyle \frac {\sqrt [3]{-x^8+2 x^3-2 x} \int \frac {\sqrt [3]{x} \left (4-5 x^7\right )}{\left (-x^7+2 x^2-2\right )^{2/3} \left (x^7+2\right )}dx}{\sqrt [3]{x} \sqrt [3]{-x^7+2 x^2-2}}\)

\(\Big \downarrow \) 2035

\(\displaystyle \frac {3 \sqrt [3]{-x^8+2 x^3-2 x} \int \frac {x \left (4-5 x^7\right )}{\left (-x^7+2 x^2-2\right )^{2/3} \left (x^7+2\right )}d\sqrt [3]{x}}{\sqrt [3]{x} \sqrt [3]{-x^7+2 x^2-2}}\)

\(\Big \downarrow \) 7276

\(\displaystyle \frac {3 \sqrt [3]{-x^8+2 x^3-2 x} \int \left (\frac {14 x}{\left (-x^7+2 x^2-2\right )^{2/3} \left (x^7+2\right )}-\frac {5 x}{\left (-x^7+2 x^2-2\right )^{2/3}}\right )d\sqrt [3]{x}}{\sqrt [3]{x} \sqrt [3]{-x^7+2 x^2-2}}\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {3 \sqrt [3]{-x^8+2 x^3-2 x} \left (\frac {1}{9} (-2)^{4/21} \int \frac {1}{\left (\sqrt [21]{-2}-\sqrt [3]{x}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} 2^{4/21} \int \frac {1}{\left (-\sqrt [3]{x}-\sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{8/21} 2^{4/21} \int \frac {1}{\left (-\sqrt [3]{x}-(-1)^{2/21} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{4/7} 2^{4/21} \int \frac {1}{\left (\sqrt [7]{-1} \sqrt [21]{2}-\sqrt [3]{x}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{16/21} 2^{4/21} \int \frac {1}{\left (-\sqrt [3]{x}-(-1)^{4/21} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{20/21} 2^{4/21} \int \frac {1}{\left ((-1)^{5/21} \sqrt [21]{2}-\sqrt [3]{x}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}-\frac {1}{9} \sqrt [7]{-1} 2^{4/21} \int \frac {1}{\left (-\sqrt [3]{x}-(-1)^{2/7} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-2)^{4/21} \int \frac {1}{\left (\sqrt [3]{-1} \sqrt [3]{x}+\sqrt [21]{-2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} 2^{4/21} \int \frac {1}{\left (\sqrt [3]{-1} \sqrt [3]{x}-\sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{8/21} 2^{4/21} \int \frac {1}{\left (\sqrt [3]{-1} \sqrt [3]{x}-(-1)^{2/21} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{4/7} 2^{4/21} \int \frac {1}{\left (\sqrt [3]{-1} \sqrt [3]{x}+\sqrt [7]{-1} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{16/21} 2^{4/21} \int \frac {1}{\left (\sqrt [3]{-1} \sqrt [3]{x}-(-1)^{4/21} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{20/21} 2^{4/21} \int \frac {1}{\left (\sqrt [3]{-1} \sqrt [3]{x}+(-1)^{5/21} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}-\frac {1}{9} \sqrt [7]{-1} 2^{4/21} \int \frac {1}{\left (\sqrt [3]{-1} \sqrt [3]{x}-(-1)^{2/7} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-2)^{4/21} \int \frac {1}{\left (\sqrt [21]{-2}-(-1)^{2/3} \sqrt [3]{x}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} 2^{4/21} \int \frac {1}{\left (-(-1)^{2/3} \sqrt [3]{x}-\sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{8/21} 2^{4/21} \int \frac {1}{\left (-(-1)^{2/3} \sqrt [3]{x}-(-1)^{2/21} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{4/7} 2^{4/21} \int \frac {1}{\left (\sqrt [7]{-1} \sqrt [21]{2}-(-1)^{2/3} \sqrt [3]{x}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{16/21} 2^{4/21} \int \frac {1}{\left (-(-1)^{2/3} \sqrt [3]{x}-(-1)^{4/21} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}+\frac {1}{9} (-1)^{20/21} 2^{4/21} \int \frac {1}{\left ((-1)^{5/21} \sqrt [21]{2}-(-1)^{2/3} \sqrt [3]{x}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}-\frac {1}{9} \sqrt [7]{-1} 2^{4/21} \int \frac {1}{\left (-(-1)^{2/3} \sqrt [3]{x}-(-1)^{2/7} \sqrt [21]{2}\right ) \left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}-5 \int \frac {x}{\left (-x^7+2 x^2-2\right )^{2/3}}d\sqrt [3]{x}\right )}{\sqrt [3]{x} \sqrt [3]{-x^7+2 x^2-2}}\)

Input:

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

Output:

$Aborted
 
Maple [A] (verified)

Time = 315.44 (sec) , antiderivative size = 119, normalized size of antiderivative = 0.79

method result size
pseudoelliptic \(\frac {2^{\frac {1}{3}} \left (2 \sqrt {3}\, \arctan \left (\frac {\sqrt {3}\, \left (2^{\frac {2}{3}} {\left (-x \left (x^{7}-2 x^{2}+2\right )\right )}^{\frac {1}{3}}+x \right )}{3 x}\right )-2 \ln \left (\frac {-2^{\frac {1}{3}} x +{\left (-x \left (x^{7}-2 x^{2}+2\right )\right )}^{\frac {1}{3}}}{x}\right )+\ln \left (\frac {2^{\frac {2}{3}} x^{2}+2^{\frac {1}{3}} {\left (-x \left (x^{7}-2 x^{2}+2\right )\right )}^{\frac {1}{3}} x +{\left (-x \left (x^{7}-2 x^{2}+2\right )\right )}^{\frac {2}{3}}}{x^{2}}\right )\right )}{4}\) \(119\)
trager \(\text {Expression too large to display}\) \(1001\)

Input:

int((5*x^7-4)*(-x^8+2*x^3-2*x)^(1/3)/(x^7+2)/(x^7-2*x^2+2),x,method=_RETUR 
NVERBOSE)
 

Output:

1/4*2^(1/3)*(2*3^(1/2)*arctan(1/3*3^(1/2)*(2^(2/3)*(-x*(x^7-2*x^2+2))^(1/3 
)+x)/x)-2*ln((-2^(1/3)*x+(-x*(x^7-2*x^2+2))^(1/3))/x)+ln((2^(2/3)*x^2+2^(1 
/3)*(-x*(x^7-2*x^2+2))^(1/3)*x+(-x*(x^7-2*x^2+2))^(2/3))/x^2))
 

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 364 vs. \(2 (122) = 244\).

Time = 4.64 (sec) , antiderivative size = 364, normalized size of antiderivative = 2.43 \[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=\frac {1}{6} \cdot 4^{\frac {1}{6}} \sqrt {3} \arctan \left (\frac {4^{\frac {1}{6}} \sqrt {3} {\left (6 \cdot 4^{\frac {2}{3}} {\left (x^{15} - 18 \, x^{10} + 4 \, x^{8} + 36 \, x^{5} - 36 \, x^{3} + 4 \, x\right )} {\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {1}{3}} + 12 \, {\left (x^{14} - 6 \, x^{9} + 4 \, x^{7} - 12 \, x^{2} + 4\right )} {\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {2}{3}} - 4^{\frac {1}{3}} {\left (x^{21} - 36 \, x^{16} + 6 \, x^{14} + 180 \, x^{11} - 144 \, x^{9} + 12 \, x^{7} - 216 \, x^{6} + 360 \, x^{4} - 144 \, x^{2} + 8\right )}\right )}}{6 \, {\left (x^{21} + 6 \, x^{14} - 108 \, x^{11} + 12 \, x^{7} + 216 \, x^{6} - 216 \, x^{4} + 8\right )}}\right ) + \frac {1}{24} \cdot 4^{\frac {2}{3}} \log \left (-\frac {6 \cdot 4^{\frac {1}{3}} {\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {2}{3}} {\left (x^{7} - 6 \, x^{2} + 2\right )} - 4^{\frac {2}{3}} {\left (x^{14} - 18 \, x^{9} + 4 \, x^{7} + 36 \, x^{4} - 36 \, x^{2} + 4\right )} + 24 \, {\left (x^{8} - 3 \, x^{3} + 2 \, x\right )} {\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {1}{3}}}{x^{14} + 4 \, x^{7} + 4}\right ) - \frac {1}{12} \cdot 4^{\frac {2}{3}} \log \left (\frac {3 \cdot 4^{\frac {2}{3}} {\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {1}{3}} x - 4^{\frac {1}{3}} {\left (x^{7} + 2\right )} - 6 \, {\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {2}{3}}}{x^{7} + 2}\right ) \] Input:

integrate((5*x^7-4)*(-x^8+2*x^3-2*x)^(1/3)/(x^7+2)/(x^7-2*x^2+2),x, algori 
thm="fricas")
 

Output:

1/6*4^(1/6)*sqrt(3)*arctan(1/6*4^(1/6)*sqrt(3)*(6*4^(2/3)*(x^15 - 18*x^10 
+ 4*x^8 + 36*x^5 - 36*x^3 + 4*x)*(-x^8 + 2*x^3 - 2*x)^(1/3) + 12*(x^14 - 6 
*x^9 + 4*x^7 - 12*x^2 + 4)*(-x^8 + 2*x^3 - 2*x)^(2/3) - 4^(1/3)*(x^21 - 36 
*x^16 + 6*x^14 + 180*x^11 - 144*x^9 + 12*x^7 - 216*x^6 + 360*x^4 - 144*x^2 
 + 8))/(x^21 + 6*x^14 - 108*x^11 + 12*x^7 + 216*x^6 - 216*x^4 + 8)) + 1/24 
*4^(2/3)*log(-(6*4^(1/3)*(-x^8 + 2*x^3 - 2*x)^(2/3)*(x^7 - 6*x^2 + 2) - 4^ 
(2/3)*(x^14 - 18*x^9 + 4*x^7 + 36*x^4 - 36*x^2 + 4) + 24*(x^8 - 3*x^3 + 2* 
x)*(-x^8 + 2*x^3 - 2*x)^(1/3))/(x^14 + 4*x^7 + 4)) - 1/12*4^(2/3)*log((3*4 
^(2/3)*(-x^8 + 2*x^3 - 2*x)^(1/3)*x - 4^(1/3)*(x^7 + 2) - 6*(-x^8 + 2*x^3 
- 2*x)^(2/3))/(x^7 + 2))
 

Sympy [F(-1)]

Timed out. \[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=\text {Timed out} \] Input:

integrate((5*x**7-4)*(-x**8+2*x**3-2*x)**(1/3)/(x**7+2)/(x**7-2*x**2+2),x)
 

Output:

Timed out
 

Maxima [F]

\[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=\int { \frac {{\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {1}{3}} {\left (5 \, x^{7} - 4\right )}}{{\left (x^{7} - 2 \, x^{2} + 2\right )} {\left (x^{7} + 2\right )}} \,d x } \] Input:

integrate((5*x^7-4)*(-x^8+2*x^3-2*x)^(1/3)/(x^7+2)/(x^7-2*x^2+2),x, algori 
thm="maxima")
 

Output:

integrate((-x^8 + 2*x^3 - 2*x)^(1/3)*(5*x^7 - 4)/((x^7 - 2*x^2 + 2)*(x^7 + 
 2)), x)
 

Giac [F]

\[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=\int { \frac {{\left (-x^{8} + 2 \, x^{3} - 2 \, x\right )}^{\frac {1}{3}} {\left (5 \, x^{7} - 4\right )}}{{\left (x^{7} - 2 \, x^{2} + 2\right )} {\left (x^{7} + 2\right )}} \,d x } \] Input:

integrate((5*x^7-4)*(-x^8+2*x^3-2*x)^(1/3)/(x^7+2)/(x^7-2*x^2+2),x, algori 
thm="giac")
 

Output:

integrate((-x^8 + 2*x^3 - 2*x)^(1/3)*(5*x^7 - 4)/((x^7 - 2*x^2 + 2)*(x^7 + 
 2)), x)
 

Mupad [F(-1)]

Timed out. \[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=\int \frac {\left (5\,x^7-4\right )\,{\left (-x^8+2\,x^3-2\,x\right )}^{1/3}}{\left (x^7+2\right )\,\left (x^7-2\,x^2+2\right )} \,d x \] Input:

int(((5*x^7 - 4)*(2*x^3 - 2*x - x^8)^(1/3))/((x^7 + 2)*(x^7 - 2*x^2 + 2)), 
x)
 

Output:

int(((5*x^7 - 4)*(2*x^3 - 2*x - x^8)^(1/3))/((x^7 + 2)*(x^7 - 2*x^2 + 2)), 
 x)
 

Reduce [F]

\[ \int \frac {\left (-4+5 x^7\right ) \sqrt [3]{-2 x+2 x^3-x^8}}{\left (2+x^7\right ) \left (2-2 x^2+x^7\right )} \, dx=5 \left (\int \frac {x^{\frac {22}{3}} \left (-x^{7}+2 x^{2}-2\right )^{\frac {1}{3}}}{x^{14}-2 x^{9}+4 x^{7}-4 x^{2}+4}d x \right )-4 \left (\int \frac {x^{\frac {1}{3}} \left (-x^{7}+2 x^{2}-2\right )^{\frac {1}{3}}}{x^{14}-2 x^{9}+4 x^{7}-4 x^{2}+4}d x \right ) \] Input:

int((5*x^7-4)*(-x^8+2*x^3-2*x)^(1/3)/(x^7+2)/(x^7-2*x^2+2),x)
 

Output:

5*int((x**(1/3)*( - x**7 + 2*x**2 - 2)**(1/3)*x**7)/(x**14 - 2*x**9 + 4*x* 
*7 - 4*x**2 + 4),x) - 4*int((x**(1/3)*( - x**7 + 2*x**2 - 2)**(1/3))/(x**1 
4 - 2*x**9 + 4*x**7 - 4*x**2 + 4),x)