Optimal. Leaf size=64 \[ -5 i \tanh ^{-1}(\cosh (x))-12 \coth (x)+4 \coth ^3(x)+5 i \coth (x) \text {csch}(x)+\frac {\coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))^2}-\frac {10 i \coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.09, antiderivative size = 64, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 6, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.462, Rules used = {2845, 3057,
2827, 3852, 3853, 3855} \begin {gather*} 4 \coth ^3(x)-12 \coth (x)-5 i \tanh ^{-1}(\cosh (x))+5 i \coth (x) \text {csch}(x)-\frac {10 i \coth (x) \text {csch}^2(x)}{3 (\sinh (x)+i)}+\frac {\coth (x) \text {csch}^2(x)}{3 (\sinh (x)+i)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2827
Rule 2845
Rule 3057
Rule 3852
Rule 3853
Rule 3855
Rubi steps
\begin {align*} \int \frac {\text {csch}^4(x)}{(i+\sinh (x))^2} \, dx &=\frac {\coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))^2}-\frac {1}{3} \int \frac {\text {csch}^4(x) (6 i-4 \sinh (x))}{i+\sinh (x)} \, dx\\ &=\frac {\coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))^2}-\frac {10 i \coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))}+\frac {1}{3} \int \text {csch}^4(x) (-36-30 i \sinh (x)) \, dx\\ &=\frac {\coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))^2}-\frac {10 i \coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))}-10 i \int \text {csch}^3(x) \, dx-12 \int \text {csch}^4(x) \, dx\\ &=5 i \coth (x) \text {csch}(x)+\frac {\coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))^2}-\frac {10 i \coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))}+5 i \int \text {csch}(x) \, dx-12 i \text {Subst}\left (\int \left (1+x^2\right ) \, dx,x,-i \coth (x)\right )\\ &=-5 i \tanh ^{-1}(\cosh (x))-12 \coth (x)+4 \coth ^3(x)+5 i \coth (x) \text {csch}(x)+\frac {\coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))^2}-\frac {10 i \coth (x) \text {csch}^2(x)}{3 (i+\sinh (x))}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Both result and optimal contain complex but leaf count is larger than twice
the leaf count of optimal. \(143\) vs. \(2(64)=128\).
time = 1.42, size = 143, normalized size = 2.23 \begin {gather*} \frac {1}{24} \left (-44 \coth \left (\frac {x}{2}\right )+6 i \text {csch}^2\left (\frac {x}{2}\right )+\frac {1}{2} \text {csch}^4\left (\frac {x}{2}\right ) \sinh (x)+2 \left (-60 i \log \left (\cosh \left (\frac {x}{2}\right )\right )+60 i \log \left (\sinh \left (\frac {x}{2}\right )\right )+3 i \text {sech}^2\left (\frac {x}{2}\right )-4 \text {csch}^3(x) \sinh ^4\left (\frac {x}{2}\right )-\frac {4}{i+\sinh (x)}+\frac {8 \sinh \left (\frac {x}{2}\right ) (14 i+13 \sinh (x))}{\left (i \cosh \left (\frac {x}{2}\right )+\sinh \left (\frac {x}{2}\right )\right )^3}-22 \tanh \left (\frac {x}{2}\right )\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.74, size = 92, normalized size = 1.44
method | result | size |
risch | \(\frac {2 i \left (45 i {\mathrm e}^{7 x}+15 \,{\mathrm e}^{8 x}-135 i {\mathrm e}^{5 x}-85 \,{\mathrm e}^{6 x}+155 i {\mathrm e}^{3 x}+153 \,{\mathrm e}^{4 x}-57 i {\mathrm e}^{x}-99 \,{\mathrm e}^{2 x}+24\right )}{3 \left ({\mathrm e}^{2 x}-1\right )^{3} \left ({\mathrm e}^{x}+i\right )^{3}}+5 i \ln \left ({\mathrm e}^{x}-1\right )-5 i \ln \left ({\mathrm e}^{x}+1\right )\) | \(88\) |
default | \(-\frac {15 \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 )}{4}+\frac {i}{4 \tanh \left (\frac {x}{2}\right )^{2}}+5 i \ln \left (\tanh \left (\frac {x}{2}\right )\right )+\frac {1}{24 \tanh \left (\frac {x}{2}\right )^{3}}-\frac {15}{8 \tanh \left (\frac {x}{2}\right )}+\frac {2 i}{\left (\tanh \left (\frac {x}{2}\right )+i\right )^{2}}+\frac {4}{3 \left (\tanh \left (\frac {x}{2}\right )+i\right )^{3}}-\frac {10}{\tanh \left (\frac {x}{2}\right )+i}\) | \(92\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Both result and optimal contain complex but leaf count of result is larger than
twice the leaf count of optimal. 127 vs. \(2 (50) = 100\).
time = 0.29, size = 127, normalized size = 1.98 \begin {gather*} -\frac {2 \, {\left (57 \, e^{\left (-x\right )} + 99 i \, e^{\left (-2 \, x\right )} - 155 \, e^{\left (-3 \, x\right )} - 153 i \, e^{\left (-4 \, x\right )} + 135 \, e^{\left (-5 \, x\right )} + 85 i \, e^{\left (-6 \, x\right )} - 45 \, e^{\left (-7 \, x\right )} - 15 i \, e^{\left (-8 \, x\right )} - 24 i\right )}}{3 \, {\left (3 \, e^{\left (-x\right )} + 6 i \, e^{\left (-2 \, x\right )} - 10 \, e^{\left (-3 \, x\right )} - 12 i \, e^{\left (-4 \, x\right )} + 12 \, e^{\left (-5 \, x\right )} + 10 i \, e^{\left (-6 \, x\right )} - 6 \, e^{\left (-7 \, x\right )} - 3 i \, e^{\left (-8 \, x\right )} + e^{\left (-9 \, x\right )} - i\right )}} - 5 i \, \log \left (e^{\left (-x\right )} + 1\right ) + 5 i \, \log \left (e^{\left (-x\right )} - 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 226 vs. \(2 (50) = 100\).
time = 0.42, size = 226, normalized size = 3.53 \begin {gather*} -\frac {15 \, {\left (i \, e^{\left (9 \, x\right )} - 3 \, e^{\left (8 \, x\right )} - 6 i \, e^{\left (7 \, x\right )} + 10 \, e^{\left (6 \, x\right )} + 12 i \, e^{\left (5 \, x\right )} - 12 \, e^{\left (4 \, x\right )} - 10 i \, e^{\left (3 \, x\right )} + 6 \, e^{\left (2 \, x\right )} + 3 i \, e^{x} - 1\right )} \log \left (e^{x} + 1\right ) + 15 \, {\left (-i \, e^{\left (9 \, x\right )} + 3 \, e^{\left (8 \, x\right )} + 6 i \, e^{\left (7 \, x\right )} - 10 \, e^{\left (6 \, x\right )} - 12 i \, e^{\left (5 \, x\right )} + 12 \, e^{\left (4 \, x\right )} + 10 i \, e^{\left (3 \, x\right )} - 6 \, e^{\left (2 \, x\right )} - 3 i \, e^{x} + 1\right )} \log \left (e^{x} - 1\right ) - 30 i \, e^{\left (8 \, x\right )} + 90 \, e^{\left (7 \, x\right )} + 170 i \, e^{\left (6 \, x\right )} - 270 \, e^{\left (5 \, x\right )} - 306 i \, e^{\left (4 \, x\right )} + 310 \, e^{\left (3 \, x\right )} + 198 i \, e^{\left (2 \, x\right )} - 114 \, e^{x} - 48 i}{3 \, {\left (e^{\left (9 \, x\right )} + 3 i \, e^{\left (8 \, x\right )} - 6 \, e^{\left (7 \, x\right )} - 10 i \, e^{\left (6 \, x\right )} + 12 \, e^{\left (5 \, x\right )} + 12 i \, e^{\left (4 \, x\right )} - 10 \, e^{\left (3 \, x\right )} - 6 i \, e^{\left (2 \, x\right )} + 3 \, e^{x} + i\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.42, size = 84, normalized size = 1.31 \begin {gather*} -\frac {2 \, {\left (-15 i \, e^{\left (8 \, x\right )} + 45 \, e^{\left (7 \, x\right )} + 85 i \, e^{\left (6 \, x\right )} - 135 \, e^{\left (5 \, x\right )} - 153 i \, e^{\left (4 \, x\right )} + 155 \, e^{\left (3 \, x\right )} + 99 i \, e^{\left (2 \, x\right )} - 57 \, e^{x} - 24 i\right )}}{3 \, {\left (e^{\left (3 \, x\right )} + i \, e^{\left (2 \, x\right )} - e^{x} - i\right )}^{3}} - 5 i \, \log \left (e^{x} + 1\right ) + 5 i \, \log \left ({\left | e^{x} - 1 \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.09, size = 189, normalized size = 2.95 \begin {gather*} -\ln \left (-{\mathrm {e}}^x\,10{}\mathrm {i}-10{}\mathrm {i}\right )\,5{}\mathrm {i}+\ln \left (-{\mathrm {e}}^x\,10{}\mathrm {i}+10{}\mathrm {i}\right )\,5{}\mathrm {i}-\frac {\frac {16\,{\mathrm {e}}^x}{3}-\frac {{\mathrm {e}}^{2\,x}\,32{}\mathrm {i}}{3}+\frac {16}{3}{}\mathrm {i}}{12\,{\mathrm {e}}^{5\,x}-10\,{\mathrm {e}}^{3\,x}+{\mathrm {e}}^{4\,x}\,12{}\mathrm {i}-{\mathrm {e}}^{2\,x}\,6{}\mathrm {i}-{\mathrm {e}}^{6\,x}\,10{}\mathrm {i}-6\,{\mathrm {e}}^{7\,x}+{\mathrm {e}}^{8\,x}\,3{}\mathrm {i}+{\mathrm {e}}^{9\,x}+3\,{\mathrm {e}}^x+1{}\mathrm {i}}+\frac {\frac {20\,{\mathrm {e}}^{2\,x}}{3}-\frac {44}{3}+\frac {{\mathrm {e}}^x\,16{}\mathrm {i}}{3}}{3\,{\mathrm {e}}^{2\,x}-3\,{\mathrm {e}}^{4\,x}+{\mathrm {e}}^{6\,x}-1-{\mathrm {e}}^{3\,x}\,4{}\mathrm {i}+{\mathrm {e}}^{5\,x}\,2{}\mathrm {i}+{\mathrm {e}}^x\,2{}\mathrm {i}}-\frac {10\,{\mathrm {e}}^x-{\mathrm {e}}^{2\,x}\,10{}\mathrm {i}+\frac {20}{3}{}\mathrm {i}}{{\mathrm {e}}^{2\,x}\,1{}\mathrm {i}+{\mathrm {e}}^{3\,x}-{\mathrm {e}}^x-\mathrm {i}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________