3.28.45 \(\int \frac {(-q+2 p x^3) \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} (b x^4+a (q+p x^3)^4)}{x^7} \, dx\) [2745]

Optimal. Leaf size=255 \[ \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \left (2 a q^5-a p q^4 x^2+10 a p q^4 x^3+6 b q x^4-3 a p^2 q^3 x^4-3 a p^2 q^3 x^5+20 a p^2 q^3 x^6+6 b p x^7-3 a p^3 q^2 x^7-3 a p^3 q^2 x^8+20 a p^3 q^2 x^9-a p^4 q x^{11}+10 a p^4 q x^{12}+2 a p^5 x^{15}\right )}{12 x^6}+\frac {1}{2} \left (2 b p q+a p^3 q^3\right ) \log (x)+\frac {1}{2} \left (-2 b p q-a p^3 q^3\right ) \log \left (q+p x^3+\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}\right ) \]

[Out]

1/12*(p^2*x^6+2*p*q*x^3-2*p*q*x^2+q^2)^(1/2)*(2*a*p^5*x^15+10*a*p^4*q*x^12-a*p^4*q*x^11+20*a*p^3*q^2*x^9-3*a*p
^3*q^2*x^8-3*a*p^3*q^2*x^7+20*a*p^2*q^3*x^6-3*a*p^2*q^3*x^5-3*a*p^2*q^3*x^4+10*a*p*q^4*x^3+6*b*p*x^7-a*p*q^4*x
^2+2*a*q^5+6*b*q*x^4)/x^6+1/2*(a*p^3*q^3+2*b*p*q)*ln(x)+1/2*(-a*p^3*q^3-2*b*p*q)*ln(q+p*x^3+(p^2*x^6+2*p*q*x^3
-2*p*q*x^2+q^2)^(1/2))

________________________________________________________________________________________

Rubi [F]
time = 1.59, 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+2 p x^3\right ) \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \left (b x^4+a \left (q+p x^3\right )^4\right )}{x^7} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[((-q + 2*p*x^3)*Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6]*(b*x^4 + a*(q + p*x^3)^4))/x^7,x]

[Out]

(7*a*p^2*q*(q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6)^(3/2))/9 + 2*b*p*Defer[Int][Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^
3 + p^2*x^6], x] - a*q^5*Defer[Int][Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6]/x^7, x] - 2*a*p*q^4*Defer[Int]
[Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6]/x^4, x] - b*q*Defer[Int][Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x
^6]/x^3, x] + 2*a*p^2*q^3*Defer[Int][Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6]/x, x] + (14*a*p^3*q^2*Defer[I
nt][x*Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6], x])/3 + a*p^3*q^2*Defer[Int][x^2*Sqrt[q^2 - 2*p*q*x^2 + 2*p
*q*x^3 + p^2*x^6], x] + 2*a*p^5*Defer[Int][x^8*Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6], x]

Rubi steps

\begin {align*} \int \frac {\left (-q+2 p x^3\right ) \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \left (b x^4+a \left (q+p x^3\right )^4\right )}{x^7} \, dx &=\int \left (2 b p \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}-\frac {a q^5 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^7}-\frac {2 a p q^4 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^4}-\frac {b q \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^3}+\frac {2 a p^2 q^3 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x}+8 a p^3 q^2 x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}+7 a p^4 q x^5 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}+2 a p^5 x^8 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}\right ) \, dx\\ &=(2 b p) \int \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^5\right ) \int x^8 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx-(b q) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^3} \, dx+\left (7 a p^4 q\right ) \int x^5 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (8 a p^3 q^2\right ) \int x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^2 q^3\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x} \, dx-\left (2 a p q^4\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^4} \, dx-\left (a q^5\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^7} \, dx\\ &=\frac {7}{9} a p^2 q \left (q^2-2 p q x^2+2 p q x^3+p^2 x^6\right )^{3/2}+(2 b p) \int \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^5\right ) \int x^8 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx-(b q) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^3} \, dx+\frac {1}{6} \left (7 a p^2 q\right ) \int \left (4 p q x-6 p q x^2\right ) \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (8 a p^3 q^2\right ) \int x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^2 q^3\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x} \, dx-\left (2 a p q^4\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^4} \, dx-\left (a q^5\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^7} \, dx\\ &=\frac {7}{9} a p^2 q \left (q^2-2 p q x^2+2 p q x^3+p^2 x^6\right )^{3/2}+(2 b p) \int \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^5\right ) \int x^8 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx-(b q) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^3} \, dx+\frac {1}{6} \left (7 a p^2 q\right ) \int x (4 p q-6 p q x) \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (8 a p^3 q^2\right ) \int x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^2 q^3\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x} \, dx-\left (2 a p q^4\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^4} \, dx-\left (a q^5\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^7} \, dx\\ &=\frac {7}{9} a p^2 q \left (q^2-2 p q x^2+2 p q x^3+p^2 x^6\right )^{3/2}+(2 b p) \int \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^5\right ) \int x^8 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx-(b q) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^3} \, dx+\frac {1}{6} \left (7 a p^2 q\right ) \int \left (4 p q x \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}-6 p q x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}\right ) \, dx+\left (8 a p^3 q^2\right ) \int x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^2 q^3\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x} \, dx-\left (2 a p q^4\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^4} \, dx-\left (a q^5\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^7} \, dx\\ &=\frac {7}{9} a p^2 q \left (q^2-2 p q x^2+2 p q x^3+p^2 x^6\right )^{3/2}+(2 b p) \int \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^5\right ) \int x^8 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx-(b q) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^3} \, dx+\frac {1}{3} \left (14 a p^3 q^2\right ) \int x \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx-\left (7 a p^3 q^2\right ) \int x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (8 a p^3 q^2\right ) \int x^2 \sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6} \, dx+\left (2 a p^2 q^3\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x} \, dx-\left (2 a p q^4\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^4} \, dx-\left (a q^5\right ) \int \frac {\sqrt {q^2-2 p q x^2+2 p q x^3+p^2 x^6}}{x^7} \, dx\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.38, size = 162, normalized size = 0.64 \begin {gather*} \frac {1}{12} \left (\frac {\left (q+p x^3\right ) \sqrt {q^2+2 p q (-1+x) x^2+p^2 x^6} \left (6 b x^4+a \left (2 q^4+2 p^4 x^{12}+p q^3 x^2 (-1+8 x)+p^3 q x^8 (-1+8 x)+p^2 q^2 x^4 \left (-3-2 x+12 x^2\right )\right )\right )}{x^6}-6 p q \left (2 b+a p^2 q^2\right ) \tanh ^{-1}\left (\frac {\sqrt {q^2+2 p q (-1+x) x^2+p^2 x^6}}{q+p x^3}\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((-q + 2*p*x^3)*Sqrt[q^2 - 2*p*q*x^2 + 2*p*q*x^3 + p^2*x^6]*(b*x^4 + a*(q + p*x^3)^4))/x^7,x]

[Out]

(((q + p*x^3)*Sqrt[q^2 + 2*p*q*(-1 + x)*x^2 + p^2*x^6]*(6*b*x^4 + a*(2*q^4 + 2*p^4*x^12 + p*q^3*x^2*(-1 + 8*x)
+ p^3*q*x^8*(-1 + 8*x) + p^2*q^2*x^4*(-3 - 2*x + 12*x^2))))/x^6 - 6*p*q*(2*b + a*p^2*q^2)*ArcTanh[Sqrt[q^2 +
2*p*q*(-1 + x)*x^2 + p^2*x^6]/(q + p*x^3)])/12

________________________________________________________________________________________

Maple [F]
time = 0.03, size = 0, normalized size = 0.00 \[\int \frac {\left (2 p \,x^{3}-q \right ) \sqrt {p^{2} x^{6}+2 p q \,x^{3}-2 p q \,x^{2}+q^{2}}\, \left (b \,x^{4}+a \left (p \,x^{3}+q \right )^{4}\right )}{x^{7}}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2*p*x^3-q)*(p^2*x^6+2*p*q*x^3-2*p*q*x^2+q^2)^(1/2)*(b*x^4+a*(p*x^3+q)^4)/x^7,x)

