Optimal. Leaf size=61 \[ -\frac {b \coth (c+d x) \sqrt {b \coth ^2(c+d x)}}{2 d}+\frac {b \sqrt {b \coth ^2(c+d x)} \log (\sinh (c+d x)) \tanh (c+d x)}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 61, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 3, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.214, Rules used = {3739, 3554,
3556} \begin {gather*} \frac {b \tanh (c+d x) \sqrt {b \coth ^2(c+d x)} \log (\sinh (c+d x))}{d}-\frac {b \coth (c+d x) \sqrt {b \coth ^2(c+d x)}}{2 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3554
Rule 3556
Rule 3739
Rubi steps
\begin {align*} \int \left (b \coth ^2(c+d x)\right )^{3/2} \, dx &=\left (b \sqrt {b \coth ^2(c+d x)} \tanh (c+d x)\right ) \int \coth ^3(c+d x) \, dx\\ &=-\frac {b \coth (c+d x) \sqrt {b \coth ^2(c+d x)}}{2 d}+\left (b \sqrt {b \coth ^2(c+d x)} \tanh (c+d x)\right ) \int \coth (c+d x) \, dx\\ &=-\frac {b \coth (c+d x) \sqrt {b \coth ^2(c+d x)}}{2 d}+\frac {b \sqrt {b \coth ^2(c+d x)} \log (\sinh (c+d x)) \tanh (c+d x)}{d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.09, size = 56, normalized size = 0.92 \begin {gather*} -\frac {\left (b \coth ^2(c+d x)\right )^{3/2} \left (\coth ^2(c+d x)-2 \log (\cosh (c+d x))-2 \log (\tanh (c+d x))\right ) \tanh ^3(c+d x)}{2 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 1.41, size = 53, normalized size = 0.87
method | result | size |
derivativedivides | \(-\frac {\left (b \left (\coth ^{2}\left (d x +c \right )\right )\right )^{\frac {3}{2}} \left (\coth ^{2}\left (d x +c \right )+\ln \left (\coth \left (d x +c \right )-1\right )+\ln \left (\coth \left (d x +c \right )+1\right )\right )}{2 d \coth \left (d x +c \right )^{3}}\) | \(53\) |
default | \(-\frac {\left (b \left (\coth ^{2}\left (d x +c \right )\right )\right )^{\frac {3}{2}} \left (\coth ^{2}\left (d x +c \right )+\ln \left (\coth \left (d x +c \right )-1\right )+\ln \left (\coth \left (d x +c \right )+1\right )\right )}{2 d \coth \left (d x +c \right )^{3}}\) | \(53\) |
risch | \(\frac {b \left ({\mathrm e}^{2 d x +2 c}-1\right ) \sqrt {\frac {b \left (1+{\mathrm e}^{2 d x +2 c}\right )^{2}}{\left ({\mathrm e}^{2 d x +2 c}-1\right )^{2}}}\, x}{1+{\mathrm e}^{2 d x +2 c}}-\frac {2 b \left ({\mathrm e}^{2 d x +2 c}-1\right ) \sqrt {\frac {b \left (1+{\mathrm e}^{2 d x +2 c}\right )^{2}}{\left ({\mathrm e}^{2 d x +2 c}-1\right )^{2}}}\, \left (d x +c \right )}{\left (1+{\mathrm e}^{2 d x +2 c}\right ) d}-\frac {2 b \sqrt {\frac {b \left (1+{\mathrm e}^{2 d x +2 c}\right )^{2}}{\left ({\mathrm e}^{2 d x +2 c}-1\right )^{2}}}\, {\mathrm e}^{2 d x +2 c}}{\left (1+{\mathrm e}^{2 d x +2 c}\right ) \left ({\mathrm e}^{2 d x +2 c}-1\right ) d}+\frac {b \left ({\mathrm e}^{2 d x +2 c}-1\right ) \sqrt {\frac {b \left (1+{\mathrm e}^{2 d x +2 c}\right )^{2}}{\left ({\mathrm e}^{2 d x +2 c}-1\right )^{2}}}\, \ln \left ({\mathrm e}^{2 d x +2 c}-1\right )}{\left (1+{\mathrm e}^{2 d x +2 c}\right ) d}\) | \(266\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.50, size = 97, normalized size = 1.59 \begin {gather*} -\frac {{\left (d x + c\right )} b^{\frac {3}{2}}}{d} - \frac {b^{\frac {3}{2}} \log \left (e^{\left (-d x - c\right )} + 1\right )}{d} - \frac {b^{\frac {3}{2}} \log \left (e^{\left (-d x - c\right )} - 1\right )}{d} - \frac {2 \, b^{\frac {3}{2}} e^{\left (-2 \, d x - 2 \, c\right )}}{d {\left (2 \, e^{\left (-2 \, d x - 2 \, c\right )} - e^{\left (-4 \, d x - 4 \, c\right )} - 1\right )}} \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. 823 vs.
\(2 (55) = 110\).
time = 0.51, size = 823, normalized size = 13.49 \begin {gather*} \frac {{\left (b d x \cosh \left (d x + c\right )^{4} - {\left (b d x e^{\left (2 \, d x + 2 \, c\right )} - b d x\right )} \sinh \left (d x + c\right )^{4} - 4 \, {\left (b d x \cosh \left (d x + c\right ) e^{\left (2 \, d x + 2 \, c\right )} - b d x \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{3} + b d x - 2 \, {\left (b d x - b\right )} \cosh \left (d x + c\right )^{2} + 2 \, {\left (3 \, b d x \cosh \left (d x + c\right )^{2} - b d x - {\left (3 \, b d x \cosh \left (d x + c\right )^{2} - b d x + b\right )} e^{\left (2 \, d x + 2 \, c\right )} + b\right )} \sinh \left (d x + c\right )^{2} - {\left (b d x \cosh \left (d x + c\right )^{4} + b d x - 2 \, {\left (b d x - b\right )} \cosh \left (d x + c\right )^{2}\right )} e^{\left (2 \, d x + 2 \, c\right )} - {\left (b \cosh \left (d x + c\right )^{4} - {\left (b e^{\left (2 \, d x + 2 \, c\right )} - b\right )} \sinh \left (d x + c\right )^{4} - 4 \, {\left (b \cosh \left (d x + c\right ) e^{\left (2 \, d x + 2 \, c\right )} - b \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{3} - 2 \, b \cosh \left (d x + c\right )^{2} + 2 \, {\left (3 \, b \cosh \left (d x + c\right )^{2} - {\left (3 \, b \cosh \left (d x + c\right )^{2} - b\right )} e^{\left (2 \, d x + 2 \, c\right )} - b\right )} \sinh \left (d x + c\right )^{2} - {\left (b \cosh \left (d x + c\right )^{4} - 2 \, b \cosh \left (d x + c\right )^{2} + b\right )} e^{\left (2 \, d x + 2 \, c\right )} + 4 \, {\left (b \cosh \left (d x + c\right )^{3} - b \cosh \left (d x + c\right ) - {\left (b \cosh \left (d x + c\right )^{3} - b \cosh \left (d x + c\right )\right )} e^{\left (2 \, d x + 2 \, c\right )}\right )} \sinh \left (d x + c\right ) + b\right )} \log \left (\frac {2 \, \sinh \left (d x + c\right )}{\cosh \left (d x + c\right ) - \sinh \left (d x + c\right )}\right ) + 4 \, {\left (b d x \cosh \left (d x + c\right )^{3} - {\left (b d x - b\right )} \cosh \left (d x + c\right ) - {\left (b d x \cosh \left (d x + c\right )^{3} - {\left (b d x - b\right )} \cosh \left (d x + c\right )\right )} e^{\left (2 \, d x + 2 \, c\right )}\right )} \sinh \left (d x + c\right )\right )} \sqrt {\frac {b e^{\left (4 \, d x + 4 \, c\right )} + 2 \, b e^{\left (2 \, d x + 2 \, c\right )} + b}{e^{\left (4 \, d x + 4 \, c\right )} - 2 \, e^{\left (2 \, d x + 2 \, c\right )} + 1}}}{d \cosh \left (d x + c\right )^{4} + {\left (d e^{\left (2 \, d x + 2 \, c\right )} + d\right )} \sinh \left (d x + c\right )^{4} + 4 \, {\left (d \cosh \left (d x + c\right ) e^{\left (2 \, d x + 2 \, c\right )} + d \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{3} - 2 \, d \cosh \left (d x + c\right )^{2} + 2 \, {\left (3 \, d \cosh \left (d x + c\right )^{2} + {\left (3 \, d \cosh \left (d x + c\right )^{2} - d\right )} e^{\left (2 \, d x + 2 \, c\right )} - d\right )} \sinh \left (d x + c\right )^{2} + {\left (d \cosh \left (d x + c\right )^{4} - 2 \, d \cosh \left (d x + c\right )^{2} + d\right )} e^{\left (2 \, d x + 2 \, c\right )} + 4 \, {\left (d \cosh \left (d x + c\right )^{3} - d \cosh \left (d x + c\right ) + {\left (d \cosh \left (d x + c\right )^{3} - d \cosh \left (d x + c\right )\right )} e^{\left (2 \, d x + 2 \, c\right )}\right )} \sinh \left (d x + c\right ) + d} \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 ^{2}{\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 [A]
time = 0.42, size = 90, normalized size = 1.48 \begin {gather*} -\frac {{\left ({\left (d x + c\right )} \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) - \log \left ({\left | e^{\left (2 \, d x + 2 \, c\right )} - 1 \right |}\right ) \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right ) + \frac {2 \, e^{\left (2 \, d x + 2 \, c\right )} \mathrm {sgn}\left (e^{\left (4 \, d x + 4 \, c\right )} - 1\right )}{{\left (e^{\left (2 \, d x + 2 \, c\right )} - 1\right )}^{2}}\right )} b^{\frac {3}{2}}}{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.02 \begin {gather*} \int {\left (b\,{\mathrm {coth}\left (c+d\,x\right )}^2\right )}^{3/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________