Optimal. Leaf size=30 \[ -\frac {1}{3} \text {csch}^3(x)+\frac {1}{2} i \text {csch}^2(x)-\text {csch}(x)-i \log (\sinh (x)) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 30, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.154, Rules used = {3879, 75} \[ -\frac {1}{3} \text {csch}^3(x)+\frac {1}{2} i \text {csch}^2(x)-\text {csch}(x)-i \log (\sinh (x)) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 75
Rule 3879
Rubi steps
\begin {align*} \int \frac {\coth ^5(x)}{i+\text {csch}(x)} \, dx &=\operatorname {Subst}\left (\int \frac {(i-i x)^2 (i+i x)}{x^4} \, dx,x,i \sinh (x)\right )\\ &=\operatorname {Subst}\left (\int \left (-\frac {i}{x^4}+\frac {i}{x^3}+\frac {i}{x^2}-\frac {i}{x}\right ) \, dx,x,i \sinh (x)\right )\\ &=-\text {csch}(x)+\frac {1}{2} i \text {csch}^2(x)-\frac {\text {csch}^3(x)}{3}-i \log (\sinh (x))\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 30, normalized size = 1.00 \[ -\frac {1}{3} \text {csch}^3(x)+\frac {1}{2} i \text {csch}^2(x)-\text {csch}(x)-i \log (\sinh (x)) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 2.11, size = 97, normalized size = 3.23 \[ \frac {3 i \, x e^{\left (6 \, x\right )} + {\left (-9 i \, x + 6 i\right )} e^{\left (4 \, x\right )} + {\left (9 i \, x - 6 i\right )} e^{\left (2 \, x\right )} + {\left (-3 i \, e^{\left (6 \, x\right )} + 9 i \, e^{\left (4 \, x\right )} - 9 i \, e^{\left (2 \, x\right )} + 3 i\right )} \log \left (e^{\left (2 \, x\right )} - 1\right ) - 3 i \, x - 6 \, e^{\left (5 \, x\right )} + 4 \, e^{\left (3 \, x\right )} - 6 \, e^{x}}{3 \, {\left (e^{\left (6 \, x\right )} - 3 \, e^{\left (4 \, x\right )} + 3 \, e^{\left (2 \, x\right )} - 1\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.14, size = 68, normalized size = 2.27 \[ -\frac {11 \, {\left (e^{\left (-x\right )} - e^{x}\right )}^{3} - 12 i \, {\left (e^{\left (-x\right )} - e^{x}\right )}^{2} + 12 \, e^{\left (-x\right )} - 12 \, e^{x} - 16 i}{6 \, {\left (-i \, e^{\left (-x\right )} + i \, e^{x}\right )}^{3}} - i \, \log \left (-i \, e^{\left (-x\right )} + i \, e^{x}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.23, size = 78, normalized size = 2.60 \[ \frac {3 \tanh \left (\frac {x}{2}\right )}{8}+\frac {\left (\tanh ^{3}\left (\frac {x}{2}\right )\right )}{24}+\frac {i \left (\tanh ^{2}\left (\frac {x}{2}\right )\right )}{8}+i \ln \left (\tanh \left (\frac {x}{2}\right )-1\right )+i \ln \left (\tanh \left (\frac {x}{2}\right )+1\right )-\frac {1}{24 \tanh \left (\frac {x}{2}\right )^{3}}-i \ln \left (\tanh \left (\frac {x}{2}\right )\right )+\frac {i}{8 \tanh \left (\frac {x}{2}\right )^{2}}-\frac {3}{8 \tanh \left (\frac {x}{2}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.31, size = 75, normalized size = 2.50 \[ -i \, x + \frac {6 \, e^{\left (-x\right )} - 6 i \, e^{\left (-2 \, x\right )} - 4 \, e^{\left (-3 \, x\right )} + 6 i \, e^{\left (-4 \, x\right )} + 6 \, e^{\left (-5 \, x\right )}}{3 \, {\left (3 \, e^{\left (-2 \, x\right )} - 3 \, e^{\left (-4 \, x\right )} + e^{\left (-6 \, x\right )} - 1\right )}} - i \, \log \left (e^{\left (-x\right )} + 1\right ) - i \, \log \left (e^{\left (-x\right )} - 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.68, size = 81, normalized size = 2.70 \[ x\,1{}\mathrm {i}-\ln \left ({\mathrm {e}}^{2\,x}-1\right )\,1{}\mathrm {i}-\frac {8\,{\mathrm {e}}^x}{3\,\left (3\,{\mathrm {e}}^{2\,x}-3\,{\mathrm {e}}^{4\,x}+{\mathrm {e}}^{6\,x}-1\right )}-\frac {\frac {8\,{\mathrm {e}}^x}{3}-2{}\mathrm {i}}{{\mathrm {e}}^{4\,x}-2\,{\mathrm {e}}^{2\,x}+1}-\frac {2\,{\mathrm {e}}^x-2{}\mathrm {i}}{{\mathrm {e}}^{2\,x}-1} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\coth ^{5}{\relax (x )}}{\operatorname {csch}{\relax (x )} + i}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________