Optimal. Leaf size=110 \[ \sqrt {\frac {1}{5} \left (2 \sqrt {5}-2\right )} \tan ^{-1}\left (\frac {\sqrt {\frac {1}{2}+\frac {\sqrt {5}}{2}} \sqrt {x^6-x^2+x}}{x^2}\right )-\sqrt {\frac {1}{5} \left (2+2 \sqrt {5}\right )} \tanh ^{-1}\left (\frac {\sqrt {\frac {\sqrt {5}}{2}-\frac {1}{2}} \sqrt {x^6-x^2+x}}{x^2}\right ) \]
________________________________________________________________________________________
Rubi [F] time = 2.34, 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 (-3+2 x+2 x^5\right ) \sqrt {x-x^2+x^6}}{1-2 x+x^2-x^3+x^4+2 x^5-3 x^6-x^8+x^{10}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\left (-3+2 x+2 x^5\right ) \sqrt {x-x^2+x^6}}{1-2 x+x^2-x^3+x^4+2 x^5-3 x^6-x^8+x^{10}} \, dx &=\frac {\sqrt {x-x^2+x^6} \int \frac {\sqrt {x} \sqrt {1-x+x^5} \left (-3+2 x+2 x^5\right )}{1-2 x+x^2-x^3+x^4+2 x^5-3 x^6-x^8+x^{10}} \, dx}{\sqrt {x} \sqrt {1-x+x^5}}\\ &=\frac {\left (2 \sqrt {x-x^2+x^6}\right ) \operatorname {Subst}\left (\int \frac {x^2 \sqrt {1-x^2+x^{10}} \left (-3+2 x^2+2 x^{10}\right )}{1-2 x^2+x^4-x^6+x^8+2 x^{10}-3 x^{12}-x^{16}+x^{20}} \, dx,x,\sqrt {x}\right )}{\sqrt {x} \sqrt {1-x+x^5}}\\ &=\frac {\left (2 \sqrt {x-x^2+x^6}\right ) \operatorname {Subst}\left (\int \left (-\frac {3 x^2 \sqrt {1-x^2+x^{10}}}{1-2 x^2+x^4-x^6+x^8+2 x^{10}-3 x^{12}-x^{16}+x^{20}}+\frac {2 x^4 \sqrt {1-x^2+x^{10}}}{1-2 x^2+x^4-x^6+x^8+2 x^{10}-3 x^{12}-x^{16}+x^{20}}+\frac {2 x^{12} \sqrt {1-x^2+x^{10}}}{1-2 x^2+x^4-x^6+x^8+2 x^{10}-3 x^{12}-x^{16}+x^{20}}\right ) \, dx,x,\sqrt {x}\right )}{\sqrt {x} \sqrt {1-x+x^5}}\\ &=\frac {\left (4 \sqrt {x-x^2+x^6}\right ) \operatorname {Subst}\left (\int \frac {x^4 \sqrt {1-x^2+x^{10}}}{1-2 x^2+x^4-x^6+x^8+2 x^{10}-3 x^{12}-x^{16}+x^{20}} \, dx,x,\sqrt {x}\right )}{\sqrt {x} \sqrt {1-x+x^5}}+\frac {\left (4 \sqrt {x-x^2+x^6}\right ) \operatorname {Subst}\left (\int \frac {x^{12} \sqrt {1-x^2+x^{10}}}{1-2 x^2+x^4-x^6+x^8+2 x^{10}-3 x^{12}-x^{16}+x^{20}} \, dx,x,\sqrt {x}\right )}{\sqrt {x} \sqrt {1-x+x^5}}-\frac {\left (6 \sqrt {x-x^2+x^6}\right ) \operatorname {Subst}\left (\int \frac {x^2 \sqrt {1-x^2+x^{10}}}{1-2 x^2+x^4-x^6+x^8+2 x^{10}-3 x^{12}-x^{16}+x^{20}} \, dx,x,\sqrt {x}\right )}{\sqrt {x} \sqrt {1-x+x^5}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 0.68, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (-3+2 x+2 x^5\right ) \sqrt {x-x^2+x^6}}{1-2 x+x^2-x^3+x^4+2 x^5-3 x^6-x^8+x^{10}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 9.46, size = 110, normalized size = 1.00 \begin {gather*} \sqrt {\frac {1}{5} \left (-2+2 \sqrt {5}\right )} \tan ^{-1}\left (\frac {\sqrt {\frac {1}{2}+\frac {\sqrt {5}}{2}} \sqrt {x-x^2+x^6}}{x^2}\right )-\sqrt {\frac {1}{5} \left (2+2 \sqrt {5}\right )} \tanh ^{-1}\left (\frac {\sqrt {-\frac {1}{2}+\frac {\sqrt {5}}{2}} \sqrt {x-x^2+x^6}}{x^2}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.96, size = 566, normalized size = 5.15 \begin {gather*} -\frac {1}{5} \, \sqrt {5} \sqrt {2 \, \sqrt {5} - 2} \arctan \left (\frac {2 \, {\left (2 \, x^{6} + \sqrt {5} x^{4} + x^{4} - 2 \, x^{2} + 2 \, x\right )} \sqrt {x^{6} - x^{2} + x} \sqrt {2 \, \sqrt {5} - 2} + {\left (3 \, x^{10} + 5 \, x^{8} - 3 \, x^{6} + 6 \, x^{5} - 5 \, x^{4} + 5 \, x^{3} + 3 \, x^{2} + \sqrt {5} {\left (x^{10} + 3 \, x^{8} - x^{6} + 2 \, x^{5} - 3 \, x^{4} + 3 \, x^{3} + x^{2} - 2 \, x + 1\right )} - 6 \, x + 3\right )} \sqrt {2 \, \sqrt {5} - 2} \sqrt {\sqrt {5} - 2}}{4 \, {\left (x^{10} + x^{8} - 3 \, x^{6} + 2 \, x^{5} - x^{4} + x^{3} + x^{2} - 2 \, x + 1\right )}}\right ) - \frac {1}{20} \, \sqrt {5} \sqrt {2 \, \sqrt {5} + 2} \log \left (-\frac {4 \, {\left (3 \, x^{6} + x^{4} - 3 \, x^{2} + \sqrt {5} {\left (x^{6} + x^{4} - x^{2} + x\right )} + 3 \, x\right )} \sqrt {x^{6} - x^{2} + x} + {\left (x^{10} + 5 \, x^{8} - x^{6} + 2 \, x^{5} - 5 \, x^{4} + 5 \, x^{3} + x^{2} + \sqrt {5} {\left (x^{10} + x^{8} - x^{6} + 2 \, x^{5} - x^{4} + x^{3} + x^{2} - 2 \, x + 1\right )} - 2 \, x + 1\right )} \sqrt {2 \, \sqrt {5} + 2}}{x^{10} - x^{8} - 3 \, x^{6} + 2 \, x^{5} + x^{4} - x^{3} + x^{2} - 2 \, x + 1}\right ) + \frac {1}{20} \, \sqrt {5} \sqrt {2 \, \sqrt {5} + 2} \log \left (-\frac {4 \, {\left (3 \, x^{6} + x^{4} - 3 \, x^{2} + \sqrt {5} {\left (x^{6} + x^{4} - x^{2} + x\right )} + 3 \, x\right )} \sqrt {x^{6} - x^{2} + x} - {\left (x^{10} + 5 \, x^{8} - x^{6} + 2 \, x^{5} - 5 \, x^{4} + 5 \, x^{3} + x^{2} + \sqrt {5} {\left (x^{10} + x^{8} - x^{6} + 2 \, x^{5} - x^{4} + x^{3} + x^{2} - 2 \, x + 1\right )} - 2 \, x + 1\right )} \sqrt {2 \, \sqrt {5} + 2}}{x^{10} - x^{8} - 3 \, x^{6} + 2 \, x^{5} + x^{4} - x^{3} + x^{2} - 2 \, x + 1}\right ) \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 {\sqrt {x^{6} - x^{2} + x} {\left (2 \, x^{5} + 2 \, x - 3\right )}}{x^{10} - x^{8} - 3 \, x^{6} + 2 \, x^{5} + x^{4} - x^{3} + x^{2} - 2 \, x + 1}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 8.79, size = 943, normalized size = 8.57
method | result | size |
trager | \(-\frac {\RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) \ln \left (-\frac {225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{4} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x^{5}-225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{4} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x^{3}+85 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x^{5}-225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{4} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x -40 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x^{3}+8 \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x^{5}+225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{4} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right )+350 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2} \sqrt {x^{6}-x^{2}+x}\, x -85 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x +85 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2} \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right )+50 \sqrt {x^{6}-x^{2}+x}\, x -8 \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right ) x +8 \RootOf \left (\textit {\_Z}^{2}+25 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5\right )}{5 x^{5} \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5 x^{3} \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-x^{5}-5 x \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}+2 x^{3}+5 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}+x -1}\right )}{5}-\RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right ) \ln \left (-\frac {225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{5} x^{5}-225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{5} x^{3}-175 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{3} x^{5}-225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{5} x +130 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{3} x^{3}+34 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right ) x^{5}+225 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{5}+175 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{3} x -70 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2} \sqrt {x^{6}-x^{2}+x}\, x -17 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right ) x^{3}-175 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{3}-34 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right ) x +24 \sqrt {x^{6}-x^{2}+x}\, x +34 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )}{5 x^{5} \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5 x^{3} \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-5 x \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}-x^{3}+5 \RootOf \left (25 \textit {\_Z}^{4}-5 \textit {\_Z}^{2}-1\right )^{2}}\right )\) | \(943\) |
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 {\sqrt {x^{6} - x^{2} + x} {\left (2 \, x^{5} + 2 \, x - 3\right )}}{x^{10} - x^{8} - 3 \, x^{6} + 2 \, x^{5} + x^{4} - x^{3} + x^{2} - 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 (2\,x^5+2\,x-3\right )\,\sqrt {x^6-x^2+x}}{x^{10}-x^8-3\,x^6+2\,x^5+x^4-x^3+x^2-2\,x+1} \,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 {\sqrt {x \left (x^{5} - x + 1\right )} \left (2 x^{5} + 2 x - 3\right )}{x^{10} - x^{8} - 3 x^{6} + 2 x^{5} + x^{4} - x^{3} + x^{2} - 2 x + 1}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________