Optimal. Leaf size=236 \[ -\frac{b^{4/3} \log \left (b^{2/3}-\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}+\frac{b^{4/3} \log \left (b^{2/3}+\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}-\frac{\sqrt{3} b^{4/3} \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}}{\sqrt{3}}\right )}{2 d}+\frac{\sqrt{3} b^{4/3} \tan ^{-1}\left (\frac{\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}+1}{\sqrt{3}}\right )}{2 d}+\frac{b^{4/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.281901, antiderivative size = 236, normalized size of antiderivative = 1., number of steps used = 13, number of rules used = 9, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.75, Rules used = {3473, 3476, 329, 210, 634, 618, 204, 628, 206} \[ -\frac{b^{4/3} \log \left (b^{2/3}-\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}+\frac{b^{4/3} \log \left (b^{2/3}+\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}-\frac{\sqrt{3} b^{4/3} \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}}{\sqrt{3}}\right )}{2 d}+\frac{\sqrt{3} b^{4/3} \tan ^{-1}\left (\frac{\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}+1}{\sqrt{3}}\right )}{2 d}+\frac{b^{4/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3473
Rule 3476
Rule 329
Rule 210
Rule 634
Rule 618
Rule 204
Rule 628
Rule 206
Rubi steps
\begin{align*} \int (b \coth (c+d x))^{4/3} \, dx &=-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d}+b^2 \int \frac{1}{(b \coth (c+d x))^{2/3}} \, dx\\ &=-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d}-\frac{b^3 \operatorname{Subst}\left (\int \frac{1}{x^{2/3} \left (-b^2+x^2\right )} \, dx,x,b \coth (c+d x)\right )}{d}\\ &=-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d}-\frac{\left (3 b^3\right ) \operatorname{Subst}\left (\int \frac{1}{-b^2+x^6} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{d}\\ &=-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d}+\frac{b^{4/3} \operatorname{Subst}\left (\int \frac{\sqrt [3]{b}-\frac{x}{2}}{b^{2/3}-\sqrt [3]{b} x+x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{d}+\frac{b^{4/3} \operatorname{Subst}\left (\int \frac{\sqrt [3]{b}+\frac{x}{2}}{b^{2/3}+\sqrt [3]{b} x+x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{d}+\frac{b^{5/3} \operatorname{Subst}\left (\int \frac{1}{b^{2/3}-x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{d}\\ &=\frac{b^{4/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d}-\frac{b^{4/3} \operatorname{Subst}\left (\int \frac{-\sqrt [3]{b}+2 x}{b^{2/3}-\sqrt [3]{b} x+x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{4 d}+\frac{b^{4/3} \operatorname{Subst}\left (\int \frac{\sqrt [3]{b}+2 x}{b^{2/3}+\sqrt [3]{b} x+x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{4 d}+\frac{\left (3 b^{5/3}\right ) \operatorname{Subst}\left (\int \frac{1}{b^{2/3}-\sqrt [3]{b} x+x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{4 d}+\frac{\left (3 b^{5/3}\right ) \operatorname{Subst}\left (\int \frac{1}{b^{2/3}+\sqrt [3]{b} x+x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{4 d}\\ &=\frac{b^{4/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d}-\frac{b^{4/3} \log \left (b^{2/3}-\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}+\frac{b^{4/3} \log \left (b^{2/3}+\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}+\frac{\left (3 b^{4/3}\right ) \operatorname{Subst}\left (\int \frac{1}{-3-x^2} \, dx,x,1-\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{2 d}-\frac{\left (3 b^{4/3}\right ) \operatorname{Subst}\left (\int \frac{1}{-3-x^2} \, dx,x,1+\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{2 d}\\ &=-\frac{\sqrt{3} b^{4/3} \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}}{\sqrt{3}}\right )}{2 d}+\frac{\sqrt{3} b^{4/3} \tan ^{-1}\left (\frac{1+\frac{2 \sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}}{\sqrt{3}}\right )}{2 d}+\frac{b^{4/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{3 b \sqrt [3]{b \coth (c+d x)}}{d}-\frac{b^{4/3} \log \left (b^{2/3}-\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}+\frac{b^{4/3} \log \left (b^{2/3}+\sqrt [3]{b} \sqrt [3]{b \coth (c+d x)}+(b \coth (c+d x))^{2/3}\right )}{4 d}\\ \end{align*}
Mathematica [C] time = 0.0259547, size = 36, normalized size = 0.15 \[ \frac{3 b \sqrt [3]{b \coth (c+d x)} \left (\, _2F_1\left (\frac{1}{6},1;\frac{7}{6};\coth ^2(c+d x)\right )-1\right )}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.02, size = 209, normalized size = 0.9 \begin{align*} -3\,{\frac{b\sqrt [3]{b{\rm coth} \left (dx+c\right )}}{d}}+{\frac{1}{2\,d}{b}^{{\frac{4}{3}}}\ln \left ( \sqrt [3]{b{\rm coth} \left (dx+c\right )}+\sqrt [3]{b} \right ) }-{\frac{1}{4\,d}{b}^{{\frac{4}{3}}}\ln \left ({b}^{{\frac{2}{3}}}-\sqrt [3]{b}\sqrt [3]{b{\rm coth} \left (dx+c\right )}+ \left ( b{\rm coth} \left (dx+c\right ) \right ) ^{{\frac{2}{3}}} \right ) }+{\frac{\sqrt{3}}{2\,d}{b}^{{\frac{4}{3}}}\arctan \left ({\frac{\sqrt{3}}{3} \left ( 2\,{\frac{\sqrt [3]{b{\rm coth} \left (dx+c\right )}}{\sqrt [3]{b}}}-1 \right ) } \right ) }-{\frac{1}{2\,d}{b}^{{\frac{4}{3}}}\ln \left ( \sqrt [3]{b{\rm coth} \left (dx+c\right )}-\sqrt [3]{b} \right ) }+{\frac{1}{4\,d}{b}^{{\frac{4}{3}}}\ln \left ({b}^{{\frac{2}{3}}}+\sqrt [3]{b}\sqrt [3]{b{\rm coth} \left (dx+c\right )}+ \left ( b{\rm coth} \left (dx+c\right ) \right ) ^{{\frac{2}{3}}} \right ) }+{\frac{\sqrt{3}}{2\,d}{b}^{{\frac{4}{3}}}\arctan \left ({\frac{\sqrt{3}}{3} \left ( 1+2\,{\frac{\sqrt [3]{b{\rm coth} \left (dx+c\right )}}{\sqrt [3]{b}}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (b \coth \left (d x + c\right )\right )^{\frac{4}{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.96127, size = 865, normalized size = 3.67 \begin{align*} -\frac{2 \, \sqrt{3} \left (-b\right )^{\frac{1}{3}} b \arctan \left (\frac{\sqrt{3} b + 2 \, \sqrt{3} \left (-b\right )^{\frac{2}{3}} \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}}}{3 \, b}\right ) - 2 \, \sqrt{3} b^{\frac{4}{3}} \arctan \left (-\frac{\sqrt{3} b - 2 \, \sqrt{3} b^{\frac{2}{3}} \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}}}{3 \, b}\right ) + \left (-b\right )^{\frac{1}{3}} b \log \left (\left (-b\right )^{\frac{2}{3}} - \left (-b\right )^{\frac{1}{3}} \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}} + \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{2}{3}}\right ) + b^{\frac{4}{3}} \log \left (b^{\frac{2}{3}} - b^{\frac{1}{3}} \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}} + \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{2}{3}}\right ) - 2 \, \left (-b\right )^{\frac{1}{3}} b \log \left (\left (-b\right )^{\frac{1}{3}} + \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}}\right ) - 2 \, b^{\frac{4}{3}} \log \left (b^{\frac{1}{3}} + \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}}\right ) + 12 \, b \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}}}{4 \, d} \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(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: TypeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]