3.19.27 \(\int \frac {(2+x^3+4 x^6) \sqrt [3]{x+2 x^3-x^4-x^7}}{(-1-2 x^2+x^3+x^6) (-1-x^2+x^3+x^6)} \, dx\)

Optimal. Leaf size=124 \[ -\log \left (\sqrt [3]{-x^7-x^4+2 x^3+x}-x\right )-\sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} x}{2 \sqrt [3]{-x^7-x^4+2 x^3+x}+x}\right )+\frac {1}{2} \log \left (x^2+\sqrt [3]{-x^7-x^4+2 x^3+x} x+\left (-x^7-x^4+2 x^3+x\right )^{2/3}\right ) \]

________________________________________________________________________________________

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

Verification is not applicable to the result.

[In]

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

[Out]

-(((x + 2*x^3 - x^4 - x^7)^(1/3)*Defer[Subst][Defer[Int][1/((-1 + x)*(1 + 2*x^6 - x^9 - x^18)^(2/3)), x], x, x
^(1/3)])/(x^(1/3)*(1 + 2*x^2 - x^3 - x^6)^(1/3))) - (12*(x + 2*x^3 - x^4 - x^7)^(1/3)*Defer[Subst][Defer[Int][
x^3/(1 + 2*x^6 - x^9 - x^18)^(2/3), x], x, x^(1/3)])/(x^(1/3)*(1 + 2*x^2 - x^3 - x^6)^(1/3)) + ((1 - I*Sqrt[3]
)*(x + 2*x^3 - x^4 - x^7)^(1/3)*Defer[Subst][Defer[Int][1/((1 - I*Sqrt[3] + 2*x)*(1 + 2*x^6 - x^9 - x^18)^(2/3
)), x], x, x^(1/3)])/(x^(1/3)*(1 + 2*x^2 - x^3 - x^6)^(1/3)) + ((1 + I*Sqrt[3])*(x + 2*x^3 - x^4 - x^7)^(1/3)*
Defer[Subst][Defer[Int][1/((1 + I*Sqrt[3] + 2*x)*(1 + 2*x^6 - x^9 - x^18)^(2/3)), x], x, x^(1/3)])/(x^(1/3)*(1
+ 2*x^2 - x^3 - x^6)^(1/3)) - (3*(x + 2*x^3 - x^4 - x^7)^(1/3)*Defer[Subst][Defer[Int][1/((1 + x^3 + 2*x^6 +
x^9 + x^12 + x^15)*(1 + 2*x^6 - x^9 - x^18)^(2/3)), x], x, x^(1/3)])/(x^(1/3)*(1 + 2*x^2 - x^3 - x^6)^(1/3)) +
(12*(x + 2*x^3 - x^4 - x^7)^(1/3)*Defer[Subst][Defer[Int][x^3/((1 + x^3 + 2*x^6 + x^9 + x^12 + x^15)*(1 + 2*x
^6 - x^9 - x^18)^(2/3)), x], x, x^(1/3)])/(x^(1/3)*(1 + 2*x^2 - x^3 - x^6)^(1/3)) + (6*(x + 2*x^3 - x^4 - x^7)
^(1/3)*Defer[Subst][Defer[Int][x^6/((1 + x^3 + 2*x^6 + x^9 + x^12 + x^15)*(1 + 2*x^6 - x^9 - x^18)^(2/3)), x],
x, x^(1/3)])/(x^(1/3)*(1 + 2*x^2 - x^3 - x^6)^(1/3)) + (15*(x + 2*x^3 - x^4 - x^7)^(1/3)*Defer[Subst][Defer[I
nt][x^9/((1 + x^3 + 2*x^6 + x^9 + x^12 + x^15)*(1 + 2*x^6 - x^9 - x^18)^(2/3)), x], x, x^(1/3)])/(x^(1/3)*(1 +
2*x^2 - x^3 - x^6)^(1/3)) + (3*(x + 2*x^3 - x^4 - x^7)^(1/3)*Defer[Subst][Defer[Int][x^12/((1 + x^3 + 2*x^6 +
x^9 + x^12 + x^15)*(1 + 2*x^6 - x^9 - x^18)^(2/3)), x], x, x^(1/3)])/(x^(1/3)*(1 + 2*x^2 - x^3 - x^6)^(1/3))

Rubi steps

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

________________________________________________________________________________________

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

Verification is not applicable to the result.

[In]

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

