Optimal. Leaf size=31 \[ -\frac{1}{5} i \tanh ^5(x)-\frac{1}{5} \text{sech}^5(x)+\frac{2 \text{sech}^3(x)}{3}-\text{sech}(x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0789464, antiderivative size = 31, 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 = {2706, 2607, 30, 2606, 194} \[ -\frac{1}{5} i \tanh ^5(x)-\frac{1}{5} \text{sech}^5(x)+\frac{2 \text{sech}^3(x)}{3}-\text{sech}(x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2706
Rule 2607
Rule 30
Rule 2606
Rule 194
Rubi steps
\begin{align*} \int \frac{\tanh ^4(x)}{i+\sinh (x)} \, dx &=-\left (i \int \text{sech}^2(x) \tanh ^4(x) \, dx\right )+\int \text{sech}(x) \tanh ^5(x) \, dx\\ &=-\operatorname{Subst}\left (\int x^4 \, dx,x,i \tanh (x)\right )-\operatorname{Subst}\left (\int \left (-1+x^2\right )^2 \, dx,x,\text{sech}(x)\right )\\ &=-\frac{1}{5} i \tanh ^5(x)-\operatorname{Subst}\left (\int \left (1-2 x^2+x^4\right ) \, dx,x,\text{sech}(x)\right )\\ &=-\text{sech}(x)+\frac{2 \text{sech}^3(x)}{3}-\frac{\text{sech}^5(x)}{5}-\frac{1}{5} i \tanh ^5(x)\\ \end{align*}
Mathematica [B] time = 0.135313, size = 96, normalized size = 3.1 \[ -\frac{64 i \sinh (x)+178 i \sinh (2 x)-192 i \sinh (3 x)+89 i \sinh (4 x)-534 \cosh (x)+288 \cosh (2 x)-178 \cosh (3 x)+24 \cosh (4 x)+200}{960 \left (\cosh \left (\frac{x}{2}\right )-i \sinh \left (\frac{x}{2}\right )\right )^5 \left (\cosh \left (\frac{x}{2}\right )+i \sinh \left (\frac{x}{2}\right )\right )^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.07, size = 93, normalized size = 3. \begin{align*}{{\frac{3\,i}{8}} \left ( \tanh \left ({\frac{x}{2}} \right ) -i \right ) ^{-1}}+{{\frac{i}{6}} \left ( \tanh \left ({\frac{x}{2}} \right ) -i \right ) ^{-3}}+{\frac{1}{4} \left ( \tanh \left ({\frac{x}{2}} \right ) -i \right ) ^{-2}}+{{\frac{i}{3}} \left ( \tanh \left ({\frac{x}{2}} \right ) +i \right ) ^{-3}}-{{\frac{2\,i}{5}} \left ( \tanh \left ({\frac{x}{2}} \right ) +i \right ) ^{-5}}-{{\frac{3\,i}{8}} \left ( \tanh \left ({\frac{x}{2}} \right ) +i \right ) ^{-1}}+ \left ( \tanh \left ({\frac{x}{2}} \right ) +i \right ) ^{-4}+{\frac{1}{2} \left ( \tanh \left ({\frac{x}{2}} \right ) +i \right ) ^{-2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.12585, size = 558, normalized size = 18. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.07948, size = 271, normalized size = 8.74 \begin{align*} -\frac{30 \, e^{\left (7 \, x\right )} + 30 i \, e^{\left (6 \, x\right )} + 10 \, e^{\left (5 \, x\right )} + 50 i \, e^{\left (4 \, x\right )} + 26 \, e^{\left (3 \, x\right )} + 42 i \, e^{\left (2 \, x\right )} - 18 \, e^{x} + 6 i}{15 \, e^{\left (8 \, x\right )} + 30 i \, e^{\left (7 \, x\right )} + 30 \, e^{\left (6 \, x\right )} + 90 i \, e^{\left (5 \, x\right )} + 90 i \, e^{\left (3 \, x\right )} - 30 \, e^{\left (2 \, x\right )} + 30 i \, e^{x} - 15} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 1.30056, size = 116, normalized size = 3.74 \begin{align*} \frac{- 2 e^{7 x} - 2 i e^{6 x} - \frac{2 e^{5 x}}{3} - \frac{10 i e^{4 x}}{3} - \frac{26 e^{3 x}}{15} - \frac{14 i e^{2 x}}{5} + \frac{6 e^{x}}{5} - \frac{2 i}{5}}{e^{8 x} + 2 i e^{7 x} + 2 e^{6 x} + 6 i e^{5 x} + 6 i e^{3 x} - 2 e^{2 x} + 2 i e^{x} - 1} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.15486, size = 72, normalized size = 2.32 \begin{align*} -\frac{15 \, e^{\left (2 \, x\right )} - 24 i \, e^{x} - 13}{24 \,{\left (e^{x} - i\right )}^{3}} - \frac{165 \, e^{\left (4 \, x\right )} + 480 i \, e^{\left (3 \, x\right )} - 650 \, e^{\left (2 \, x\right )} - 400 i \, e^{x} + 113}{120 \,{\left (e^{x} + i\right )}^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]