Integrand size = 60, antiderivative size = 206 \[ \int \frac {\left (2-2 x^4+3 x^5+4 x^6\right ) \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{\left (-1+x^2-x^4+x^5+x^6\right )^2} \, dx=-\frac {x \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{-1+x^2-x^4+x^5+x^6}-\frac {\arctan \left (\frac {\sqrt {3} \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{2 x+\sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}\right )}{\sqrt {3}}+\frac {1}{3} \log \left (-x+\sqrt [3]{-x+2 x^3-x^5+x^6+x^7}\right )-\frac {1}{6} \log \left (x^2+x \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}+\left (-x+2 x^3-x^5+x^6+x^7\right )^{2/3}\right ) \]
-x*(x^7+x^6-x^5+2*x^3-x)^(1/3)/(x^6+x^5-x^4+x^2-1)-1/3*arctan(3^(1/2)*(x^7 +x^6-x^5+2*x^3-x)^(1/3)/(2*x+(x^7+x^6-x^5+2*x^3-x)^(1/3)))*3^(1/2)+1/3*ln( -x+(x^7+x^6-x^5+2*x^3-x)^(1/3))-1/6*ln(x^2+x*(x^7+x^6-x^5+2*x^3-x)^(1/3)+( x^7+x^6-x^5+2*x^3-x)^(2/3))
Time = 6.87 (sec) , antiderivative size = 285, normalized size of antiderivative = 1.38 \[ \int \frac {\left (2-2 x^4+3 x^5+4 x^6\right ) \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{\left (-1+x^2-x^4+x^5+x^6\right )^2} \, dx=\frac {\sqrt [3]{x \left (-1+2 x^2-x^4+x^5+x^6\right )} \left (-\frac {6 x^{4/3}}{-1+x^2-x^4+x^5+x^6}-\frac {2 \sqrt {3} \arctan \left (\frac {\sqrt {3} \sqrt [3]{-1+2 x^2-x^4+x^5+x^6}}{2 x^{2/3}+\sqrt [3]{-1+2 x^2-x^4+x^5+x^6}}\right )}{\sqrt [3]{-1+2 x^2-x^4+x^5+x^6}}+\frac {2 \log \left (-x^{2/3}+\sqrt [3]{-1+2 x^2-x^4+x^5+x^6}\right )}{\sqrt [3]{-1+2 x^2-x^4+x^5+x^6}}-\frac {\log \left (x^{4/3}+x^{2/3} \sqrt [3]{-1+2 x^2-x^4+x^5+x^6}+\left (-1+2 x^2-x^4+x^5+x^6\right )^{2/3}\right )}{\sqrt [3]{-1+2 x^2-x^4+x^5+x^6}}\right )}{6 \sqrt [3]{x}} \]
Integrate[((2 - 2*x^4 + 3*x^5 + 4*x^6)*(-x + 2*x^3 - x^5 + x^6 + x^7)^(1/3 ))/(-1 + x^2 - x^4 + x^5 + x^6)^2,x]
((x*(-1 + 2*x^2 - x^4 + x^5 + x^6))^(1/3)*((-6*x^(4/3))/(-1 + x^2 - x^4 + x^5 + x^6) - (2*Sqrt[3]*ArcTan[(Sqrt[3]*(-1 + 2*x^2 - x^4 + x^5 + x^6)^(1/ 3))/(2*x^(2/3) + (-1 + 2*x^2 - x^4 + x^5 + x^6)^(1/3))])/(-1 + 2*x^2 - x^4 + x^5 + x^6)^(1/3) + (2*Log[-x^(2/3) + (-1 + 2*x^2 - x^4 + x^5 + x^6)^(1/ 3)])/(-1 + 2*x^2 - x^4 + x^5 + x^6)^(1/3) - Log[x^(4/3) + x^(2/3)*(-1 + 2* x^2 - x^4 + x^5 + x^6)^(1/3) + (-1 + 2*x^2 - x^4 + x^5 + x^6)^(2/3)]/(-1 + 2*x^2 - x^4 + x^5 + x^6)^(1/3)))/(6*x^(1/3))
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 (4 x^6+3 x^5-2 x^4+2\right ) \sqrt [3]{x^7+x^6-x^5+2 x^3-x}}{\left (x^6+x^5-x^4+x^2-1\right )^2} \, dx\) |
\(\Big \downarrow \) 2467 |
\(\displaystyle \frac {\sqrt [3]{x^7+x^6-x^5+2 x^3-x} \int \frac {\sqrt [3]{x} \sqrt [3]{x^6+x^5-x^4+2 x^2-1} \left (4 x^6+3 x^5-2 x^4+2\right )}{\left (-x^6-x^5+x^4-x^2+1\right )^2}dx}{\sqrt [3]{x} \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}\) |
\(\Big \downarrow \) 2035 |
\(\displaystyle \frac {3 \sqrt [3]{x^7+x^6-x^5+2 x^3-x} \int \frac {x \sqrt [3]{x^6+x^5-x^4+2 x^2-1} \left (4 x^6+3 x^5-2 x^4+2\right )}{\left (-x^6-x^5+x^4-x^2+1\right )^2}d\sqrt [3]{x}}{\sqrt [3]{x} \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \frac {3 \sqrt [3]{x^7+x^6-x^5+2 x^3-x} \int \left (\frac {\sqrt [3]{x^6+x^5-x^4+2 x^2-1} (4 x-1)}{x^6+x^5-x^4+x^2-1}+\frac {\left (3 x^5-x^4-4 x^3+x^2+6 x-1\right ) \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{\left (x^6+x^5-x^4+x^2-1\right )^2}\right )d\sqrt [3]{x}}{\sqrt [3]{x} \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle \frac {3 \sqrt [3]{x^7+x^6-x^5+2 x^3-x} \left (\int \frac {\sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{-x^6-x^5+x^4-x^2+1}d\sqrt [3]{x}-\int \frac {\sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{\left (x^6+x^5-x^4+x^2-1\right )^2}d\sqrt [3]{x}+6 \int \frac {x \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{\left (x^6+x^5-x^4+x^2-1\right )^2}d\sqrt [3]{x}+\int \frac {x^2 \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{\left (x^6+x^5-x^4+x^2-1\right )^2}d\sqrt [3]{x}-\int \frac {x^4 \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{\left (x^6+x^5-x^4+x^2-1\right )^2}d\sqrt [3]{x}+3 \int \frac {x^5 \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{\left (x^6+x^5-x^4+x^2-1\right )^2}d\sqrt [3]{x}+4 \int \frac {x \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{x^6+x^5-x^4+x^2-1}d\sqrt [3]{x}-4 \int \frac {x^3 \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}{\left (x^6+x^5-x^4+x^2-1\right )^2}d\sqrt [3]{x}\right )}{\sqrt [3]{x} \sqrt [3]{x^6+x^5-x^4+2 x^2-1}}\) |
Int[((2 - 2*x^4 + 3*x^5 + 4*x^6)*(-x + 2*x^3 - x^5 + x^6 + x^7)^(1/3))/(-1 + x^2 - x^4 + x^5 + x^6)^2,x]
3.25.94.3.1 Defintions of rubi rules used
Int[(Fx_)*(x_)^(m_), x_Symbol] :> With[{k = Denominator[m]}, Simp[k Subst [Int[x^(k*(m + 1) - 1)*SubstPower[Fx, x, k], x], x, x^(1/k)], x]] /; Fracti onQ[m] && AlgebraicFunctionQ[Fx, x]
Int[(Fx_.)*(Px_)^(p_), x_Symbol] :> With[{r = Expon[Px, x, Min]}, Simp[Px^F racPart[p]/(x^(r*FracPart[p])*ExpandToSum[Px/x^r, x]^FracPart[p]) Int[x^( p*r)*ExpandToSum[Px/x^r, x]^p*Fx, x], x] /; IGtQ[r, 0]] /; FreeQ[p, x] && P olyQ[Px, x] && !IntegerQ[p] && !MonomialQ[Px, x] && !PolyQ[Fx, x]
Time = 17.94 (sec) , antiderivative size = 255, normalized size of antiderivative = 1.24
method | result | size |
pseudoelliptic | \(\frac {\left (6 x \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}+\left (x^{6}+x^{5}-x^{4}+x^{2}-1\right ) \left (2 \sqrt {3}\, \arctan \left (\frac {\left (2 \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}+x \right ) \sqrt {3}}{3 x}\right )+\ln \left (\frac {x^{2}+x \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}+\left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {2}{3}}}{x^{2}}\right )-2 \ln \left (\frac {-x +\left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}}{x}\right )\right )\right ) x}{6 \left (x -\left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}\right ) \left (\left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {2}{3}}+x \left (x +\left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}\right )\right )}\) | \(255\) |
trager | \(-\frac {x \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}}{x^{6}+x^{5}-x^{4}+x^{2}-1}+\frac {\ln \left (\frac {726439828539024 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{6}+726439828539024 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{5}+948727463035299 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{6}-726439828539024 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{4}+948727463035299 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{5}+222287634496275 x^{6}-948727463035299 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{4}+222287634496275 x^{5}-222287634496275 x^{4}-1131297147498108 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {2}{3}}+142851734429343 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}} x +1695026266591056 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{2}-726439828539024 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2}-47617244809781 \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {2}{3}}-329481804356255 x \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}+518671147157975 x^{2}-948727463035299 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )-222287634496275}{x^{6}+x^{5}-x^{4}+x^{2}-1}\right )}{3}+\operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \ln \left (-\frac {59576925050199 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{6}+59576925050199 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{5}-262005584529741 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{6}-59576925050199 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2} x^{4}-262005584529741 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{5}+148191756330850 x^{6}+262005584529741 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{4}+148191756330850 x^{5}-148191756330850 x^{4}-1131297147498108 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {2}{3}}+988445413068765 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}} x -139012825117131 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right ) x^{2}-59576925050199 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )^{2}-329481804356255 \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {2}{3}}-47617244809781 x \left (x^{7}+x^{6}-x^{5}+2 x^{3}-x \right )^{\frac {1}{3}}+518671147157975 x^{2}+262005584529741 \operatorname {RootOf}\left (9 \textit {\_Z}^{2}+3 \textit {\_Z} +1\right )-148191756330850}{x^{6}+x^{5}-x^{4}+x^{2}-1}\right )\) | \(676\) |
risch | \(\text {Expression too large to display}\) | \(3644\) |
int((4*x^6+3*x^5-2*x^4+2)*(x^7+x^6-x^5+2*x^3-x)^(1/3)/(x^6+x^5-x^4+x^2-1)^ 2,x,method=_RETURNVERBOSE)
1/6*(6*x*(x^7+x^6-x^5+2*x^3-x)^(1/3)+(x^6+x^5-x^4+x^2-1)*(2*3^(1/2)*arctan (1/3*(2*(x^7+x^6-x^5+2*x^3-x)^(1/3)+x)*3^(1/2)/x)+ln((x^2+x*(x^7+x^6-x^5+2 *x^3-x)^(1/3)+(x^7+x^6-x^5+2*x^3-x)^(2/3))/x^2)-2*ln((-x+(x^7+x^6-x^5+2*x^ 3-x)^(1/3))/x)))*x/(x-(x^7+x^6-x^5+2*x^3-x)^(1/3))/((x^7+x^6-x^5+2*x^3-x)^ (2/3)+x*(x+(x^7+x^6-x^5+2*x^3-x)^(1/3)))
Time = 2.73 (sec) , antiderivative size = 268, normalized size of antiderivative = 1.30 \[ \int \frac {\left (2-2 x^4+3 x^5+4 x^6\right ) \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{\left (-1+x^2-x^4+x^5+x^6\right )^2} \, dx=\frac {2 \, \sqrt {3} {\left (x^{6} + x^{5} - x^{4} + x^{2} - 1\right )} \arctan \left (-\frac {2 \, \sqrt {3} {\left (x^{7} + x^{6} - x^{5} + 2 \, x^{3} - x\right )}^{\frac {1}{3}} x + \sqrt {3} {\left (x^{6} + x^{5} - x^{4} + x^{2} - 1\right )} - 2 \, \sqrt {3} {\left (x^{7} + x^{6} - x^{5} + 2 \, x^{3} - x\right )}^{\frac {2}{3}}}{3 \, {\left (x^{6} + x^{5} - x^{4} + 3 \, x^{2} - 1\right )}}\right ) + {\left (x^{6} + x^{5} - x^{4} + x^{2} - 1\right )} \log \left (\frac {x^{6} + x^{5} - x^{4} + x^{2} + 3 \, {\left (x^{7} + x^{6} - x^{5} + 2 \, x^{3} - x\right )}^{\frac {1}{3}} x - 3 \, {\left (x^{7} + x^{6} - x^{5} + 2 \, x^{3} - x\right )}^{\frac {2}{3}} - 1}{x^{6} + x^{5} - x^{4} + x^{2} - 1}\right ) - 6 \, {\left (x^{7} + x^{6} - x^{5} + 2 \, x^{3} - x\right )}^{\frac {1}{3}} x}{6 \, {\left (x^{6} + x^{5} - x^{4} + x^{2} - 1\right )}} \]
integrate((4*x^6+3*x^5-2*x^4+2)*(x^7+x^6-x^5+2*x^3-x)^(1/3)/(x^6+x^5-x^4+x ^2-1)^2,x, algorithm="fricas")
1/6*(2*sqrt(3)*(x^6 + x^5 - x^4 + x^2 - 1)*arctan(-1/3*(2*sqrt(3)*(x^7 + x ^6 - x^5 + 2*x^3 - x)^(1/3)*x + sqrt(3)*(x^6 + x^5 - x^4 + x^2 - 1) - 2*sq rt(3)*(x^7 + x^6 - x^5 + 2*x^3 - x)^(2/3))/(x^6 + x^5 - x^4 + 3*x^2 - 1)) + (x^6 + x^5 - x^4 + x^2 - 1)*log((x^6 + x^5 - x^4 + x^2 + 3*(x^7 + x^6 - x^5 + 2*x^3 - x)^(1/3)*x - 3*(x^7 + x^6 - x^5 + 2*x^3 - x)^(2/3) - 1)/(x^6 + x^5 - x^4 + x^2 - 1)) - 6*(x^7 + x^6 - x^5 + 2*x^3 - x)^(1/3)*x)/(x^6 + x^5 - x^4 + x^2 - 1)
\[ \int \frac {\left (2-2 x^4+3 x^5+4 x^6\right ) \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{\left (-1+x^2-x^4+x^5+x^6\right )^2} \, dx=\int \frac {\sqrt [3]{x \left (x + 1\right ) \left (x^{5} - x^{3} + x^{2} + x - 1\right )} \left (4 x^{6} + 3 x^{5} - 2 x^{4} + 2\right )}{\left (x^{6} + x^{5} - x^{4} + x^{2} - 1\right )^{2}}\, dx \]
integrate((4*x**6+3*x**5-2*x**4+2)*(x**7+x**6-x**5+2*x**3-x)**(1/3)/(x**6+ x**5-x**4+x**2-1)**2,x)
Integral((x*(x + 1)*(x**5 - x**3 + x**2 + x - 1))**(1/3)*(4*x**6 + 3*x**5 - 2*x**4 + 2)/(x**6 + x**5 - x**4 + x**2 - 1)**2, x)
\[ \int \frac {\left (2-2 x^4+3 x^5+4 x^6\right ) \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{\left (-1+x^2-x^4+x^5+x^6\right )^2} \, dx=\int { \frac {{\left (x^{7} + x^{6} - x^{5} + 2 \, x^{3} - x\right )}^{\frac {1}{3}} {\left (4 \, x^{6} + 3 \, x^{5} - 2 \, x^{4} + 2\right )}}{{\left (x^{6} + x^{5} - x^{4} + x^{2} - 1\right )}^{2}} \,d x } \]
integrate((4*x^6+3*x^5-2*x^4+2)*(x^7+x^6-x^5+2*x^3-x)^(1/3)/(x^6+x^5-x^4+x ^2-1)^2,x, algorithm="maxima")
integrate((x^7 + x^6 - x^5 + 2*x^3 - x)^(1/3)*(4*x^6 + 3*x^5 - 2*x^4 + 2)/ (x^6 + x^5 - x^4 + x^2 - 1)^2, x)
\[ \int \frac {\left (2-2 x^4+3 x^5+4 x^6\right ) \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{\left (-1+x^2-x^4+x^5+x^6\right )^2} \, dx=\int { \frac {{\left (x^{7} + x^{6} - x^{5} + 2 \, x^{3} - x\right )}^{\frac {1}{3}} {\left (4 \, x^{6} + 3 \, x^{5} - 2 \, x^{4} + 2\right )}}{{\left (x^{6} + x^{5} - x^{4} + x^{2} - 1\right )}^{2}} \,d x } \]
integrate((4*x^6+3*x^5-2*x^4+2)*(x^7+x^6-x^5+2*x^3-x)^(1/3)/(x^6+x^5-x^4+x ^2-1)^2,x, algorithm="giac")
integrate((x^7 + x^6 - x^5 + 2*x^3 - x)^(1/3)*(4*x^6 + 3*x^5 - 2*x^4 + 2)/ (x^6 + x^5 - x^4 + x^2 - 1)^2, x)
Timed out. \[ \int \frac {\left (2-2 x^4+3 x^5+4 x^6\right ) \sqrt [3]{-x+2 x^3-x^5+x^6+x^7}}{\left (-1+x^2-x^4+x^5+x^6\right )^2} \, dx=\int \frac {\left (4\,x^6+3\,x^5-2\,x^4+2\right )\,{\left (x^7+x^6-x^5+2\,x^3-x\right )}^{1/3}}{{\left (x^6+x^5-x^4+x^2-1\right )}^2} \,d x \]
int(((3*x^5 - 2*x^4 + 4*x^6 + 2)*(2*x^3 - x - x^5 + x^6 + x^7)^(1/3))/(x^2 - x^4 + x^5 + x^6 - 1)^2,x)