Optimal. Leaf size=231 \[ \frac {\tan ^{-1}\left (\frac {2^{2/3} x}{2 \sqrt {3} \sqrt [3]{x^2-1}+2^{2/3} \sqrt {3}}\right )}{3\ 2^{2/3} \sqrt {3}}-\frac {\tanh ^{-1}\left (\frac {3\ 2^{2/3} x \sqrt [3]{x^2-1}}{-\sqrt [3]{2} x^2-6 \left (x^2-1\right )^{2/3}+3\ 2^{2/3} \sqrt [3]{x^2-1}-3 \sqrt [3]{2}}\right )}{6\ 2^{2/3}}-\frac {i \tanh ^{-1}\left (\frac {2 i \sqrt [3]{2} \sqrt {3} x-i 2^{2/3} \sqrt {3} x \sqrt [3]{x^2-1}}{\sqrt [3]{2} x^2-6 \left (x^2-1\right )^{2/3}+3\ 2^{2/3} \sqrt [3]{x^2-1}-3 \sqrt [3]{2}}\right )}{6\ 2^{2/3} \sqrt {3}} \]
________________________________________________________________________________________
Rubi [A] time = 0.02, antiderivative size = 136, normalized size of antiderivative = 0.59, number of steps used = 1, number of rules used = 1, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.059, Rules used = {393} \begin {gather*} -\frac {(-1)^{2/3} \tan ^{-1}\left (\frac {\sqrt {3} \left ((-1)^{2/3} \sqrt [3]{2} \sqrt [3]{x^2-1}+1\right )}{x}\right )}{2\ 2^{2/3} \sqrt {3}}-\frac {1}{2} \left (-\frac {1}{2}\right )^{2/3} \tanh ^{-1}\left (\frac {\sqrt [3]{-1} x}{\sqrt [3]{2} \sqrt [3]{x^2-1}+\sqrt [3]{-1}}\right )-\frac {(-1)^{2/3} \tan ^{-1}\left (\frac {\sqrt {3}}{x}\right )}{2\ 2^{2/3} \sqrt {3}}+\frac {1}{6} \left (-\frac {1}{2}\right )^{2/3} \tanh ^{-1}(x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 393
Rubi steps
\begin {align*} \int \frac {1}{\sqrt [3]{-1+x^2} \left (3+x^2\right )} \, dx &=-\frac {(-1)^{2/3} \tan ^{-1}\left (\frac {\sqrt {3}}{x}\right )}{2\ 2^{2/3} \sqrt {3}}-\frac {(-1)^{2/3} \tan ^{-1}\left (\frac {\sqrt {3} \left (1+(-1)^{2/3} \sqrt [3]{2} \sqrt [3]{-1+x^2}\right )}{x}\right )}{2\ 2^{2/3} \sqrt {3}}+\frac {1}{6} \left (-\frac {1}{2}\right )^{2/3} \tanh ^{-1}(x)-\frac {1}{2} \left (-\frac {1}{2}\right )^{2/3} \tanh ^{-1}\left (\frac {\sqrt [3]{-1} x}{\sqrt [3]{-1}+\sqrt [3]{2} \sqrt [3]{-1+x^2}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.16, size = 116, normalized size = 0.50 \begin {gather*} -\frac {9 x F_1\left (\frac {1}{2};\frac {1}{3},1;\frac {3}{2};x^2,-\frac {x^2}{3}\right )}{\sqrt [3]{x^2-1} \left (x^2+3\right ) \left (2 x^2 \left (F_1\left (\frac {3}{2};\frac {1}{3},2;\frac {5}{2};x^2,-\frac {x^2}{3}\right )-F_1\left (\frac {3}{2};\frac {4}{3},1;\frac {5}{2};x^2,-\frac {x^2}{3}\right )\right )-9 F_1\left (\frac {1}{2};\frac {1}{3},1;\frac {3}{2};x^2,-\frac {x^2}{3}\right )\right )} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 3.82, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\sqrt [3]{-1+x^2} \left (3+x^2\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 2.50, size = 1896, normalized size = 8.21
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{{\left (x^{2} + 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]
[Out]
________________________________________________________________________________________
maple [C] time = 20.14, size = 874, normalized size = 3.78
method | result | size |
trager | \(-\frac {\RootOf \left (\textit {\_Z}^{6}+108\right ) \ln \left (\frac {9072 x^{3} \left (x^{2}-1\right )^{\frac {2}{3}}-3888 x \left (x^{2}-1\right )^{\frac {2}{3}}-486 \RootOf \left (\textit {\_Z}^{6}+108\right )-27 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}+72 x^{3} \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}+189 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{2}-225 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{4}-72 x^{5} \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}-1296 x^{5} \RootOf \left (\textit {\_Z}^{6}+108\right )-\RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{6}+1296 \RootOf \left (\textit {\_Z}^{6}+108\right ) x^{3}-4050 \RootOf \left (\textit {\_Z}^{6}+108\right ) x^{4}+3402 \RootOf \left (\textit {\_Z}^{6}+108\right ) x^{2}-18 \RootOf \left (\textit {\_Z}^{6}+108\right ) x^{6}+1296 \left (x^{2}-1\right )^{\frac {2}{3}} x^{4}+3888 \left (x^{2}-1\right )^{\frac {2}{3}} x^{2}+6 \RootOf \left (\textit {\_Z}^{6}+108\right )^{5} \left (x^{2}-1\right )^{\frac {1}{3}} x^{5}+108 \RootOf \left (\textit {\_Z}^{6}+108\right )^{5} \left (x^{2}-1\right )^{\frac {1}{3}} x^{4}+144 \RootOf \left (\textit {\_Z}^{6}+108\right )^{5} \left (x^{2}-1\right )^{\frac {1}{3}} x^{3}+36 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{5}+648 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{4}+864 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{3}-648 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{2}-324 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x -108 \RootOf \left (\textit {\_Z}^{6}+108\right )^{5} \left (x^{2}-1\right )^{\frac {1}{3}} x^{2}-54 \RootOf \left (\textit {\_Z}^{6}+108\right )^{5} \left (x^{2}-1\right )^{\frac {1}{3}} x}{\left (x^{2}+3\right )^{3}}\right )}{36}+\frac {\ln \left (\frac {\RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{6}+72 x^{5} \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}+225 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{4}-36 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{5}-72 x^{3} \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}-648 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{4}-189 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{2}-864 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{3}+648 \left (x^{2}-1\right )^{\frac {2}{3}} x^{4}+648 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{2}+4536 x^{3} \left (x^{2}-1\right )^{\frac {2}{3}}+27 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}+324 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x +1944 \left (x^{2}-1\right )^{\frac {2}{3}} x^{2}-1944 x \left (x^{2}-1\right )^{\frac {2}{3}}}{\left (x^{2}+3\right )^{3}}\right ) \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}}{432}-\frac {\ln \left (\frac {\RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{6}+72 x^{5} \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}+225 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{4}-36 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{5}-72 x^{3} \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}-648 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{4}-189 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4} x^{2}-864 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{3}+648 \left (x^{2}-1\right )^{\frac {2}{3}} x^{4}+648 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x^{2}+4536 x^{3} \left (x^{2}-1\right )^{\frac {2}{3}}+27 \RootOf \left (\textit {\_Z}^{6}+108\right )^{4}+324 \RootOf \left (\textit {\_Z}^{6}+108\right )^{2} \left (x^{2}-1\right )^{\frac {1}{3}} x +1944 \left (x^{2}-1\right )^{\frac {2}{3}} x^{2}-1944 x \left (x^{2}-1\right )^{\frac {2}{3}}}{\left (x^{2}+3\right )^{3}}\right ) \RootOf \left (\textit {\_Z}^{6}+108\right )}{72}\) | \(874\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{{\left (x^{2} + 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]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {1}{{\left (x^2-1\right )}^{1/3}\,\left (x^2+3\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\sqrt [3]{\left (x - 1\right ) \left (x + 1\right )} \left (x^{2} + 3\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________