Optimal. Leaf size=223 \[ \frac {1}{3} \text {RootSum}\left [\text {$\#$1}^6 a+6 \text {$\#$1}^4 a p q+8 \text {$\#$1}^3 b+12 \text {$\#$1}^2 a p^2 q^2+8 a p^3 q^3\& ,\frac {\text {$\#$1}^4 \log \left (-\text {$\#$1} x+\sqrt {p^2 x^4+q^2}+p x^2+q\right )+\text {$\#$1}^4 (-\log (x))-4 \text {$\#$1}^2 p q \log \left (-\text {$\#$1} x+\sqrt {p^2 x^4+q^2}+p x^2+q\right )+4 \text {$\#$1}^2 p q \log (x)+4 p^2 q^2 \log \left (-\text {$\#$1} x+\sqrt {p^2 x^4+q^2}+p x^2+q\right )-4 p^2 q^2 \log (x)}{\text {$\#$1}^5 a+4 \text {$\#$1}^3 a p q+4 \text {$\#$1}^2 b+4 \text {$\#$1} a p^2 q^2}\& \right ] \]
________________________________________________________________________________________
Rubi [F] time = 1.55, 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 (-q+p x^2\right ) \sqrt {q^2+p^2 x^4}}{b x^3+a \left (q+p x^2\right )^3} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\left (-q+p x^2\right ) \sqrt {q^2+p^2 x^4}}{b x^3+a \left (q+p x^2\right )^3} \, dx &=\int \left (-\frac {q \sqrt {q^2+p^2 x^4}}{a q^3+3 a p q^2 x^2+b x^3+3 a p^2 q x^4+a p^3 x^6}+\frac {p x^2 \sqrt {q^2+p^2 x^4}}{a q^3+3 a p q^2 x^2+b x^3+3 a p^2 q x^4+a p^3 x^6}\right ) \, dx\\ &=p \int \frac {x^2 \sqrt {q^2+p^2 x^4}}{a q^3+3 a p q^2 x^2+b x^3+3 a p^2 q x^4+a p^3 x^6} \, dx-q \int \frac {\sqrt {q^2+p^2 x^4}}{a q^3+3 a p q^2 x^2+b x^3+3 a p^2 q x^4+a p^3 x^6} \, dx\\ &=p \int \frac {x^2 \sqrt {q^2+p^2 x^4}}{b x^3+a \left (q+p x^2\right )^3} \, dx-q \int \frac {\sqrt {q^2+p^2 x^4}}{b x^3+a \left (q+p x^2\right )^3} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 16.10, size = 33882, normalized size = 151.94 \begin {gather*} \text {Result too large to show} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 2.49, size = 223, normalized size = 1.00 \begin {gather*} \frac {1}{3} \text {RootSum}\left [8 a p^3 q^3+12 a p^2 q^2 \text {$\#$1}^2+8 b \text {$\#$1}^3+6 a p q \text {$\#$1}^4+a \text {$\#$1}^6\&,\frac {-4 p^2 q^2 \log (x)+4 p^2 q^2 \log \left (q+p x^2+\sqrt {q^2+p^2 x^4}-x \text {$\#$1}\right )+4 p q \log (x) \text {$\#$1}^2-4 p q \log \left (q+p x^2+\sqrt {q^2+p^2 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^2-\log (x) \text {$\#$1}^4+\log \left (q+p x^2+\sqrt {q^2+p^2 x^4}-x \text {$\#$1}\right ) \text {$\#$1}^4}{4 a p^2 q^2 \text {$\#$1}+4 b \text {$\#$1}^2+4 a p q \text {$\#$1}^3+a \text {$\#$1}^5}\&\right ] \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] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {p^{2} x^{4} + q^{2}} {\left (p x^{2} - q\right )}}{{\left (p x^{2} + q\right )}^{3} a + b x^{3}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.82, size = 722, normalized size = 3.24
method | result | size |
default | \(\frac {b \sqrt {p^{2}}\, \left (\munderset {\textit {\_R} =\RootOf \left (p^{4} \textit {\_Z}^{12} a^{2}-12 \sqrt {p^{2}}\, \textit {\_Z}^{11} a^{2} p^{3} q +54 p^{4} \textit {\_Z}^{10} a^{2} q^{2}-\left (100 \sqrt {p^{2}}\, a^{2} p^{3} q^{3}-8 \sqrt {p^{2}}\, b^{2}\right ) \textit {\_Z}^{9}+15 p^{4} \textit {\_Z}^{8} a^{2} q^{4}-\left (-168 \sqrt {p^{2}}\, a^{2} p^{3} q^{5}+24 \sqrt {p^{2}}\, b^{2} q^{2}\right ) \textit {\_Z}^{7}-76 p^{4} \textit {\_Z}^{6} a^{2} q^{6}-\left (168 \sqrt {p^{2}}\, a^{2} p^{3} q^{7}-24 \sqrt {p^{2}}\, b^{2} q^{4}\right ) \textit {\_Z}^{5}+15 p^{4} \textit {\_Z}^{4} a^{2} q^{8}-\left (-100 \sqrt {p^{2}}\, a^{2} p^{3} q^{9}+8 \sqrt {p^{2}}\, b^{2} q^{6}\right ) \textit {\_Z}^{3}+54 p^{4} \textit {\_Z}^{2} a^{2} q^{10}+12 \sqrt {p^{2}}\, \textit {\_Z} \,a^{2} p^{3} q^{11}+a^{2} p^{4} q^{12}\right )}{\sum }\frac {\left (p \left (-\textit {\_R}^{9}+2 q^{4} \textit {\_R}^{5}-q^{8} \textit {\_R} \right )+2 q \left (-\textit {\_R}^{8} \sqrt {p^{2}}-q^{2} \textit {\_R}^{6} \sqrt {p^{2}}+q^{4} \textit {\_R}^{4} \sqrt {p^{2}}+q^{6} \textit {\_R}^{2} \sqrt {p^{2}}\right )\right ) \ln \left (\sqrt {p^{2} x^{4}+q^{2}}-x^{2} \sqrt {p^{2}}-\textit {\_R} \right )}{a^{2} p^{4} \left (-\textit {\_R}^{11}-45 q^{2} \textit {\_R}^{9}-10 q^{4} \textit {\_R}^{7}+38 q^{6} \textit {\_R}^{5}-5 q^{8} \textit {\_R}^{3}-9 q^{10} \textit {\_R} \right )+11 \sqrt {p^{2}}\, \textit {\_R}^{10} a^{2} p^{3} q +75 \sqrt {p^{2}}\, \textit {\_R}^{8} a^{2} p^{3} q^{3}-98 \sqrt {p^{2}}\, \textit {\_R}^{6} a^{2} p^{3} q^{5}+70 \sqrt {p^{2}}\, \textit {\_R}^{4} a^{2} p^{3} q^{7}-25 \sqrt {p^{2}}\, \textit {\_R}^{2} a^{2} p^{3} q^{9}-\sqrt {p^{2}}\, a^{2} p^{3} q^{11}-6 \sqrt {p^{2}}\, \textit {\_R}^{8} b^{2}+14 \sqrt {p^{2}}\, \textit {\_R}^{6} b^{2} q^{2}-10 \sqrt {p^{2}}\, \textit {\_R}^{4} b^{2} q^{4}+2 \sqrt {p^{2}}\, \textit {\_R}^{2} b^{2} q^{6}}\right )}{6}+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (8 a^{2} \textit {\_Z}^{6}+24 a^{2} p q \,\textit {\_Z}^{4}+24 a^{2} p^{2} q^{2} \textit {\_Z}^{2}+8 a^{2} p^{3} q^{3}-b^{2}\right )}{\sum }\frac {\left (\textit {\_R}^{4}+\textit {\_R}^{2} p q \right ) \ln \left (\frac {\sqrt {p^{2} x^{4}+q^{2}}\, \sqrt {2}}{2 x}-\textit {\_R} \right )}{\textit {\_R}^{5}+2 p q \,\textit {\_R}^{3}+p^{2} q^{2} \textit {\_R}}\right ) \sqrt {2}}{12 a}\) | \(722\) |
elliptic | \(\frac {b \sqrt {p^{2}}\, \left (\munderset {\textit {\_R} =\RootOf \left (p^{4} \textit {\_Z}^{12} a^{2}-12 \sqrt {p^{2}}\, \textit {\_Z}^{11} a^{2} p^{3} q +54 p^{4} \textit {\_Z}^{10} a^{2} q^{2}-\left (100 \sqrt {p^{2}}\, a^{2} p^{3} q^{3}-8 \sqrt {p^{2}}\, b^{2}\right ) \textit {\_Z}^{9}+15 p^{4} \textit {\_Z}^{8} a^{2} q^{4}-\left (-168 \sqrt {p^{2}}\, a^{2} p^{3} q^{5}+24 \sqrt {p^{2}}\, b^{2} q^{2}\right ) \textit {\_Z}^{7}-76 p^{4} \textit {\_Z}^{6} a^{2} q^{6}-\left (168 \sqrt {p^{2}}\, a^{2} p^{3} q^{7}-24 \sqrt {p^{2}}\, b^{2} q^{4}\right ) \textit {\_Z}^{5}+15 p^{4} \textit {\_Z}^{4} a^{2} q^{8}-\left (-100 \sqrt {p^{2}}\, a^{2} p^{3} q^{9}+8 \sqrt {p^{2}}\, b^{2} q^{6}\right ) \textit {\_Z}^{3}+54 p^{4} \textit {\_Z}^{2} a^{2} q^{10}+12 \sqrt {p^{2}}\, \textit {\_Z} \,a^{2} p^{3} q^{11}+a^{2} p^{4} q^{12}\right )}{\sum }\frac {\left (p \left (-\textit {\_R}^{9}+2 q^{4} \textit {\_R}^{5}-q^{8} \textit {\_R} \right )+2 q \left (-\textit {\_R}^{8} \sqrt {p^{2}}-q^{2} \textit {\_R}^{6} \sqrt {p^{2}}+q^{4} \textit {\_R}^{4} \sqrt {p^{2}}+q^{6} \textit {\_R}^{2} \sqrt {p^{2}}\right )\right ) \ln \left (\sqrt {p^{2} x^{4}+q^{2}}-x^{2} \sqrt {p^{2}}-\textit {\_R} \right )}{a^{2} p^{4} \left (-\textit {\_R}^{11}-45 q^{2} \textit {\_R}^{9}-10 q^{4} \textit {\_R}^{7}+38 q^{6} \textit {\_R}^{5}-5 q^{8} \textit {\_R}^{3}-9 q^{10} \textit {\_R} \right )+11 \sqrt {p^{2}}\, \textit {\_R}^{10} a^{2} p^{3} q +75 \sqrt {p^{2}}\, \textit {\_R}^{8} a^{2} p^{3} q^{3}-98 \sqrt {p^{2}}\, \textit {\_R}^{6} a^{2} p^{3} q^{5}+70 \sqrt {p^{2}}\, \textit {\_R}^{4} a^{2} p^{3} q^{7}-25 \sqrt {p^{2}}\, \textit {\_R}^{2} a^{2} p^{3} q^{9}-\sqrt {p^{2}}\, a^{2} p^{3} q^{11}-6 \sqrt {p^{2}}\, \textit {\_R}^{8} b^{2}+14 \sqrt {p^{2}}\, \textit {\_R}^{6} b^{2} q^{2}-10 \sqrt {p^{2}}\, \textit {\_R}^{4} b^{2} q^{4}+2 \sqrt {p^{2}}\, \textit {\_R}^{2} b^{2} q^{6}}\right )}{6}+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (8 a^{2} \textit {\_Z}^{6}+24 a^{2} p q \,\textit {\_Z}^{4}+24 a^{2} p^{2} q^{2} \textit {\_Z}^{2}+8 a^{2} p^{3} q^{3}-b^{2}\right )}{\sum }\frac {\left (\textit {\_R}^{4}+\textit {\_R}^{2} p q \right ) \ln \left (\frac {\sqrt {p^{2} x^{4}+q^{2}}\, \sqrt {2}}{2 x}-\textit {\_R} \right )}{\textit {\_R}^{5}+2 p q \,\textit {\_R}^{3}+p^{2} q^{2} \textit {\_R}}\right ) \sqrt {2}}{12 a}\) | \(722\) |
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 {p^{2} x^{4} + q^{2}} {\left (p x^{2} - q\right )}}{{\left (p x^{2} + q\right )}^{3} a + b x^{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 {\sqrt {p^2\,x^4+q^2}\,\left (q-p\,x^2\right )}{a\,{\left (p\,x^2+q\right )}^3+b\,x^3} \,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 {\left (p x^{2} - q\right ) \sqrt {p^{2} x^{4} + q^{2}}}{a p^{3} x^{6} + 3 a p^{2} q x^{4} + 3 a p q^{2} x^{2} + a q^{3} + b x^{3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________