Optimal. Leaf size=74 \[ -\frac{b \coth ^2(c+d x) \sqrt [3]{b \coth ^3(c+d x)}}{3 d}-\frac{b \sqrt [3]{b \coth ^3(c+d x)}}{d}+b x \tanh (c+d x) \sqrt [3]{b \coth ^3(c+d x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0335459, antiderivative size = 74, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.214, Rules used = {3658, 3473, 8} \[ -\frac{b \coth ^2(c+d x) \sqrt [3]{b \coth ^3(c+d x)}}{3 d}-\frac{b \sqrt [3]{b \coth ^3(c+d x)}}{d}+b x \tanh (c+d x) \sqrt [3]{b \coth ^3(c+d x)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3658
Rule 3473
Rule 8
Rubi steps
\begin{align*} \int \left (b \coth ^3(c+d x)\right )^{4/3} \, dx &=\left (b \sqrt [3]{b \coth ^3(c+d x)} \tanh (c+d x)\right ) \int \coth ^4(c+d x) \, dx\\ &=-\frac{b \coth ^2(c+d x) \sqrt [3]{b \coth ^3(c+d x)}}{3 d}+\left (b \sqrt [3]{b \coth ^3(c+d x)} \tanh (c+d x)\right ) \int \coth ^2(c+d x) \, dx\\ &=-\frac{b \sqrt [3]{b \coth ^3(c+d x)}}{d}-\frac{b \coth ^2(c+d x) \sqrt [3]{b \coth ^3(c+d x)}}{3 d}+\left (b \sqrt [3]{b \coth ^3(c+d x)} \tanh (c+d x)\right ) \int 1 \, dx\\ &=-\frac{b \sqrt [3]{b \coth ^3(c+d x)}}{d}-\frac{b \coth ^2(c+d x) \sqrt [3]{b \coth ^3(c+d x)}}{3 d}+b x \sqrt [3]{b \coth ^3(c+d x)} \tanh (c+d x)\\ \end{align*}
Mathematica [C] time = 0.0607881, size = 43, normalized size = 0.58 \[ -\frac{\tanh (c+d x) \left (b \coth ^3(c+d x)\right )^{4/3} \, _2F_1\left (-\frac{3}{2},1;-\frac{1}{2};\tanh ^2(c+d x)\right )}{3 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.098, size = 145, normalized size = 2. \begin{align*}{\frac{b \left ({{\rm e}^{2\,dx+2\,c}}-1 \right ) x}{1+{{\rm e}^{2\,dx+2\,c}}}\sqrt [3]{{\frac{b \left ( 1+{{\rm e}^{2\,dx+2\,c}} \right ) ^{3}}{ \left ({{\rm e}^{2\,dx+2\,c}}-1 \right ) ^{3}}}}}-{\frac{4\,b \left ( 3\,{{\rm e}^{4\,dx+4\,c}}-3\,{{\rm e}^{2\,dx+2\,c}}+2 \right ) }{ \left ( 3+3\,{{\rm e}^{2\,dx+2\,c}} \right ) \left ({{\rm e}^{2\,dx+2\,c}}-1 \right ) ^{2}d}\sqrt [3]{{\frac{b \left ( 1+{{\rm e}^{2\,dx+2\,c}} \right ) ^{3}}{ \left ({{\rm e}^{2\,dx+2\,c}}-1 \right ) ^{3}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.75654, size = 117, normalized size = 1.58 \begin{align*} \frac{{\left (d x + c\right )} b^{\frac{4}{3}}}{d} - \frac{4 \,{\left (3 \, b^{\frac{4}{3}} e^{\left (-2 \, d x - 2 \, c\right )} - 3 \, b^{\frac{4}{3}} e^{\left (-4 \, d x - 4 \, c\right )} - 2 \, b^{\frac{4}{3}}\right )}}{3 \, d{\left (3 \, e^{\left (-2 \, d x - 2 \, c\right )} - 3 \, e^{\left (-4 \, d x - 4 \, c\right )} + e^{\left (-6 \, d x - 6 \, c\right )} - 1\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.27201, size = 2689, normalized size = 36.34 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [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]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (b \coth \left (d x + c\right )^{3}\right )^{\frac{4}{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]