Optimal. Leaf size=36 \[ \frac{x}{8}-\frac{1}{8 (\coth (x)+1)}-\frac{1}{8 (\coth (x)+1)^2}-\frac{1}{6 (\coth (x)+1)^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0274045, antiderivative size = 36, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 2, integrand size = 6, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333, Rules used = {3479, 8} \[ \frac{x}{8}-\frac{1}{8 (\coth (x)+1)}-\frac{1}{8 (\coth (x)+1)^2}-\frac{1}{6 (\coth (x)+1)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3479
Rule 8
Rubi steps
\begin{align*} \int \frac{1}{(1+\coth (x))^3} \, dx &=-\frac{1}{6 (1+\coth (x))^3}+\frac{1}{2} \int \frac{1}{(1+\coth (x))^2} \, dx\\ &=-\frac{1}{6 (1+\coth (x))^3}-\frac{1}{8 (1+\coth (x))^2}+\frac{1}{4} \int \frac{1}{1+\coth (x)} \, dx\\ &=-\frac{1}{6 (1+\coth (x))^3}-\frac{1}{8 (1+\coth (x))^2}-\frac{1}{8 (1+\coth (x))}+\frac{\int 1 \, dx}{8}\\ &=\frac{x}{8}-\frac{1}{6 (1+\coth (x))^3}-\frac{1}{8 (1+\coth (x))^2}-\frac{1}{8 (1+\coth (x))}\\ \end{align*}
Mathematica [A] time = 0.0870341, size = 44, normalized size = 1.22 \[ \frac{1}{96} (12 x-18 \sinh (2 x)+9 \sinh (4 x)-2 \sinh (6 x)+18 \cosh (2 x)-9 \cosh (4 x)+2 \cosh (6 x)) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.017, size = 40, normalized size = 1.1 \begin{align*} -{\frac{1}{6\, \left ( 1+{\rm coth} \left (x\right ) \right ) ^{3}}}-{\frac{1}{8\, \left ( 1+{\rm coth} \left (x\right ) \right ) ^{2}}}-{\frac{1}{8+8\,{\rm coth} \left (x\right )}}+{\frac{\ln \left ( 1+{\rm coth} \left (x\right ) \right ) }{16}}-{\frac{\ln \left ({\rm coth} \left (x\right )-1 \right ) }{16}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.05014, size = 30, normalized size = 0.83 \begin{align*} \frac{1}{8} \, x + \frac{3}{16} \, e^{\left (-2 \, x\right )} - \frac{3}{32} \, e^{\left (-4 \, x\right )} + \frac{1}{48} \, e^{\left (-6 \, x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.26864, size = 278, normalized size = 7.72 \begin{align*} \frac{2 \,{\left (6 \, x + 1\right )} \cosh \left (x\right )^{3} + 6 \,{\left (6 \, x + 1\right )} \cosh \left (x\right ) \sinh \left (x\right )^{2} + 2 \,{\left (6 \, x - 1\right )} \sinh \left (x\right )^{3} + 3 \,{\left (2 \,{\left (6 \, x - 1\right )} \cosh \left (x\right )^{2} + 9\right )} \sinh \left (x\right ) + 9 \, \cosh \left (x\right )}{96 \,{\left (\cosh \left (x\right )^{3} + 3 \, \cosh \left (x\right )^{2} \sinh \left (x\right ) + 3 \, \cosh \left (x\right ) \sinh \left (x\right )^{2} + \sinh \left (x\right )^{3}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 1.47227, size = 182, normalized size = 5.06 \begin{align*} \frac{3 x \tanh ^{3}{\left (x \right )}}{24 \tanh ^{3}{\left (x \right )} + 72 \tanh ^{2}{\left (x \right )} + 72 \tanh{\left (x \right )} + 24} + \frac{9 x \tanh ^{2}{\left (x \right )}}{24 \tanh ^{3}{\left (x \right )} + 72 \tanh ^{2}{\left (x \right )} + 72 \tanh{\left (x \right )} + 24} + \frac{9 x \tanh{\left (x \right )}}{24 \tanh ^{3}{\left (x \right )} + 72 \tanh ^{2}{\left (x \right )} + 72 \tanh{\left (x \right )} + 24} + \frac{3 x}{24 \tanh ^{3}{\left (x \right )} + 72 \tanh ^{2}{\left (x \right )} + 72 \tanh{\left (x \right )} + 24} - \frac{7 \tanh ^{3}{\left (x \right )}}{24 \tanh ^{3}{\left (x \right )} + 72 \tanh ^{2}{\left (x \right )} + 72 \tanh{\left (x \right )} + 24} + \frac{6 \tanh{\left (x \right )}}{24 \tanh ^{3}{\left (x \right )} + 72 \tanh ^{2}{\left (x \right )} + 72 \tanh{\left (x \right )} + 24} + \frac{3}{24 \tanh ^{3}{\left (x \right )} + 72 \tanh ^{2}{\left (x \right )} + 72 \tanh{\left (x \right )} + 24} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.14846, size = 32, normalized size = 0.89 \begin{align*} \frac{1}{96} \,{\left (18 \, e^{\left (4 \, x\right )} - 9 \, e^{\left (2 \, x\right )} + 2\right )} e^{\left (-6 \, x\right )} + \frac{1}{8} \, x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]