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

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

________________________________________________________________________________________

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

Verification is not applicable to the result.

[In]

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

[Out]

(3*x)/(1 + Sqrt[3] + (-1 + x^2)^(1/3)) - (3*3^(1/4)*Sqrt[2 - Sqrt[3]]*(1 + (-1 + x^2)^(1/3))*Sqrt[(1 - (-1 + x
^2)^(1/3) + (-1 + x^2)^(2/3))/(1 + Sqrt[3] + (-1 + x^2)^(1/3))^2]*EllipticE[ArcSin[(1 - Sqrt[3] + (-1 + x^2)^(
1/3))/(1 + Sqrt[3] + (-1 + x^2)^(1/3))], -7 - 4*Sqrt[3]])/(2*x*Sqrt[(1 + (-1 + x^2)^(1/3))/(1 + Sqrt[3] + (-1
+ x^2)^(1/3))^2]) + (Sqrt[2]*3^(3/4)*(1 + (-1 + x^2)^(1/3))*Sqrt[(1 - (-1 + x^2)^(1/3) + (-1 + x^2)^(2/3))/(1
+ Sqrt[3] + (-1 + x^2)^(1/3))^2]*EllipticF[ArcSin[(1 - Sqrt[3] + (-1 + x^2)^(1/3))/(1 + Sqrt[3] + (-1 + x^2)^(
1/3))], -7 - 4*Sqrt[3]])/(x*Sqrt[(1 + (-1 + x^2)^(1/3))/(1 + Sqrt[3] + (-1 + x^2)^(1/3))^2]) - Defer[Int][(1 +
5*x)/((-1 + x^2)^(1/3)*(3 + 4*x + x^2)), x]

Rubi steps

\begin {align*} \int \frac {2-x+x^2}{\sqrt [3]{-1+x^2} \left (3+4 x+x^2\right )} \, dx &=\int \left (\frac {1}{\sqrt [3]{-1+x^2}}-\frac {1+5 x}{\sqrt [3]{-1+x^2} \left (3+4 x+x^2\right )}\right ) \, dx\\ &=\int \frac {1}{\sqrt [3]{-1+x^2}} \, dx-\int \frac {1+5 x}{\sqrt [3]{-1+x^2} \left (3+4 x+x^2\right )} \, dx\\ &=\frac {\left (3 \sqrt {x^2}\right ) \operatorname {Subst}\left (\int \frac {x}{\sqrt {1+x^3}} \, dx,x,\sqrt [3]{-1+x^2}\right )}{2 x}-\int \frac {1+5 x}{\sqrt [3]{-1+x^2} \left (3+4 x+x^2\right )} \, dx\\ &=\frac {\left (3 \sqrt {x^2}\right ) \operatorname {Subst}\left (\int \frac {1-\sqrt {3}+x}{\sqrt {1+x^3}} \, dx,x,\sqrt [3]{-1+x^2}\right )}{2 x}+\frac {\left (3 \sqrt {\frac {1}{2} \left (2-\sqrt {3}\right )} \sqrt {x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1+x^3}} \, dx,x,\sqrt [3]{-1+x^2}\right )}{x}-\int \frac {1+5 x}{\sqrt [3]{-1+x^2} \left (3+4 x+x^2\right )} \, dx\\ &=\frac {3 x}{1+\sqrt {3}+\sqrt [3]{-1+x^2}}-\frac {3 \sqrt [4]{3} \sqrt {2-\sqrt {3}} \left (1+\sqrt [3]{-1+x^2}\right ) \sqrt {\frac {1-\sqrt [3]{-1+x^2}+\left (-1+x^2\right )^{2/3}}{\left (1+\sqrt {3}+\sqrt [3]{-1+x^2}\right )^2}} E\left (\sin ^{-1}\left (\frac {1-\sqrt {3}+\sqrt [3]{-1+x^2}}{1+\sqrt {3}+\sqrt [3]{-1+x^2}}\right )|-7-4 \sqrt {3}\right )}{2 x \sqrt {\frac {1+\sqrt [3]{-1+x^2}}{\left (1+\sqrt {3}+\sqrt [3]{-1+x^2}\right )^2}}}+\frac {\sqrt {2} 3^{3/4} \left (1+\sqrt [3]{-1+x^2}\right ) \sqrt {\frac {1-\sqrt [3]{-1+x^2}+\left (-1+x^2\right )^{2/3}}{\left (1+\sqrt {3}+\sqrt [3]{-1+x^2}\right )^2}} F\left (\sin ^{-1}\left (\frac {1-\sqrt {3}+\sqrt [3]{-1+x^2}}{1+\sqrt {3}+\sqrt [3]{-1+x^2}}\right )|-7-4 \sqrt {3}\right )}{x \sqrt {\frac {1+\sqrt [3]{-1+x^2}}{\left (1+\sqrt {3}+\sqrt [3]{-1+x^2}\right )^2}}}-\int \frac {1+5 x}{\sqrt [3]{-1+x^2} \left (3+4 x+x^2\right )} \, dx\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 0.17, size = 71, normalized size = 0.61 \begin {gather*} \frac {3 \left (x^2-1\right )^{2/3}}{x+1}-\frac {21 \left (x^2-1\right )^{2/3} F_1\left (\frac {2}{3};\frac {1}{3},1;\frac {5}{3};\frac {1-x}{2},\frac {1-x}{4}\right )}{8 \sqrt [3]{2} (x+1)^{2/3}} \end {gather*}

