Optimal. Leaf size=56 \[ \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}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.09, 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, 1847, 1598,
457, 75, 1492, 460} \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 75
Rule 457
Rule 460
Rule 1492
Rule 1598
Rule 1847
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} \text {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 [A]
time = 10.06, size = 35, normalized size = 0.62 \begin {gather*} \frac {2 \left (q+p x^6\right )^{3/2} \left (5 b x^4+3 a \left (q+p x^6\right )\right )}{15 x^{10}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.29, 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.29, 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]
________________________________________________________________________________________
Fricas [A]
time = 0.69, 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]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 6.74, 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]
________________________________________________________________________________________
Giac [A]
time = 0.59, 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]
________________________________________________________________________________________
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]
________________________________________________________________________________________