Optimal. Leaf size=56 \[ \frac {2 \sqrt {p x^6+q} \left (3 a p^2 x^{12}+6 a p q x^6+3 a q^2+5 b p x^{10}+5 b q x^4\right )}{15 x^{10}} \]
________________________________________________________________________________________
Rubi [A] time = 0.14, antiderivative size = 39, normalized size of antiderivative = 0.70, number of steps used = 8, number of rules used = 7, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.175, Rules used = {12, 1833, 1584, 446, 74, 1478, 449} \begin {gather*} \frac {2 a \left (p x^6+q\right )^{5/2}}{5 x^{10}}+\frac {2 b \left (p x^6+q\right )^{3/2}}{3 x^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 74
Rule 446
Rule 449
Rule 1478
Rule 1584
Rule 1833
Rubi steps
\begin {align*} \int \frac {2 \left (-2 q+p x^6\right ) \sqrt {q+p x^6} \left (a q+b x^4+a p x^6\right )}{x^{11}} \, dx &=2 \int \frac {\left (-2 q+p x^6\right ) \sqrt {q+p x^6} \left (a q+b x^4+a p x^6\right )}{x^{11}} \, dx\\ &=2 \int \left (\frac {\sqrt {q+p x^6} \left (-2 b q x^3+b p x^9\right )}{x^{10}}+\frac {\sqrt {q+p x^6} \left (-2 a q^2-a p q x^6+a p^2 x^{12}\right )}{x^{11}}\right ) \, dx\\ &=2 \int \frac {\sqrt {q+p x^6} \left (-2 b q x^3+b p x^9\right )}{x^{10}} \, dx+2 \int \frac {\sqrt {q+p x^6} \left (-2 a q^2-a p q x^6+a p^2 x^{12}\right )}{x^{11}} \, dx\\ &=2 \int \frac {\left (q+p x^6\right )^{3/2} \left (-2 a q+a p x^6\right )}{x^{11}} \, dx+2 \int \frac {\sqrt {q+p x^6} \left (-2 b q+b p x^6\right )}{x^7} \, dx\\ &=\frac {2 a \left (q+p x^6\right )^{5/2}}{5 x^{10}}+\frac {1}{3} \operatorname {Subst}\left (\int \frac {\sqrt {q+p x} (-2 b q+b p x)}{x^2} \, dx,x,x^6\right )\\ &=\frac {2 b \left (q+p x^6\right )^{3/2}}{3 x^6}+\frac {2 a \left (q+p x^6\right )^{5/2}}{5 x^{10}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.58, size = 248, normalized size = 4.43 \begin {gather*} \frac {5 x^4 \left (6 a p^2 x^8 \left (p x^6+q\right ) \, _2F_1\left (-\frac {1}{2},\frac {1}{3};\frac {4}{3};-\frac {p x^6}{q}\right )+3 a p q x^2 \left (p x^6+q\right ) \, _2F_1\left (-\frac {2}{3},-\frac {1}{2};\frac {1}{3};-\frac {p x^6}{q}\right )-4 b p \sqrt {q} x^6 \sqrt {p x^6+q} \sqrt {\frac {p x^6}{q}+1} \tanh ^{-1}\left (\frac {\sqrt {p x^6+q}}{\sqrt {q}}\right )+4 b \left (p x^6+q\right ) \left (\left (p x^6+q\right ) \sqrt {\frac {p x^6}{q}+1}+p x^6 \tanh ^{-1}\left (\sqrt {\frac {p x^6}{q}+1}\right )\right )\right )+12 a q^2 \left (p x^6+q\right ) \, _2F_1\left (-\frac {5}{3},-\frac {1}{2};-\frac {2}{3};-\frac {p x^6}{q}\right )}{30 x^{10} \sqrt {p x^6+q} \sqrt {\frac {p x^6}{q}+1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 18.79, size = 56, normalized size = 1.00 \begin {gather*} \frac {2 \sqrt {q+p x^6} \left (3 a q^2+5 b q x^4+6 a p q x^6+5 b p x^{10}+3 a p^2 x^{12}\right )}{15 x^{10}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.51, size = 52, normalized size = 0.93 \begin {gather*} \frac {2 \, {\left (3 \, a p^{2} x^{12} + 5 \, b p x^{10} + 6 \, a p q x^{6} + 5 \, b q x^{4} + 3 \, a q^{2}\right )} \sqrt {p x^{6} + q}}{15 \, x^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.66, size = 65, normalized size = 1.16 \begin {gather*} \frac {2}{15} \, \sqrt {p x^{6} + q} {\left (3 \, a p^{2} x^{2} + 5 \, b p\right )} + \frac {2}{15} \, {\left (6 \, a p q + \frac {5 \, b q + \frac {3 \, a q^{2}}{x^{4}}}{x^{2}}\right )} \sqrt {\frac {p}{x^{2}} + \frac {q}{x^{8}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.11, size = 33, normalized size = 0.59
method | result | size |
gosper | \(\frac {2 \left (p \,x^{6}+q \right )^{\frac {3}{2}} \left (3 a p \,x^{6}+5 b \,x^{4}+3 a q \right )}{15 x^{10}}\) | \(33\) |
trager | \(\frac {2 \sqrt {p \,x^{6}+q}\, \left (3 a \,p^{2} x^{12}+5 b p \,x^{10}+6 a p q \,x^{6}+5 b q \,x^{4}+3 a \,q^{2}\right )}{15 x^{10}}\) | \(53\) |
risch | \(\frac {2 \sqrt {p \,x^{6}+q}\, \left (3 a \,p^{2} x^{12}+5 b p \,x^{10}+6 a p q \,x^{6}+5 b q \,x^{4}+3 a \,q^{2}\right )}{15 x^{10}}\) | \(53\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.37, size = 52, normalized size = 0.93 \begin {gather*} \frac {2 \, {\left (3 \, a p^{2} x^{12} + 5 \, b p x^{10} + 6 \, a p q x^{6} + 5 \, b q x^{4} + 3 \, a q^{2}\right )} \sqrt {p x^{6} + q}}{15 \, x^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.69, size = 76, normalized size = 1.36 \begin {gather*} \sqrt {p\,x^6+q}\,\left (\frac {2\,a\,p^2\,x^2}{5}+\frac {2\,b\,p}{3}\right )+\frac {2\,a\,q^2\,\sqrt {p\,x^6+q}}{5\,x^{10}}+\frac {2\,b\,q\,\sqrt {p\,x^6+q}}{3\,x^6}+\frac {4\,a\,p\,q\,\sqrt {p\,x^6+q}}{5\,x^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [C] time = 10.91, size = 223, normalized size = 3.98 \begin {gather*} \frac {a p^{2} \sqrt {q} x^{2} \Gamma \left (\frac {1}{3}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, \frac {1}{3} \\ \frac {4}{3} \end {matrix}\middle | {\frac {p x^{6} e^{i \pi }}{q}} \right )}}{3 \Gamma \left (\frac {4}{3}\right )} - \frac {a p q^{\frac {3}{2}} \Gamma \left (- \frac {2}{3}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {2}{3}, - \frac {1}{2} \\ \frac {1}{3} \end {matrix}\middle | {\frac {p x^{6} e^{i \pi }}{q}} \right )}}{3 x^{4} \Gamma \left (\frac {1}{3}\right )} - \frac {2 a q^{\frac {5}{2}} \Gamma \left (- \frac {5}{3}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {5}{3}, - \frac {1}{2} \\ - \frac {2}{3} \end {matrix}\middle | {\frac {p x^{6} e^{i \pi }}{q}} \right )}}{3 x^{10} \Gamma \left (- \frac {2}{3}\right )} + \frac {2 b p^{\frac {3}{2}} x^{3}}{3 \sqrt {1 + \frac {q}{p x^{6}}}} + \frac {2 b \sqrt {p} q \sqrt {1 + \frac {q}{p x^{6}}}}{3 x^{3}} + \frac {2 b \sqrt {p} q}{3 x^{3} \sqrt {1 + \frac {q}{p x^{6}}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________