[Out]

int((2*p*x^3-q)*(p^2*x^6+2*p*q*x^3-2*p*q*x^2+q^2)^(1/2)*(b*x^4+a*(p*x^3+q)^4)/x^7,x)

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*p*x^3-q)*(p^2*x^6+2*p*q*x^3-2*p*q*x^2+q^2)^(1/2)*(b*x^4+a*(p*x^3+q)^4)/x^7,x, algorithm="maxima")

[Out]

integrate(sqrt(p^2*x^6 + 2*p*q*x^3 - 2*p*q*x^2 + q^2)*((p*x^3 + q)^4*a + b*x^4)*(2*p*x^3 - q)/x^7, x)

________________________________________________________________________________________

Fricas [F(-1)] Timed out
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]

integrate((2*p*x^3-q)*(p^2*x^6+2*p*q*x^3-2*p*q*x^2+q^2)^(1/2)*(b*x^4+a*(p*x^3+q)^4)/x^7,x, algorithm="fricas")

[Out]

Timed out

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (2 p x^{3} - q\right ) \sqrt {p^{2} x^{6} + 2 p q x^{3} - 2 p q x^{2} + q^{2}} \left (a p^{4} x^{12} + 4 a p^{3} q x^{9} + 6 a p^{2} q^{2} x^{6} + 4 a p q^{3} x^{3} + a q^{4} + b x^{4}\right )}{x^{7}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*p*x**3-q)*(p**2*x**6+2*p*q*x**3-2*p*q*x**2+q**2)**(1/2)*(b*x**4+a*(p*x**3+q)**4)/x**7,x)

[Out]

Integral((2*p*x**3 - q)*sqrt(p**2*x**6 + 2*p*q*x**3 - 2*p*q*x**2 + q**2)*(a*p**4*x**12 + 4*a*p**3*q*x**9 + 6*a
*p**2*q**2*x**6 + 4*a*p*q**3*x**3 + a*q**4 + b*x**4)/x**7, x)

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*p*x^3-q)*(p^2*x^6+2*p*q*x^3-2*p*q*x^2+q^2)^(1/2)*(b*x^4+a*(p*x^3+q)^4)/x^7,x, algorithm="giac")

[Out]

integrate(sqrt(p^2*x^6 + 2*p*q*x^3 - 2*p*q*x^2 + q^2)*((p*x^3 + q)^4*a + b*x^4)*(2*p*x^3 - q)/x^7, x)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} -\int \frac {\left (q-2\,p\,x^3\right )\,\left (a\,{\left (p\,x^3+q\right )}^4+b\,x^4\right )\,\sqrt {p^2\,x^6+2\,p\,q\,x^3-2\,p\,q\,x^2+q^2}}{x^7} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-((q - 2*p*x^3)*(a*(q + p*x^3)^4 + b*x^4)*(p^2*x^6 + q^2 - 2*p*q*x^2 + 2*p*q*x^3)^(1/2))/x^7,x)

[Out]

-int(((q - 2*p*x^3)*(a*(q + p*x^3)^4 + b*x^4)*(p^2*x^6 + q^2 - 2*p*q*x^2 + 2*p*q*x^3)^(1/2))/x^7, x)

________________________________________________________________________________________