Optimal. Leaf size=95 \[ -\frac{45 i \cosh (c+d x)}{512 d (5+3 i \sinh (c+d x))}-\frac{3 i \cosh (c+d x)}{32 d (5+3 i \sinh (c+d x))^2}-\frac{59 i \tan ^{-1}\left (\frac{\cosh (c+d x)}{3+i \sinh (c+d x)}\right )}{1024 d}+\frac{59 x}{2048} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0674412, antiderivative size = 95, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.286, Rules used = {2664, 2754, 12, 2657} \[ -\frac{45 i \cosh (c+d x)}{512 d (5+3 i \sinh (c+d x))}-\frac{3 i \cosh (c+d x)}{32 d (5+3 i \sinh (c+d x))^2}-\frac{59 i \tan ^{-1}\left (\frac{\cosh (c+d x)}{3+i \sinh (c+d x)}\right )}{1024 d}+\frac{59 x}{2048} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2664
Rule 2754
Rule 12
Rule 2657
Rubi steps
\begin{align*} \int \frac{1}{(5+3 i \sinh (c+d x))^3} \, dx &=-\frac{3 i \cosh (c+d x)}{32 d (5+3 i \sinh (c+d x))^2}-\frac{1}{32} \int \frac{-10+3 i \sinh (c+d x)}{(5+3 i \sinh (c+d x))^2} \, dx\\ &=-\frac{3 i \cosh (c+d x)}{32 d (5+3 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (5+3 i \sinh (c+d x))}+\frac{1}{512} \int \frac{59}{5+3 i \sinh (c+d x)} \, dx\\ &=-\frac{3 i \cosh (c+d x)}{32 d (5+3 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (5+3 i \sinh (c+d x))}+\frac{59}{512} \int \frac{1}{5+3 i \sinh (c+d x)} \, dx\\ &=\frac{59 x}{2048}-\frac{59 i \tan ^{-1}\left (\frac{\cosh (c+d x)}{3+i \sinh (c+d x)}\right )}{1024 d}-\frac{3 i \cosh (c+d x)}{32 d (5+3 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (5+3 i \sinh (c+d x))}\\ \end{align*}
Mathematica [B] time = 0.648357, size = 277, normalized size = 2.92 \[ \frac{-\frac{144 \sinh \left (\frac{1}{2} (c+d x)\right ) \left (5 \sinh \left (\frac{1}{2} (c+d x)\right )-3 i \cosh \left (\frac{1}{2} (c+d x)\right )\right )}{3 \sinh (c+d x)-5 i}+\frac{48}{\left ((1+2 i) \cosh \left (\frac{1}{2} (c+d x)\right )-(2+i) \sinh \left (\frac{1}{2} (c+d x)\right )\right )^2}+\frac{48}{\left ((1+2 i) \sinh \left (\frac{1}{2} (c+d x)\right )+(2+i) \cosh \left (\frac{1}{2} (c+d x)\right )\right )^2}-59 \log (5 \cosh (c+d x)-4 \sinh (c+d x))+59 \log (4 \sinh (c+d x)+5 \cosh (c+d x))-118 i \tan ^{-1}\left (\frac{2 \cosh \left (\frac{1}{2} (c+d x)\right )-\sinh \left (\frac{1}{2} (c+d x)\right )}{\cosh \left (\frac{1}{2} (c+d x)\right )-2 \sinh \left (\frac{1}{2} (c+d x)\right )}\right )+118 i \tan ^{-1}\left (\frac{2 \sinh \left (\frac{1}{2} (c+d x)\right )+\cosh \left (\frac{1}{2} (c+d x)\right )}{\sinh \left (\frac{1}{2} (c+d x)\right )+2 \cosh \left (\frac{1}{2} (c+d x)\right )}\right )}{4096 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.05, size = 224, normalized size = 2.4 \begin{align*}{\frac{63}{3200\,d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) +4-3\,i \right ) ^{-2}}-{\frac{{\frac{27\,i}{400}}}{d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) +4-3\,i \right ) ^{-2}}-{\frac{963}{12800\,d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) +4-3\,i \right ) ^{-1}}-{\frac{{\frac{123\,i}{1600}}}{d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) +4-3\,i \right ) ^{-1}}+{\frac{59}{2048\,d}\ln \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) +4-3\,i \right ) }-{\frac{63}{3200\,d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) -4-3\,i \right ) ^{-2}}-{\frac{{\frac{27\,i}{400}}}{d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) -4-3\,i \right ) ^{-2}}-{\frac{963}{12800\,d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) -4-3\,i \right ) ^{-1}}+{\frac{{\frac{123\,i}{1600}}}{d} \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) -4-3\,i \right ) ^{-1}}-{\frac{59}{2048\,d}\ln \left ( 5\,\tanh \left ( 1/2\,dx+c/2 \right ) -4-3\,i \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.60141, size = 146, normalized size = 1.54 \begin{align*} -\frac{59 i \, \arctan \left (\frac{3}{4} \, e^{\left (-d x - c\right )} + \frac{5}{4} i\right )}{1024 \, d} - \frac{-723 i \, e^{\left (-d x - c\right )} - 885 \, e^{\left (-2 \, d x - 2 \, c\right )} + 177 i \, e^{\left (-3 \, d x - 3 \, c\right )} + 135}{d{\left (-15360 i \, e^{\left (-d x - c\right )} - 30208 \, e^{\left (-2 \, d x - 2 \, c\right )} + 15360 i \, e^{\left (-3 \, d x - 3 \, c\right )} + 2304 \, e^{\left (-4 \, d x - 4 \, c\right )} + 2304\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.10321, size = 594, normalized size = 6.25 \begin{align*} \frac{{\left (531 \, e^{\left (4 \, d x + 4 \, c\right )} - 3540 i \, e^{\left (3 \, d x + 3 \, c\right )} - 6962 \, e^{\left (2 \, d x + 2 \, c\right )} + 3540 i \, e^{\left (d x + c\right )} + 531\right )} \log \left (e^{\left (d x + c\right )} - \frac{1}{3} i\right ) -{\left (531 \, e^{\left (4 \, d x + 4 \, c\right )} - 3540 i \, e^{\left (3 \, d x + 3 \, c\right )} - 6962 \, e^{\left (2 \, d x + 2 \, c\right )} + 3540 i \, e^{\left (d x + c\right )} + 531\right )} \log \left (e^{\left (d x + c\right )} - 3 i\right ) - 1416 i \, e^{\left (3 \, d x + 3 \, c\right )} - 7080 \, e^{\left (2 \, d x + 2 \, c\right )} + 5784 i \, e^{\left (d x + c\right )} + 1080}{18432 \, d e^{\left (4 \, d x + 4 \, c\right )} - 122880 i \, d e^{\left (3 \, d x + 3 \, c\right )} - 241664 \, d e^{\left (2 \, d x + 2 \, c\right )} + 122880 i \, d e^{\left (d x + c\right )} + 18432 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.60271, size = 158, normalized size = 1.66 \begin{align*} \frac{- \frac{15 e^{4 c}}{256 d} + \frac{241 i e^{3 c} e^{- d x}}{768 d} + \frac{295 e^{2 c} e^{- 2 d x}}{768 d} - \frac{59 i e^{c} e^{- 3 d x}}{768 d}}{e^{4 c} - \frac{20 i e^{3 c} e^{- d x}}{3} - \frac{118 e^{2 c} e^{- 2 d x}}{9} + \frac{20 i e^{c} e^{- 3 d x}}{3} + e^{- 4 d x}} + \frac{- \frac{59 \log{\left (\frac{i e^{c}}{3} + e^{- d x} \right )}}{2048} + \frac{59 \log{\left (3 i e^{c} + e^{- d x} \right )}}{2048}}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.27225, size = 123, normalized size = 1.29 \begin{align*} \frac{59 \, \log \left (3 \, e^{\left (d x + c\right )} - i\right )}{2048 \, d} - \frac{59 \, \log \left (e^{\left (d x + c\right )} - 3 i\right )}{2048 \, d} - \frac{-177 i \, e^{\left (3 \, d x + 3 \, c\right )} - 885 \, e^{\left (2 \, d x + 2 \, c\right )} + 723 i \, e^{\left (d x + c\right )} + 135}{256 \, d{\left (-3 i \, e^{\left (2 \, d x + 2 \, c\right )} - 10 \, e^{\left (d x + c\right )} + 3 i\right )}^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]