Optimal. Leaf size=218 \[ -\frac{b^{2/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^{2/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^{2/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^{2/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^{2/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.293867, antiderivative size = 218, normalized size of antiderivative = 1., number of steps used = 12, number of rules used = 8, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.667, Rules used = {3476, 329, 296, 634, 618, 204, 628, 206} \[ -\frac{b^{2/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^{2/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^{2/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^{2/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^{2/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3476
Rule 329
Rule 296
Rule 634
Rule 618
Rule 204
Rule 628
Rule 206
Rubi steps
\begin{align*} \int (b \coth (c+d x))^{2/3} \, dx &=-\frac{b \operatorname{Subst}\left (\int \frac{x^{2/3}}{-b^2+x^2} \, dx,x,b \coth (c+d x)\right )}{d}\\ &=-\frac{(3 b) \operatorname{Subst}\left (\int \frac{x^4}{-b^2+x^6} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{d}\\ &=\frac{b^{2/3} \operatorname{Subst}\left (\int \frac{-\frac{\sqrt [3]{b}}{2}-\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^{2/3} \operatorname{Subst}\left (\int \frac{-\frac{\sqrt [3]{b}}{2}+\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 \operatorname{Subst}\left (\int \frac{1}{b^{2/3}-x^2} \, dx,x,\sqrt [3]{b \coth (c+d x)}\right )}{d}\\ &=\frac{b^{2/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{b^{2/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^{2/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{(3 b) \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{(3 b) \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^{2/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{b^{2/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^{2/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^{2/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^{2/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^{2/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^{2/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^{2/3} \tanh ^{-1}\left (\frac{\sqrt [3]{b \coth (c+d x)}}{\sqrt [3]{b}}\right )}{d}-\frac{b^{2/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^{2/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 [A] time = 0.177229, size = 149, normalized size = 0.68 \[ \frac{(b \coth (c+d x))^{2/3} \left (-\log \left (\coth ^{\frac{2}{3}}(c+d x)-\sqrt [3]{\coth (c+d x)}+1\right )+\log \left (\coth ^{\frac{2}{3}}(c+d x)+\sqrt [3]{\coth (c+d x)}+1\right )+2 \sqrt{3} \tan ^{-1}\left (\frac{1-2 \sqrt [3]{\coth (c+d x)}}{\sqrt{3}}\right )-2 \sqrt{3} \tan ^{-1}\left (\frac{2 \sqrt [3]{\coth (c+d x)}+1}{\sqrt{3}}\right )+4 \tanh ^{-1}\left (\sqrt [3]{\coth (c+d x)}\right )\right )}{4 d \coth ^{\frac{2}{3}}(c+d x)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.016, size = 193, normalized size = 0.9 \begin{align*}{\frac{1}{2\,d}{b}^{{\frac{2}{3}}}\ln \left ( \sqrt [3]{b{\rm coth} \left (dx+c\right )}+\sqrt [3]{b} \right ) }-{\frac{1}{4\,d}{b}^{{\frac{2}{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{2}{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{2}{3}}}\ln \left ( \sqrt [3]{b{\rm coth} \left (dx+c\right )}-\sqrt [3]{b} \right ) }+{\frac{1}{4\,d}{b}^{{\frac{2}{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{2}{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{2}{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.0473, size = 871, normalized size = 4. \begin{align*} -\frac{2 \, \sqrt{3} \left (-b^{2}\right )^{\frac{1}{3}} \arctan \left (-\frac{\sqrt{3} b - 2 \, \sqrt{3} \left (-b^{2}\right )^{\frac{1}{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}{\left (b^{2}\right )}^{\frac{1}{3}} \arctan \left (-\frac{\sqrt{3} b - 2 \, \sqrt{3}{\left (b^{2}\right )}^{\frac{1}{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^{2}\right )^{\frac{1}{3}} \log \left (b \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{2}{3}} - \left (-b^{2}\right )^{\frac{1}{3}} b + \left (-b^{2}\right )^{\frac{2}{3}} \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}}\right ) +{\left (b^{2}\right )}^{\frac{1}{3}} \log \left (b \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{2}{3}} +{\left (b^{2}\right )}^{\frac{1}{3}} b -{\left (b^{2}\right )}^{\frac{2}{3}} \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}}\right ) - 2 \, \left (-b^{2}\right )^{\frac{1}{3}} \log \left (b \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}} - \left (-b^{2}\right )^{\frac{2}{3}}\right ) - 2 \,{\left (b^{2}\right )}^{\frac{1}{3}} \log \left (b \left (\frac{b \cosh \left (d x + c\right )}{\sinh \left (d x + c\right )}\right )^{\frac{1}{3}} +{\left (b^{2}\right )}^{\frac{2}{3}}\right )}{4 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (b \coth{\left (c + d x \right )}\right )^{\frac{2}{3}}\, dx \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]