Optimal. Leaf size=234 \[ -\frac{\left (3 \sqrt [3]{a} b^{2/3} c^2+a+b c^3\right ) \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} b^{4/3} d^4}+\frac{\left (3 \sqrt [3]{a} b^{2/3} c^2+a+b c^3\right ) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} b^{4/3} d^4}+\frac{\left (-3 \sqrt [3]{a} b^{2/3} c^2+a+b c^3\right ) \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} (c+d x)}{\sqrt{3} \sqrt [3]{a}}\right )}{\sqrt{3} a^{2/3} b^{4/3} d^4}-\frac{c \log \left (a+b (c+d x)^3\right )}{b d^4}+\frac{x}{b d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.371634, antiderivative size = 234, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 10, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.588, Rules used = {371, 1887, 1871, 1860, 31, 634, 617, 204, 628, 260} \[ -\frac{\left (3 \sqrt [3]{a} b^{2/3} c^2+a+b c^3\right ) \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} b^{4/3} d^4}+\frac{\left (3 \sqrt [3]{a} b^{2/3} c^2+a+b c^3\right ) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} b^{4/3} d^4}+\frac{\left (-3 \sqrt [3]{a} b^{2/3} c^2+a+b c^3\right ) \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} (c+d x)}{\sqrt{3} \sqrt [3]{a}}\right )}{\sqrt{3} a^{2/3} b^{4/3} d^4}-\frac{c \log \left (a+b (c+d x)^3\right )}{b d^4}+\frac{x}{b d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 371
Rule 1887
Rule 1871
Rule 1860
Rule 31
Rule 634
Rule 617
Rule 204
Rule 628
Rule 260
Rubi steps
\begin{align*} \int \frac{x^3}{a+b (c+d x)^3} \, dx &=\frac{\operatorname{Subst}\left (\int \frac{(-c+x)^3}{a+b x^3} \, dx,x,c+d x\right )}{d^4}\\ &=\frac{\operatorname{Subst}\left (\int \left (\frac{1}{b}-\frac{a+b c^3-3 b c^2 x+3 b c x^2}{b \left (a+b x^3\right )}\right ) \, dx,x,c+d x\right )}{d^4}\\ &=\frac{x}{b d^3}-\frac{\operatorname{Subst}\left (\int \frac{a+b c^3-3 b c^2 x+3 b c x^2}{a+b x^3} \, dx,x,c+d x\right )}{b d^4}\\ &=\frac{x}{b d^3}-\frac{\operatorname{Subst}\left (\int \frac{a+b c^3-3 b c^2 x}{a+b x^3} \, dx,x,c+d x\right )}{b d^4}-\frac{(3 c) \operatorname{Subst}\left (\int \frac{x^2}{a+b x^3} \, dx,x,c+d x\right )}{d^4}\\ &=\frac{x}{b d^3}-\frac{c \log \left (a+b (c+d x)^3\right )}{b d^4}-\frac{\operatorname{Subst}\left (\int \frac{\sqrt [3]{a} \left (-3 \sqrt [3]{a} b c^2+2 \sqrt [3]{b} \left (a+b c^3\right )\right )+\sqrt [3]{b} \left (-3 \sqrt [3]{a} b c^2-\sqrt [3]{b} \left (a+b c^3\right )\right ) x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{3 a^{2/3} b^{4/3} d^4}-\frac{\left (a+3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt [3]{a}+\sqrt [3]{b} x} \, dx,x,c+d x\right )}{3 a^{2/3} b d^4}\\ &=\frac{x}{b d^3}-\frac{\left (a+3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} b^{4/3} d^4}-\frac{c \log \left (a+b (c+d x)^3\right )}{b d^4}-\frac{\left (a-3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \operatorname{Subst}\left (\int \frac{1}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{2 \sqrt [3]{a} b d^4}+\frac{\left (a+3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \operatorname{Subst}\left (\int \frac{-\sqrt [3]{a} \sqrt [3]{b}+2 b^{2/3} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{6 a^{2/3} b^{4/3} d^4}\\ &=\frac{x}{b d^3}-\frac{\left (a+3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} b^{4/3} d^4}+\frac{\left (a+3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} b^{4/3} d^4}-\frac{c \log \left (a+b (c+d x)^3\right )}{b d^4}-\frac{\left (a-3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \operatorname{Subst}\left (\int \frac{1}{-3-x^2} \, dx,x,1-\frac{2 \sqrt [3]{b} (c+d x)}{\sqrt [3]{a}}\right )}{a^{2/3} b^{4/3} d^4}\\ &=\frac{x}{b d^3}+\frac{\left (a-3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{b} (c+d x)}{\sqrt [3]{a}}}{\sqrt{3}}\right )}{\sqrt{3} a^{2/3} b^{4/3} d^4}-\frac{\left (a+3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} b^{4/3} d^4}+\frac{\left (a+3 \sqrt [3]{a} b^{2/3} c^2+b c^3\right ) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} b^{4/3} d^4}-\frac{c \log \left (a+b (c+d x)^3\right )}{b d^4}\\ \end{align*}
Mathematica [C] time = 0.0474439, size = 132, normalized size = 0.56 \[ -\frac{\text{RootSum}\left [3 \text{$\#$1}^2 b c d^2+\text{$\#$1}^3 b d^3+3 \text{$\#$1} b c^2 d+a+b c^3\& ,\frac{3 \text{$\#$1}^2 b c d^2 \log (x-\text{$\#$1})+a \log (x-\text{$\#$1})+3 \text{$\#$1} b c^2 d \log (x-\text{$\#$1})+b c^3 \log (x-\text{$\#$1})}{\text{$\#$1}^2 d^2+2 \text{$\#$1} c d+c^2}\& \right ]-3 b d x}{3 b^2 d^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.006, size = 108, normalized size = 0.5 \begin{align*}{\frac{x}{b{d}^{3}}}+{\frac{1}{3\,{b}^{2}{d}^{4}}\sum _{{\it \_R}={\it RootOf} \left ( b{d}^{3}{{\it \_Z}}^{3}+3\,bc{d}^{2}{{\it \_Z}}^{2}+3\,b{c}^{2}d{\it \_Z}+b{c}^{3}+a \right ) }{\frac{ \left ( -3\,{{\it \_R}}^{2}bc{d}^{2}-3\,{\it \_R}\,b{c}^{2}d-b{c}^{3}-a \right ) \ln \left ( x-{\it \_R} \right ) }{{d}^{2}{{\it \_R}}^{2}+2\,cd{\it \_R}+{c}^{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: AttributeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.52364, size = 238, normalized size = 1.02 \begin{align*} \operatorname{RootSum}{\left (27 t^{3} a^{2} b^{4} d^{12} + 81 t^{2} a^{2} b^{3} c d^{8} + t \left (54 a^{2} b^{2} c^{2} d^{4} - 27 a b^{3} c^{5} d^{4}\right ) + a^{3} + 3 a^{2} b c^{3} + 3 a b^{2} c^{6} + b^{3} c^{9}, \left ( t \mapsto t \log{\left (x + \frac{- 27 t^{2} a^{2} b^{3} c^{2} d^{8} - 3 t a^{3} b d^{4} - 60 t a^{2} b^{2} c^{3} d^{4} - 3 t a b^{3} c^{6} d^{4} - 2 a^{3} c - 12 a^{2} b c^{4} - 9 a b^{2} c^{7} + b^{3} c^{10}}{a^{3} d + 3 a^{2} b c^{3} d - 24 a b^{2} c^{6} d + b^{3} c^{9} d} \right )} \right )\right )} + \frac{x}{b d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{3}}{{\left (d x + c\right )}^{3} b + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]