Optimal. Leaf size=186 \[ \frac {\sqrt {\frac {2 x^2+x-2}{x^2+x-1}} \left (x^2+x-1\right )}{2 x}-\frac {3 \tanh ^{-1}\left (\frac {\sqrt {\frac {2 x^2+x-2}{x^2+x-1}}}{\sqrt {2}}\right )}{2 \sqrt {2}}+\frac {1}{5} \sqrt {2 \left (5-\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {1}{2}+\frac {1}{2 \sqrt {5}}} \sqrt {\frac {2 x^2+x-2}{x^2+x-1}}\right )+\frac {1}{5} \sqrt {2 \left (5+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {2}{5+\sqrt {5}}} \sqrt {\frac {2 x^2+x-2}{x^2+x-1}}\right ) \]
________________________________________________________________________________________
Rubi [F] time = 6.14, 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 (1+x^2\right ) \left (1-3 x^2+x^4\right )}{x^2 \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}} \left (1-x-3 x^2+x^3+x^4\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\left (1+x^2\right ) \left (1-3 x^2+x^4\right )}{x^2 \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}} \left (1-x-3 x^2+x^3+x^4\right )} \, dx &=\frac {\sqrt {-2+x+2 x^2} \int \frac {\left (1+x^2\right ) \sqrt {-1+x+x^2} \left (1-3 x^2+x^4\right )}{x^2 \sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}\\ &=\frac {\sqrt {-2+x+2 x^2} \int \left (\frac {\sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2}}+\frac {\sqrt {-1+x+x^2}}{x^2 \sqrt {-2+x+2 x^2}}+\frac {\sqrt {-1+x+x^2}}{x \sqrt {-2+x+2 x^2}}+\frac {\sqrt {-1+x+x^2} \left (1+3 x-x^2-2 x^3\right )}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )}\right ) \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}\\ &=\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{x^2 \sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{x \sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2} \left (1+3 x-x^2-2 x^3\right )}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}\\ &=\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{x^2 \sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{x \sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \left (\frac {\sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )}+\frac {3 x \sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )}-\frac {x^2 \sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )}-\frac {2 x^3 \sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )}\right ) \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}\\ &=\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{x^2 \sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{x \sqrt {-2+x+2 x^2}} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\sqrt {-2+x+2 x^2} \int \frac {\sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}-\frac {\sqrt {-2+x+2 x^2} \int \frac {x^2 \sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}-\frac {\left (2 \sqrt {-2+x+2 x^2}\right ) \int \frac {x^3 \sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}+\frac {\left (3 \sqrt {-2+x+2 x^2}\right ) \int \frac {x \sqrt {-1+x+x^2}}{\sqrt {-2+x+2 x^2} \left (1-x-3 x^2+x^3+x^4\right )} \, dx}{\sqrt {-1+x+x^2} \sqrt {\frac {-2+x+2 x^2}{-1+x+x^2}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 6.66, size = 26530, normalized size = 142.63 \begin {gather*} \text {Result too large to show} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.74, size = 188, normalized size = 1.01 \begin {gather*} \frac {\sqrt {\frac {2 x^2+x-2}{x^2+x-1}} \left (x^2+x-1\right )}{2 x}-\frac {3 \tanh ^{-1}\left (\frac {\sqrt {\frac {2 x^2+x-2}{x^2+x-1}}}{\sqrt {2}}\right )}{2 \sqrt {2}}+\frac {1}{5} \sqrt {2 \left (5+\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {1}{2}-\frac {1}{2 \sqrt {5}}} \sqrt {\frac {2 x^2+x-2}{x^2+x-1}}\right )+\frac {1}{5} \sqrt {2 \left (5-\sqrt {5}\right )} \tanh ^{-1}\left (\sqrt {\frac {1}{2}+\frac {1}{2 \sqrt {5}}} \sqrt {\frac {2 x^2+x-2}{x^2+x-1}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.77, size = 723, normalized size = 3.89 \begin {gather*} \frac {4 \, x \sqrt {2 \, \sqrt {5} + 10} \log \left (\frac {{\left (20575 \, x^{4} + 50235 \, x^{3} - 15795 \, x^{2} - \sqrt {5} {\left (10237 \, x^{4} + 22677 \, x^{3} - 9661 \, x^{2} - 22677 \, x + 10237\right )} - 50235 \, x + 20575\right )} \sqrt {2 \, \sqrt {5} + 10} + 20 \, {\left (1627 \, x^{4} + 4593 \, x^{3} - 288 \, x^{2} - \sqrt {5} {\left (861 \, x^{4} + 2105 \, x^{3} - 478 \, x^{2} - 2105 \, x + 861\right )} - 4593 \, x + 1627\right )} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}}}{x^{4} + x^{3} - 3 \, x^{2} - x + 1}\right ) - 4 \, x \sqrt {2 \, \sqrt {5} + 10} \log \left (-\frac {{\left (20575 \, x^{4} + 50235 \, x^{3} - 15795 \, x^{2} - \sqrt {5} {\left (10237 \, x^{4} + 22677 \, x^{3} - 9661 \, x^{2} - 22677 \, x + 10237\right )} - 50235 \, x + 20575\right )} \sqrt {2 \, \sqrt {5} + 10} - 20 \, {\left (1627 \, x^{4} + 4593 \, x^{3} - 288 \, x^{2} - \sqrt {5} {\left (861 \, x^{4} + 2105 \, x^{3} - 478 \, x^{2} - 2105 \, x + 861\right )} - 4593 \, x + 1627\right )} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}}}{x^{4} + x^{3} - 3 \, x^{2} - x + 1}\right ) + 4 \, x \sqrt {-2 \, \sqrt {5} + 10} \log \left (\frac {{\left (20575 \, x^{4} + 50235 \, x^{3} - 15795 \, x^{2} + \sqrt {5} {\left (10237 \, x^{4} + 22677 \, x^{3} - 9661 \, x^{2} - 22677 \, x + 10237\right )} - 50235 \, x + 20575\right )} \sqrt {-2 \, \sqrt {5} + 10} + 20 \, {\left (1627 \, x^{4} + 4593 \, x^{3} - 288 \, x^{2} + \sqrt {5} {\left (861 \, x^{4} + 2105 \, x^{3} - 478 \, x^{2} - 2105 \, x + 861\right )} - 4593 \, x + 1627\right )} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}}}{x^{4} + x^{3} - 3 \, x^{2} - x + 1}\right ) - 4 \, x \sqrt {-2 \, \sqrt {5} + 10} \log \left (-\frac {{\left (20575 \, x^{4} + 50235 \, x^{3} - 15795 \, x^{2} + \sqrt {5} {\left (10237 \, x^{4} + 22677 \, x^{3} - 9661 \, x^{2} - 22677 \, x + 10237\right )} - 50235 \, x + 20575\right )} \sqrt {-2 \, \sqrt {5} + 10} - 20 \, {\left (1627 \, x^{4} + 4593 \, x^{3} - 288 \, x^{2} + \sqrt {5} {\left (861 \, x^{4} + 2105 \, x^{3} - 478 \, x^{2} - 2105 \, x + 861\right )} - 4593 \, x + 1627\right )} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}}}{x^{4} + x^{3} - 3 \, x^{2} - x + 1}\right ) + 15 \, \sqrt {2} x \log \left (-\frac {32 \, x^{4} + 48 \, x^{3} - 47 \, x^{2} - 4 \, \sqrt {2} {\left (4 \, x^{4} + 7 \, x^{3} - 5 \, x^{2} - 7 \, x + 4\right )} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}} - 48 \, x + 32}{x^{2}}\right ) + 40 \, {\left (x^{2} + x - 1\right )} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}}}{80 \, x} \end {gather*}
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 {{\left (x^{4} - 3 \, x^{2} + 1\right )} {\left (x^{2} + 1\right )}}{{\left (x^{4} + x^{3} - 3 \, x^{2} - x + 1\right )} x^{2} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.57, size = 14911, normalized size = 80.17 \begin {gather*} \text {output too large to display} \end {gather*}
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 {{\left (x^{4} - 3 \, x^{2} + 1\right )} {\left (x^{2} + 1\right )}}{{\left (x^{4} + x^{3} - 3 \, x^{2} - x + 1\right )} x^{2} \sqrt {\frac {2 \, x^{2} + x - 2}{x^{2} + x - 1}}}\,{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.01 \begin {gather*} \int \frac {\left (x^2+1\right )\,\left (x^4-3\,x^2+1\right )}{x^2\,\sqrt {\frac {2\,x^2+x-2}{x^2+x-1}}\,\left (x^4+x^3-3\,x^2-x+1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________