Optimal. Leaf size=134 \[ -\frac {2 b \sqrt {b \coth ^3(c+d x)}}{3 d}-\frac {b \text {ArcTan}\left (\sqrt {\coth (c+d x)}\right ) \sqrt {b \coth ^3(c+d x)}}{d \coth ^{\frac {3}{2}}(c+d x)}+\frac {b \tanh ^{-1}\left (\sqrt {\coth (c+d x)}\right ) \sqrt {b \coth ^3(c+d x)}}{d \coth ^{\frac {3}{2}}(c+d x)}-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 134, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 7, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {3739, 3554,
3557, 335, 304, 209, 212} \begin {gather*} -\frac {b \text {ArcTan}\left (\sqrt {\coth (c+d x)}\right ) \sqrt {b \coth ^3(c+d x)}}{d \coth ^{\frac {3}{2}}(c+d x)}-\frac {2 b \sqrt {b \coth ^3(c+d x)}}{3 d}-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d}+\frac {b \sqrt {b \coth ^3(c+d x)} \tanh ^{-1}\left (\sqrt {\coth (c+d x)}\right )}{d \coth ^{\frac {3}{2}}(c+d x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 212
Rule 304
Rule 335
Rule 3554
Rule 3557
Rule 3739
Rubi steps
\begin {align*} \int \left (b \coth ^3(c+d x)\right )^{3/2} \, dx &=\frac {\left (b \sqrt {b \coth ^3(c+d x)}\right ) \int \coth ^{\frac {9}{2}}(c+d x) \, dx}{\coth ^{\frac {3}{2}}(c+d x)}\\ &=-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d}+\frac {\left (b \sqrt {b \coth ^3(c+d x)}\right ) \int \coth ^{\frac {5}{2}}(c+d x) \, dx}{\coth ^{\frac {3}{2}}(c+d x)}\\ &=-\frac {2 b \sqrt {b \coth ^3(c+d x)}}{3 d}-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d}+\frac {\left (b \sqrt {b \coth ^3(c+d x)}\right ) \int \sqrt {\coth (c+d x)} \, dx}{\coth ^{\frac {3}{2}}(c+d x)}\\ &=-\frac {2 b \sqrt {b \coth ^3(c+d x)}}{3 d}-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d}-\frac {\left (b \sqrt {b \coth ^3(c+d x)}\right ) \text {Subst}\left (\int \frac {\sqrt {x}}{-1+x^2} \, dx,x,\coth (c+d x)\right )}{d \coth ^{\frac {3}{2}}(c+d x)}\\ &=-\frac {2 b \sqrt {b \coth ^3(c+d x)}}{3 d}-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d}-\frac {\left (2 b \sqrt {b \coth ^3(c+d x)}\right ) \text {Subst}\left (\int \frac {x^2}{-1+x^4} \, dx,x,\sqrt {\coth (c+d x)}\right )}{d \coth ^{\frac {3}{2}}(c+d x)}\\ &=-\frac {2 b \sqrt {b \coth ^3(c+d x)}}{3 d}-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d}+\frac {\left (b \sqrt {b \coth ^3(c+d x)}\right ) \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\sqrt {\coth (c+d x)}\right )}{d \coth ^{\frac {3}{2}}(c+d x)}-\frac {\left (b \sqrt {b \coth ^3(c+d x)}\right ) \text {Subst}\left (\int \frac {1}{1+x^2} \, dx,x,\sqrt {\coth (c+d x)}\right )}{d \coth ^{\frac {3}{2}}(c+d x)}\\ &=-\frac {2 b \sqrt {b \coth ^3(c+d x)}}{3 d}-\frac {b \tan ^{-1}\left (\sqrt {\coth (c+d x)}\right ) \sqrt {b \coth ^3(c+d x)}}{d \coth ^{\frac {3}{2}}(c+d x)}+\frac {b \tanh ^{-1}\left (\sqrt {\coth (c+d x)}\right ) \sqrt {b \coth ^3(c+d x)}}{d \coth ^{\frac {3}{2}}(c+d x)}-\frac {2 b \coth ^2(c+d x) \sqrt {b \coth ^3(c+d x)}}{7 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.35, size = 82, normalized size = 0.61 \begin {gather*} -\frac {\left (b \coth ^3(c+d x)\right )^{3/2} \left (21 \text {ArcTan}\left (\sqrt {\coth (c+d x)}\right )-21 \tanh ^{-1}\left (\sqrt {\coth (c+d x)}\right )+14 \coth ^{\frac {3}{2}}(c+d x)+6 \coth ^{\frac {7}{2}}(c+d x)\right )}{21 d \coth ^{\frac {9}{2}}(c+d x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 2.29, size = 107, normalized size = 0.80
method | result | size |
derivativedivides | \(-\frac {\left (b \left (\coth ^{3}\left (d x +c \right )\right )\right )^{\frac {3}{2}} \left (-21 b^{\frac {7}{2}} \arctanh \left (\frac {\sqrt {b \coth \left (d x +c \right )}}{\sqrt {b}}\right )+21 b^{\frac {7}{2}} \arctan \left (\frac {\sqrt {b \coth \left (d x +c \right )}}{\sqrt {b}}\right )+6 \left (b \coth \left (d x +c \right )\right )^{\frac {7}{2}}+14 b^{2} \left (b \coth \left (d x +c \right )\right )^{\frac {3}{2}}\right )}{21 d \coth \left (d x +c \right )^{3} \left (b \coth \left (d x +c \right )\right )^{\frac {3}{2}} b^{2}}\) | \(107\) |
default | \(-\frac {\left (b \left (\coth ^{3}\left (d x +c \right )\right )\right )^{\frac {3}{2}} \left (-21 b^{\frac {7}{2}} \arctanh \left (\frac {\sqrt {b \coth \left (d x +c \right )}}{\sqrt {b}}\right )+21 b^{\frac {7}{2}} \arctan \left (\frac {\sqrt {b \coth \left (d x +c \right )}}{\sqrt {b}}\right )+6 \left (b \coth \left (d x +c \right )\right )^{\frac {7}{2}}+14 b^{2} \left (b \coth \left (d x +c \right )\right )^{\frac {3}{2}}\right )}{21 d \coth \left (d x +c \right )^{3} \left (b \coth \left (d x +c \right )\right )^{\frac {3}{2}} b^{2}}\) | \(107\) |
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*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1051 vs.
\(2 (114) = 228\).
time = 0.42, size = 2152, normalized size = 16.06 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (b \coth ^{3}{\left (c + d x \right )}\right )^{\frac {3}{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 788 vs.
\(2 (114) = 228\).
time = 0.62, size = 788, normalized size = 5.88 \begin {gather*} \frac {{\left (42 \, \sqrt {b} \arctan \left (-\frac {\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b}}{\sqrt {b}}\right ) \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) - 21 \, \sqrt {b} \log \left ({\left | -\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} + \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b} \right |}\right ) \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) + \frac {16 \, {\left (21 \, {\left (\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b}\right )}^{6} b \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) - 42 \, {\left (\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b}\right )}^{5} b^{\frac {3}{2}} \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) + 119 \, {\left (\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b}\right )}^{4} b^{2} \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) - 56 \, {\left (\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b}\right )}^{3} b^{\frac {5}{2}} \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) + 63 \, {\left (\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b}\right )}^{2} b^{3} \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) - 14 \, {\left (\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b}\right )} b^{\frac {7}{2}} \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) + 5 \, b^{4} \mathrm {sgn}\left (e^{\left (6 \, d x + 6 \, c\right )} - 3 \, e^{\left (4 \, d x + 4 \, c\right )} + 3 \, e^{\left (2 \, d x + 2 \, c\right )} - 1\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right )\right )}}{{\left (\sqrt {b} e^{\left (2 \, d x + 2 \, c\right )} - \sqrt {b e^{\left (4 \, d x + 4 \, c\right )} - b} - \sqrt {b}\right )}^{7}}\right )} b}{42 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int {\left (b\,{\mathrm {coth}\left (c+d\,x\right )}^3\right )}^{3/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________