Optimal. Leaf size=47 \[ \frac{4}{3} i \coth ^3(x)-4 i \coth (x)+\frac{3}{2} \tanh ^{-1}(\cosh (x))-\frac{3}{2} \coth (x) \text{csch}(x)+\frac{\coth (x) \text{csch}^2(x)}{\sinh (x)+i} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0726019, antiderivative size = 47, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.385, Rules used = {2768, 2748, 3767, 3768, 3770} \[ \frac{4}{3} i \coth ^3(x)-4 i \coth (x)+\frac{3}{2} \tanh ^{-1}(\cosh (x))-\frac{3}{2} \coth (x) \text{csch}(x)+\frac{\coth (x) \text{csch}^2(x)}{\sinh (x)+i} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2768
Rule 2748
Rule 3767
Rule 3768
Rule 3770
Rubi steps
\begin{align*} \int \frac{\text{csch}^4(x)}{i+\sinh (x)} \, dx &=\frac{\coth (x) \text{csch}^2(x)}{i+\sinh (x)}+\int \text{csch}^4(x) (-4 i+3 \sinh (x)) \, dx\\ &=\frac{\coth (x) \text{csch}^2(x)}{i+\sinh (x)}-4 i \int \text{csch}^4(x) \, dx+3 \int \text{csch}^3(x) \, dx\\ &=-\frac{3}{2} \coth (x) \text{csch}(x)+\frac{\coth (x) \text{csch}^2(x)}{i+\sinh (x)}-\frac{3}{2} \int \text{csch}(x) \, dx+4 \operatorname{Subst}\left (\int \left (1+x^2\right ) \, dx,x,-i \coth (x)\right )\\ &=\frac{3}{2} \tanh ^{-1}(\cosh (x))-4 i \coth (x)+\frac{4}{3} i \coth ^3(x)-\frac{3}{2} \coth (x) \text{csch}(x)+\frac{\coth (x) \text{csch}^2(x)}{i+\sinh (x)}\\ \end{align*}
Mathematica [A] time = 0.21572, size = 53, normalized size = 1.13 \[ \frac{1}{6} \text{sech}(x) \left (-16 i \sinh (x)+2 i \text{csch}^3(x)-3 \text{csch}^2(x)-8 i \text{csch}(x)+9 \sqrt{\cosh ^2(x)} \tanh ^{-1}\left (\sqrt{\cosh ^2(x)}\right )-9\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.035, size = 71, normalized size = 1.5 \begin{align*} -{\frac{7\,i}{8}}\tanh \left ({\frac{x}{2}} \right ) +{\frac{i}{24}} \left ( \tanh \left ({\frac{x}{2}} \right ) \right ) ^{3}+{\frac{1}{8} \left ( \tanh \left ({\frac{x}{2}} \right ) \right ) ^{2}}+{{\frac{i}{24}} \left ( \tanh \left ({\frac{x}{2}} \right ) \right ) ^{-3}}-{{\frac{7\,i}{8}} \left ( \tanh \left ({\frac{x}{2}} \right ) \right ) ^{-1}}-{\frac{1}{8} \left ( \tanh \left ({\frac{x}{2}} \right ) \right ) ^{-2}}-{\frac{3}{2}\ln \left ( \tanh \left ({\frac{x}{2}} \right ) \right ) }-{2\,i \left ( \tanh \left ({\frac{x}{2}} \right ) +i \right ) ^{-1}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.18324, size = 142, normalized size = 3.02 \begin{align*} \frac{16 \,{\left (-7 i \, e^{\left (-x\right )} + 39 \, e^{\left (-2 \, x\right )} + 24 i \, e^{\left (-3 \, x\right )} - 24 \, e^{\left (-4 \, x\right )} - 9 i \, e^{\left (-5 \, x\right )} + 9 \, e^{\left (-6 \, x\right )} - 16\right )}}{48 \, e^{\left (-x\right )} + 144 i \, e^{\left (-2 \, x\right )} - 144 \, e^{\left (-3 \, x\right )} - 144 i \, e^{\left (-4 \, x\right )} + 144 \, e^{\left (-5 \, x\right )} + 48 i \, e^{\left (-6 \, x\right )} - 48 \, e^{\left (-7 \, x\right )} - 48 i} + \frac{3}{2} \, \log \left (e^{\left (-x\right )} + 1\right ) - \frac{3}{2} \, \log \left (e^{\left (-x\right )} - 1\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.05862, size = 545, normalized size = 11.6 \begin{align*} \frac{{\left (9 \, e^{\left (7 \, x\right )} + 9 i \, e^{\left (6 \, x\right )} - 27 \, e^{\left (5 \, x\right )} - 27 i \, e^{\left (4 \, x\right )} + 27 \, e^{\left (3 \, x\right )} + 27 i \, e^{\left (2 \, x\right )} - 9 \, e^{x} - 9 i\right )} \log \left (e^{x} + 1\right ) -{\left (9 \, e^{\left (7 \, x\right )} + 9 i \, e^{\left (6 \, x\right )} - 27 \, e^{\left (5 \, x\right )} - 27 i \, e^{\left (4 \, x\right )} + 27 \, e^{\left (3 \, x\right )} + 27 i \, e^{\left (2 \, x\right )} - 9 \, e^{x} - 9 i\right )} \log \left (e^{x} - 1\right ) - 18 \, e^{\left (6 \, x\right )} - 18 i \, e^{\left (5 \, x\right )} + 48 \, e^{\left (4 \, x\right )} + 48 i \, e^{\left (3 \, x\right )} - 78 \, e^{\left (2 \, x\right )} - 14 i \, e^{x} + 32}{6 \, e^{\left (7 \, x\right )} + 6 i \, e^{\left (6 \, x\right )} - 18 \, e^{\left (5 \, x\right )} - 18 i \, e^{\left (4 \, x\right )} + 18 \, e^{\left (3 \, x\right )} + 18 i \, e^{\left (2 \, x\right )} - 6 \, e^{x} - 6 i} \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 [A] time = 1.25883, size = 78, normalized size = 1.66 \begin{align*} -\frac{2}{e^{x} + i} - \frac{3 \, e^{\left (5 \, x\right )} + 6 i \, e^{\left (4 \, x\right )} - 24 i \, e^{\left (2 \, x\right )} - 3 \, e^{x} + 10 i}{3 \,{\left (e^{\left (2 \, x\right )} - 1\right )}^{3}} + \frac{3}{2} \, \log \left (e^{x} + 1\right ) - \frac{3}{2} \, \log \left ({\left | e^{x} - 1 \right |}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]