Optimal. Leaf size=234 \[ -\frac {\log \left (a^2 d^{2/3} x^4+\sqrt [3]{p x^4+q} \left (-a \sqrt [3]{c} \sqrt [3]{d} x^2-b \sqrt [3]{c} \sqrt [3]{d}\right )+2 a b d^{2/3} x^2+b^2 d^{2/3}+c^{2/3} \left (p x^4+q\right )^{2/3}\right )}{2 c^{2/3} \sqrt [3]{d}}+\frac {\log \left (a \sqrt [3]{d} x^2+b \sqrt [3]{d}+\sqrt [3]{c} \sqrt [3]{p x^4+q}\right )}{c^{2/3} \sqrt [3]{d}}+\frac {\sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} \sqrt [3]{c} \sqrt [3]{p x^4+q}}{-2 a \sqrt [3]{d} x^2-2 b \sqrt [3]{d}+\sqrt [3]{c} \sqrt [3]{p x^4+q}}\right )}{c^{2/3} \sqrt [3]{d}} \]
________________________________________________________________________________________
Rubi [F] time = 3.80, 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 {2 \left (3 a q x-2 b p x^3+a p x^5\right )}{\sqrt [3]{q+p x^4} \left (b^3 d+c q+3 a b^2 d x^2+\left (3 a^2 b d+c p\right ) x^4+a^3 d x^6\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {2 \left (3 a q x-2 b p x^3+a p x^5\right )}{\sqrt [3]{q+p x^4} \left (b^3 d+c q+3 a b^2 d x^2+\left (3 a^2 b d+c p\right ) x^4+a^3 d x^6\right )} \, dx &=2 \int \frac {3 a q x-2 b p x^3+a p x^5}{\sqrt [3]{q+p x^4} \left (b^3 d+c q+3 a b^2 d x^2+\left (3 a^2 b d+c p\right ) x^4+a^3 d x^6\right )} \, dx\\ &=2 \int \frac {x \left (3 a q-2 b p x^2+a p x^4\right )}{\sqrt [3]{q+p x^4} \left (b^3 d+c q+3 a b^2 d x^2+\left (3 a^2 b d+c p\right ) x^4+a^3 d x^6\right )} \, dx\\ &=\operatorname {Subst}\left (\int \frac {3 a q-2 b p x+a p x^2}{\sqrt [3]{q+p x^2} \left (b^3 d+c q+3 a b^2 d x+\left (3 a^2 b d+c p\right ) x^2+a^3 d x^3\right )} \, dx,x,x^2\right )\\ &=\operatorname {Subst}\left (\int \left (\frac {2 b p x}{\sqrt [3]{q+p x^2} \left (-b^3 d-c q-3 a b^2 d x-\left (3 a^2 b d+c p\right ) x^2-a^3 d x^3\right )}+\frac {3 a q}{\sqrt [3]{q+p x^2} \left (b^3 d+c q+3 a b^2 d x+\left (3 a^2 b d+c p\right ) x^2+a^3 d x^3\right )}+\frac {a p x^2}{\sqrt [3]{q+p x^2} \left (b^3 d+c q+3 a b^2 d x+\left (3 a^2 b d+c p\right ) x^2+a^3 d x^3\right )}\right ) \, dx,x,x^2\right )\\ &=(a p) \operatorname {Subst}\left (\int \frac {x^2}{\sqrt [3]{q+p x^2} \left (b^3 d+c q+3 a b^2 d x+\left (3 a^2 b d+c p\right ) x^2+a^3 d x^3\right )} \, dx,x,x^2\right )+(2 b p) \operatorname {Subst}\left (\int \frac {x}{\sqrt [3]{q+p x^2} \left (-b^3 d-c q-3 a b^2 d x-\left (3 a^2 b d+c p\right ) x^2-a^3 d x^3\right )} \, dx,x,x^2\right )+(3 a q) \operatorname {Subst}\left (\int \frac {1}{\sqrt [3]{q+p x^2} \left (b^3 d+c q+3 a b^2 d x+\left (3 a^2 b d+c p\right ) x^2+a^3 d x^3\right )} \, dx,x,x^2\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 2.20, size = 79, normalized size = 0.34 \begin {gather*} 2 \int \frac {a p x^5+3 a q x-2 b p x^3}{\sqrt [3]{p x^4+q} \left (a^3 d x^6+x^4 \left (3 a^2 b d+c p\right )+3 a b^2 d x^2+b^3 d+c q\right )} \, dx \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 15.19, size = 234, normalized size = 1.00 \begin {gather*} \frac {\sqrt {3} \tan ^{-1}\left (\frac {\sqrt {3} \sqrt [3]{c} \sqrt [3]{q+p x^4}}{-2 b \sqrt [3]{d}-2 a \sqrt [3]{d} x^2+\sqrt [3]{c} \sqrt [3]{q+p x^4}}\right )}{c^{2/3} \sqrt [3]{d}}+\frac {\log \left (b \sqrt [3]{d}+a \sqrt [3]{d} x^2+\sqrt [3]{c} \sqrt [3]{q+p x^4}\right )}{c^{2/3} \sqrt [3]{d}}-\frac {\log \left (b^2 d^{2/3}+2 a b d^{2/3} x^2+a^2 d^{2/3} x^4+\left (-b \sqrt [3]{c} \sqrt [3]{d}-a \sqrt [3]{c} \sqrt [3]{d} x^2\right ) \sqrt [3]{q+p x^4}+c^{2/3} \left (q+p x^4\right )^{2/3}\right )}{2 c^{2/3} \sqrt [3]{d}} \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 {2 \, {\left (a p x^{5} - 2 \, b p x^{3} + 3 \, a q x\right )}}{{\left (a^{3} d x^{6} + 3 \, a b^{2} d x^{2} + {\left (3 \, a^{2} b d + c p\right )} x^{4} + b^{3} d + c q\right )} {\left (p x^{4} + q\right )}^{\frac {1}{3}}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.05, size = 0, normalized size = 0.00 \[\int \frac {2 a p \,x^{5}-4 b p \,x^{3}+6 a q x}{\left (p \,x^{4}+q \right )^{\frac {1}{3}} \left (b^{3} d +c q +3 a \,b^{2} d \,x^{2}+\left (3 a^{2} b d +c p \right ) x^{4}+a^{3} d \,x^{6}\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*} 2 \, \int \frac {a p x^{5} - 2 \, b p x^{3} + 3 \, a q x}{{\left (a^{3} d x^{6} + 3 \, a b^{2} d x^{2} + {\left (3 \, a^{2} b d + c p\right )} x^{4} + b^{3} d + c q\right )} {\left (p x^{4} + q\right )}^{\frac {1}{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 {2\,a\,p\,x^5-4\,b\,p\,x^3+6\,a\,q\,x}{{\left (p\,x^4+q\right )}^{1/3}\,\left (c\,q+b^3\,d+x^4\,\left (3\,b\,d\,a^2+c\,p\right )+a^3\,d\,x^6+3\,a\,b^2\,d\,x^2\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]
________________________________________________________________________________________