Warning: Unable to verify antiderivative.

[In]

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

[Out]

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

________________________________________________________________________________________

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

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.84, size = 127, normalized size = 1.09 \begin {gather*} \frac {14 \, \sqrt {3} {\left (x + 1\right )} \arctan \left (\frac {286273 \, \sqrt {3} {\left (x^{2} - 1\right )}^{\frac {1}{3}} {\left (x - 1\right )} + \sqrt {3} {\left (66978 \, x^{2} + 434719 \, x + 635653\right )} + 539695 \, \sqrt {3} {\left (x^{2} - 1\right )}^{\frac {2}{3}}}{226981 \, x^{2} - 1974837 \, x - 1293894}\right ) - 7 \, {\left (x + 1\right )} \log \left (\frac {x^{2} + 6 \, {\left (x^{2} - 1\right )}^{\frac {1}{3}} {\left (x - 1\right )} + 6 \, x + 12 \, {\left (x^{2} - 1\right )}^{\frac {2}{3}} + 9}{x^{2} + 6 \, x + 9}\right ) + 24 \, {\left (x^{2} - 1\right )}^{\frac {2}{3}}}{8 \, {\left (x + 1\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/8*(14*sqrt(3)*(x + 1)*arctan((286273*sqrt(3)*(x^2 - 1)^(1/3)*(x - 1) + sqrt(3)*(66978*x^2 + 434719*x + 63565
3) + 539695*sqrt(3)*(x^2 - 1)^(2/3))/(226981*x^2 - 1974837*x - 1293894)) - 7*(x + 1)*log((x^2 + 6*(x^2 - 1)^(1
/3)*(x - 1) + 6*x + 12*(x^2 - 1)^(2/3) + 9)/(x^2 + 6*x + 9)) + 24*(x^2 - 1)^(2/3))/(x + 1)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [C]  time = 2.03, size = 594, normalized size = 5.12 \begin {gather*} \frac {-3+3 x}{\left (x^{2}-1\right )^{\frac {1}{3}}}+\frac {7 \ln \left (-\frac {96 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )^{2} x^{2}-288 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )^{2} x -864 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {2}{3}}+432 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {1}{3}} x -278 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) x^{2}-432 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {1}{3}}+492 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) x -516 \left (x^{2}-1\right )^{\frac {2}{3}}+258 x \left (x^{2}-1\right )^{\frac {1}{3}}+17 x^{2}-342 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )-258 \left (x^{2}-1\right )^{\frac {1}{3}}+918 x +969}{\left (3+x \right )^{2}}\right )}{4}-\frac {7 \ln \left (-\frac {96 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )^{2} x^{2}-288 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )^{2} x -864 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {2}{3}}+432 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {1}{3}} x -278 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) x^{2}-432 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {1}{3}}+492 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) x -516 \left (x^{2}-1\right )^{\frac {2}{3}}+258 x \left (x^{2}-1\right )^{\frac {1}{3}}+17 x^{2}-342 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )-258 \left (x^{2}-1\right )^{\frac {1}{3}}+918 x +969}{\left (3+x \right )^{2}}\right ) \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )}{2}+\frac {7 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \ln \left (-\frac {48 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )^{2} x^{2}-144 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )^{2} x +432 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {2}{3}}-216 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {1}{3}} x +91 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) x^{2}+216 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) \left (x^{2}-1\right )^{\frac {1}{3}}-102 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right ) x -474 \left (x^{2}-1\right )^{\frac {2}{3}}+237 x \left (x^{2}-1\right )^{\frac {1}{3}}-49 x^{2}+171 \RootOf \left (4 \textit {\_Z}^{2}-2 \textit {\_Z} +1\right )-237 \left (x^{2}-1\right )^{\frac {1}{3}}+546 x +399}{\left (3+x \right )^{2}}\right )}{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

3*(-1+x)/(x^2-1)^(1/3)+7/4*ln(-(96*RootOf(4*_Z^2-2*_Z+1)^2*x^2-288*RootOf(4*_Z^2-2*_Z+1)^2*x-864*RootOf(4*_Z^2
-2*_Z+1)*(x^2-1)^(2/3)+432*RootOf(4*_Z^2-2*_Z+1)*(x^2-1)^(1/3)*x-278*RootOf(4*_Z^2-2*_Z+1)*x^2-432*RootOf(4*_Z
^2-2*_Z+1)*(x^2-1)^(1/3)+492*RootOf(4*_Z^2-2*_Z+1)*x-516*(x^2-1)^(2/3)+258*x*(x^2-1)^(1/3)+17*x^2-342*RootOf(4
*_Z^2-2*_Z+1)-258*(x^2-1)^(1/3)+918*x+969)/(3+x)^2)-7/2*ln(-(96*RootOf(4*_Z^2-2*_Z+1)^2*x^2-288*RootOf(4*_Z^2-
2*_Z+1)^2*x-864*RootOf(4*_Z^2-2*_Z+1)*(x^2-1)^(2/3)+432*RootOf(4*_Z^2-2*_Z+1)*(x^2-1)^(1/3)*x-278*RootOf(4*_Z^
2-2*_Z+1)*x^2-432*RootOf(4*_Z^2-2*_Z+1)*(x^2-1)^(1/3)+492*RootOf(4*_Z^2-2*_Z+1)*x-516*(x^2-1)^(2/3)+258*x*(x^2
-1)^(1/3)+17*x^2-342*RootOf(4*_Z^2-2*_Z+1)-258*(x^2-1)^(1/3)+918*x+969)/(3+x)^2)*RootOf(4*_Z^2-2*_Z+1)+7/2*Roo
tOf(4*_Z^2-2*_Z+1)*ln(-(48*RootOf(4*_Z^2-2*_Z+1)^2*x^2-144*RootOf(4*_Z^2-2*_Z+1)^2*x+432*RootOf(4*_Z^2-2*_Z+1)
*(x^2-1)^(2/3)-216*RootOf(4*_Z^2-2*_Z+1)*(x^2-1)^(1/3)*x+91*RootOf(4*_Z^2-2*_Z+1)*x^2+216*RootOf(4*_Z^2-2*_Z+1
)*(x^2-1)^(1/3)-102*RootOf(4*_Z^2-2*_Z+1)*x-474*(x^2-1)^(2/3)+237*x*(x^2-1)^(1/3)-49*x^2+171*RootOf(4*_Z^2-2*_
Z+1)-237*(x^2-1)^(1/3)+546*x+399)/(3+x)^2)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________