Optimal. Leaf size=259 \[ \frac {\sqrt {1-c_0} \tan ^{-1}\left (\frac {\sqrt {1-c_0} \sqrt {-1+c_1} \sqrt {\frac {c_3 x^3+c_0 x^2+c_4}{c_3 x^3+c_1 x^2+c_4}}}{-1+c_0}\right )}{\sqrt {-1+c_1}}+\frac {\sqrt {-1-c_0} \tan ^{-1}\left (\frac {\sqrt {-1-c_0} \sqrt {1+c_1} \sqrt {\frac {c_3 x^3+c_0 x^2+c_4}{c_3 x^3+c_1 x^2+c_4}}}{1+c_0}\right )}{3 \sqrt {1+c_1}}-\frac {4 \sqrt {1-2 c_0} \tan ^{-1}\left (\frac {\sqrt {1-2 c_0} \sqrt {-1+2 c_1} \sqrt {\frac {c_3 x^3+c_0 x^2+c_4}{c_3 x^3+c_1 x^2+c_4}}}{-1+2 c_0}\right )}{3 \sqrt {-1+2 c_1}} \]
________________________________________________________________________________________
Rubi [F] time = 32.27, 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 {x^3 \left (x^3 c_3-2 c_4\right ) \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}}}{\left (x^2+2 x^3 c_3+2 c_4\right ) \left (-x^4+x^6 c_3{}^2+2 x^3 c_3 c_4+c_4{}^2\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {x^3 \left (x^3 c_3-2 c_4\right ) \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}}}{\left (x^2+2 x^3 c_3+2 c_4\right ) \left (-x^4+x^6 c_3{}^2+2 x^3 c_3 c_4+c_4{}^2\right )} \, dx &=\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x^3 \left (x^3 c_3-2 c_4\right ) \sqrt {x^2 c_0+x^3 c_3+c_4}}{\sqrt {x^2 c_1+x^3 c_3+c_4} \left (x^2+2 x^3 c_3+2 c_4\right ) \left (-x^4+x^6 c_3{}^2+2 x^3 c_3 c_4+c_4{}^2\right )} \, dx}{\sqrt {x^2 c_0+x^3 c_3+c_4}}\\ &=\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \left (\frac {x (-2+3 x c_3) \sqrt {x^2 c_0+x^3 c_3+c_4}}{6 \left (-x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}}+\frac {x (2+3 x c_3) \sqrt {x^2 c_0+x^3 c_3+c_4}}{2 \left (x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}}-\frac {4 x (1+3 x c_3) \sqrt {x^2 c_0+x^3 c_3+c_4}}{3 \sqrt {x^2 c_1+x^3 c_3+c_4} \left (x^2+2 x^3 c_3+2 c_4\right )}\right ) \, dx}{\sqrt {x^2 c_0+x^3 c_3+c_4}}\\ &=\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x (-2+3 x c_3) \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (-x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}} \, dx}{6 \sqrt {x^2 c_0+x^3 c_3+c_4}}+\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x (2+3 x c_3) \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}} \, dx}{2 \sqrt {x^2 c_0+x^3 c_3+c_4}}-\frac {\left (4 \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x (1+3 x c_3) \sqrt {x^2 c_0+x^3 c_3+c_4}}{\sqrt {x^2 c_1+x^3 c_3+c_4} \left (x^2+2 x^3 c_3+2 c_4\right )} \, dx}{3 \sqrt {x^2 c_0+x^3 c_3+c_4}}\\ &=\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \left (-\frac {2 x \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (-x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}}+\frac {3 x^2 c_3 \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (-x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}}\right ) \, dx}{6 \sqrt {x^2 c_0+x^3 c_3+c_4}}+\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \left (\frac {2 x \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}}+\frac {3 x^2 c_3 \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}}\right ) \, dx}{2 \sqrt {x^2 c_0+x^3 c_3+c_4}}-\frac {\left (4 \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \left (\frac {x \sqrt {x^2 c_0+x^3 c_3+c_4}}{\sqrt {x^2 c_1+x^3 c_3+c_4} \left (x^2+2 x^3 c_3+2 c_4\right )}+\frac {3 x^2 c_3 \sqrt {x^2 c_0+x^3 c_3+c_4}}{\sqrt {x^2 c_1+x^3 c_3+c_4} \left (x^2+2 x^3 c_3+2 c_4\right )}\right ) \, dx}{3 \sqrt {x^2 c_0+x^3 c_3+c_4}}\\ &=-\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (-x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}} \, dx}{3 \sqrt {x^2 c_0+x^3 c_3+c_4}}+\frac {\left (\sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}} \, dx}{\sqrt {x^2 c_0+x^3 c_3+c_4}}-\frac {\left (4 \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x \sqrt {x^2 c_0+x^3 c_3+c_4}}{\sqrt {x^2 c_1+x^3 c_3+c_4} \left (x^2+2 x^3 c_3+2 c_4\right )} \, dx}{3 \sqrt {x^2 c_0+x^3 c_3+c_4}}+\frac {\left (c_3 \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x^2 \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (-x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}} \, dx}{2 \sqrt {x^2 c_0+x^3 c_3+c_4}}+\frac {\left (3 c_3 \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x^2 \sqrt {x^2 c_0+x^3 c_3+c_4}}{\left (x^2+x^3 c_3+c_4\right ) \sqrt {x^2 c_1+x^3 c_3+c_4}} \, dx}{2 \sqrt {x^2 c_0+x^3 c_3+c_4}}-\frac {\left (4 c_3 \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}} \sqrt {x^2 c_1+x^3 c_3+c_4}\right ) \int \frac {x^2 \sqrt {x^2 c_0+x^3 c_3+c_4}}{\sqrt {x^2 c_1+x^3 c_3+c_4} \left (x^2+2 x^3 c_3+2 c_4\right )} \, dx}{\sqrt {x^2 c_0+x^3 c_3+c_4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 0.61, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^3 \left (x^3 c_3-2 c_4\right ) \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}}}{\left (x^2+2 x^3 c_3+2 c_4\right ) \left (-x^4+x^6 c_3{}^2+2 x^3 c_3 c_4+c_4{}^2\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 1.22, size = 259, normalized size = 1.00 \begin {gather*} \frac {\tan ^{-1}\left (\frac {\sqrt {1-c_0} \sqrt {-1+c_1} \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}}}{-1+c_0}\right ) \sqrt {1-c_0}}{\sqrt {-1+c_1}}+\frac {\tan ^{-1}\left (\frac {\sqrt {-1-c_0} \sqrt {1+c_1} \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}}}{1+c_0}\right ) \sqrt {-1-c_0}}{3 \sqrt {1+c_1}}-\frac {4 \tan ^{-1}\left (\frac {\sqrt {1-2 c_0} \sqrt {-1+2 c_1} \sqrt {\frac {x^2 c_0+x^3 c_3+c_4}{x^2 c_1+x^3 c_3+c_4}}}{-1+2 c_0}\right ) \sqrt {1-2 c_0}}{3 \sqrt {-1+2 c_1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [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]
________________________________________________________________________________________
giac [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]
________________________________________________________________________________________
maple [F] time = 0.16, size = 0, normalized size = 0.00 \[\int \frac {x^{3} \left (\textit {\_C3} \,x^{3}-2 \textit {\_C4} \right ) \sqrt {\frac {\textit {\_C3} \,x^{3}+\textit {\_C0} \,x^{2}+\textit {\_C4}}{\textit {\_C3} \,x^{3}+\textit {\_C1} \,x^{2}+\textit {\_C4}}}}{\left (2 \textit {\_C3} \,x^{3}+x^{2}+2 \textit {\_C4} \right ) \left (\textit {\_C3}^{2} x^{6}+2 \textit {\_C3} \textit {\_C4} \,x^{3}-x^{4}+\textit {\_C4}^{2}\right )}\, dx\]
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 (\_{C_{3}} x^{3} - 2 \, \_{C_{4}}\right )} x^{3} \sqrt {\frac {\_{C_{3}} x^{3} + \_{C_{0}} x^{2} + \_{C_{4}}}{\_{C_{3}} x^{3} + \_{C_{1}} x^{2} + \_{C_{4}}}}}{{\left (\_{C_{3}}^{2} x^{6} + 2 \, \_{C_{3}} \_{C_{4}} x^{3} - x^{4} + \_{C_{4}}^{2}\right )} {\left (2 \, \_{C_{3}} x^{3} + x^{2} + 2 \, \_{C_{4}}\right )}}\,{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 {x^3\,\sqrt {\frac {_{\mathrm {C3}}\,x^3+_{\mathrm {C0}}\,x^2+_{\mathrm {C4}}}{_{\mathrm {C3}}\,x^3+_{\mathrm {C1}}\,x^2+_{\mathrm {C4}}}}\,\left (2\,_{\mathrm {C4}}-_{\mathrm {C3}}\,x^3\right )}{\left (2\,_{\mathrm {C3}}\,x^3+x^2+2\,_{\mathrm {C4}}\right )\,\left ({_{\mathrm {C3}}}^2\,x^6+2\,_{\mathrm {C3}}\,_{\mathrm {C4}}\,x^3+{_{\mathrm {C4}}}^2-x^4\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]
________________________________________________________________________________________