[Out]

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

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 0.51, size = 124, normalized size = 1.00 \begin {gather*} -\sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} x}{x+2 \sqrt [3]{x+2 x^3-x^4-x^7}}\right )-\log \left (-x+\sqrt [3]{x+2 x^3-x^4-x^7}\right )+\frac {1}{2} \log \left (x^2+x \sqrt [3]{x+2 x^3-x^4-x^7}+\left (x+2 x^3-x^4-x^7\right )^{2/3}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

-(Sqrt[3]*ArcTan[(Sqrt[3]*x)/(x + 2*(x + 2*x^3 - x^4 - x^7)^(1/3))]) - Log[-x + (x + 2*x^3 - x^4 - x^7)^(1/3)]
+ Log[x^2 + x*(x + 2*x^3 - x^4 - x^7)^(1/3) + (x + 2*x^3 - x^4 - x^7)^(2/3)]/2

________________________________________________________________________________________

fricas [A]  time = 2.65, size = 174, normalized size = 1.40 \begin {gather*} \sqrt {3} \arctan \left (-\frac {70 \, \sqrt {3} {\left (-x^{7} - x^{4} + 2 \, x^{3} + x\right )}^{\frac {1}{3}} x - \sqrt {3} {\left (32 \, x^{6} + 32 \, x^{3} - 39 \, x^{2} - 32\right )} - 56 \, \sqrt {3} {\left (-x^{7} - x^{4} + 2 \, x^{3} + x\right )}^{\frac {2}{3}}}{64 \, x^{6} + 64 \, x^{3} - 253 \, x^{2} - 64}\right ) - \frac {1}{2} \, \log \left (\frac {x^{6} + x^{3} - x^{2} - 3 \, {\left (-x^{7} - x^{4} + 2 \, x^{3} + x\right )}^{\frac {1}{3}} x + 3 \, {\left (-x^{7} - x^{4} + 2 \, x^{3} + x\right )}^{\frac {2}{3}} - 1}{x^{6} + x^{3} - x^{2} - 1}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

sqrt(3)*arctan(-(70*sqrt(3)*(-x^7 - x^4 + 2*x^3 + x)^(1/3)*x - sqrt(3)*(32*x^6 + 32*x^3 - 39*x^2 - 32) - 56*sq
rt(3)*(-x^7 - x^4 + 2*x^3 + x)^(2/3))/(64*x^6 + 64*x^3 - 253*x^2 - 64)) - 1/2*log((x^6 + x^3 - x^2 - 3*(-x^7 -
x^4 + 2*x^3 + x)^(1/3)*x + 3*(-x^7 - x^4 + 2*x^3 + x)^(2/3) - 1)/(x^6 + x^3 - x^2 - 1))

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [C]  time = 27.92, size = 809, normalized size = 6.52

method	result	size
trager	\(\RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \ln \left (-\frac {3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{6}+49922389860154105232202548398473124 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{6}-3528367946997116762614315330014105 x^{6}+3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{3}-60363960821928390686089899682541776 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{2}+49922389860154105232202548398473124 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{3}-99717198298490157965795846237779567 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {2}{3}}-99717198298490157965795846237779567 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {1}{3}} x -92676413861894936775913559724558339 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{2}-3528367946997116762614315330014105 x^{3}-3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2}+60252330857509350522826993270182077 \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {2}{3}}+60252330857509350522826993270182077 x \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {1}{3}}+6817524507757140863356473688501830 x^{2}-49922389860154105232202548398473124 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )+3528367946997116762614315330014105}{\left (-1+x \right ) \left (x^{5}+x^{4}+x^{3}+2 x^{2}+x +1\right )}\right )-\ln \left (-\frac {3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{6}-56723962910512233760212677940167972 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{6}+49794808438336052733593297839306443 x^{6}+3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{3}-60363960821928390686089899682541776 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{2}-56723962910512233760212677940167972 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{3}+99717198298490157965795846237779567 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {2}{3}}+99717198298490157965795846237779567 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {1}{3}} x +213404335505751718148093359089641891 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{2}+49794808438336052733593297839306443 x^{3}-3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2}-39464867440980807442968852967597490 \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {2}{3}}-39464867440980807442968852967597490 x \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {1}{3}}-146222850176066186598646985718598285 x^{2}+56723962910512233760212677940167972 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )-49794808438336052733593297839306443}{\left (-1+x \right ) \left (x^{5}+x^{4}+x^{3}+2 x^{2}+x +1\right )}\right ) \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )+\ln \left (-\frac {3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{6}-56723962910512233760212677940167972 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{6}+49794808438336052733593297839306443 x^{6}+3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{3}-60363960821928390686089899682541776 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2} x^{2}-56723962910512233760212677940167972 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{3}+99717198298490157965795846237779567 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {2}{3}}+99717198298490157965795846237779567 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {1}{3}} x +213404335505751718148093359089641891 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right ) x^{2}+49794808438336052733593297839306443 x^{3}-3400786525179064264005064770847424 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )^{2}-39464867440980807442968852967597490 \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {2}{3}}-39464867440980807442968852967597490 x \left (-x^{7}-x^{4}+2 x^{3}+x \right )^{\frac {1}{3}}-146222850176066186598646985718598285 x^{2}+56723962910512233760212677940167972 \RootOf \left (\textit {\_Z}^{2}-\textit {\_Z} +1\right )-49794808438336052733593297839306443}{\left (-1+x \right ) \left (x^{5}+x^{4}+x^{3}+2 x^{2}+x +1\right )}\right )\)	\(809\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

RootOf(_Z^2-_Z+1)*ln(-(3400786525179064264005064770847424*RootOf(_Z^2-_Z+1)^2*x^6+4992238986015410523220254839
8473124*RootOf(_Z^2-_Z+1)*x^6-3528367946997116762614315330014105*x^6+3400786525179064264005064770847424*RootOf
(_Z^2-_Z+1)^2*x^3-60363960821928390686089899682541776*RootOf(_Z^2-_Z+1)^2*x^2+49922389860154105232202548398473
124*RootOf(_Z^2-_Z+1)*x^3-99717198298490157965795846237779567*RootOf(_Z^2-_Z+1)*(-x^7-x^4+2*x^3+x)^(2/3)-99717
198298490157965795846237779567*RootOf(_Z^2-_Z+1)*(-x^7-x^4+2*x^3+x)^(1/3)*x-9267641386189493677591355972455833
9*RootOf(_Z^2-_Z+1)*x^2-3528367946997116762614315330014105*x^3-3400786525179064264005064770847424*RootOf(_Z^2-
_Z+1)^2+60252330857509350522826993270182077*(-x^7-x^4+2*x^3+x)^(2/3)+60252330857509350522826993270182077*x*(-x
^7-x^4+2*x^3+x)^(1/3)+6817524507757140863356473688501830*x^2-49922389860154105232202548398473124*RootOf(_Z^2-_
Z+1)+3528367946997116762614315330014105)/(-1+x)/(x^5+x^4+x^3+2*x^2+x+1))-ln(-(34007865251790642640050647708474
24*RootOf(_Z^2-_Z+1)^2*x^6-56723962910512233760212677940167972*RootOf(_Z^2-_Z+1)*x^6+4979480843833605273359329
7839306443*x^6+3400786525179064264005064770847424*RootOf(_Z^2-_Z+1)^2*x^3-60363960821928390686089899682541776*
RootOf(_Z^2-_Z+1)^2*x^2-56723962910512233760212677940167972*RootOf(_Z^2-_Z+1)*x^3+9971719829849015796579584623
7779567*RootOf(_Z^2-_Z+1)*(-x^7-x^4+2*x^3+x)^(2/3)+99717198298490157965795846237779567*RootOf(_Z^2-_Z+1)*(-x^7
-x^4+2*x^3+x)^(1/3)*x+213404335505751718148093359089641891*RootOf(_Z^2-_Z+1)*x^2+49794808438336052733593297839
306443*x^3-3400786525179064264005064770847424*RootOf(_Z^2-_Z+1)^2-39464867440980807442968852967597490*(-x^7-x^
4+2*x^3+x)^(2/3)-39464867440980807442968852967597490*x*(-x^7-x^4+2*x^3+x)^(1/3)-146222850176066186598646985718
598285*x^2+56723962910512233760212677940167972*RootOf(_Z^2-_Z+1)-49794808438336052733593297839306443)/(-1+x)/(
x^5+x^4+x^3+2*x^2+x+1))*RootOf(_Z^2-_Z+1)+ln(-(3400786525179064264005064770847424*RootOf(_Z^2-_Z+1)^2*x^6-5672
3962910512233760212677940167972*RootOf(_Z^2-_Z+1)*x^6+49794808438336052733593297839306443*x^6+3400786525179064
264005064770847424*RootOf(_Z^2-_Z+1)^2*x^3-60363960821928390686089899682541776*RootOf(_Z^2-_Z+1)^2*x^2-5672396
2910512233760212677940167972*RootOf(_Z^2-_Z+1)*x^3+99717198298490157965795846237779567*RootOf(_Z^2-_Z+1)*(-x^7
-x^4+2*x^3+x)^(2/3)+99717198298490157965795846237779567*RootOf(_Z^2-_Z+1)*(-x^7-x^4+2*x^3+x)^(1/3)*x+213404335
505751718148093359089641891*RootOf(_Z^2-_Z+1)*x^2+49794808438336052733593297839306443*x^3-34007865251790642640
05064770847424*RootOf(_Z^2-_Z+1)^2-39464867440980807442968852967597490*(-x^7-x^4+2*x^3+x)^(2/3)-39464867440980
807442968852967597490*x*(-x^7-x^4+2*x^3+x)^(1/3)-146222850176066186598646985718598285*x^2+56723962910512233760
212677940167972*RootOf(_Z^2-_Z+1)-49794808438336052733593297839306443)/(-1+x)/(x^5+x^4+x^3+2*x^2+x+1))

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

Integral((-x*(x**6 + x**3 - 2*x**2 - 1))**(1/3)*(4*x**6 + x**3 + 2)/((x - 1)*(x**6 + x**3 - 2*x**2 - 1)*(x**5
+ x**4 + x**3 + 2*x**2 + x + 1)), x)

________________________________________________________________________________________