Optimal. Leaf size=131 \[ -\frac{45 i \cosh (c+d x)}{512 d (3+5 i \sinh (c+d x))}+\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}+\frac{43 i \log \left (3 \cosh \left (\frac{1}{2} (c+d x)\right )+i \sinh \left (\frac{1}{2} (c+d x)\right )\right )}{2048 d}-\frac{43 i \log \left (\cosh \left (\frac{1}{2} (c+d x)\right )+3 i \sinh \left (\frac{1}{2} (c+d x)\right )\right )}{2048 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0851339, antiderivative size = 131, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 6, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.429, Rules used = {2664, 2754, 12, 2660, 616, 31} \[ -\frac{45 i \cosh (c+d x)}{512 d (3+5 i \sinh (c+d x))}+\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}+\frac{43 i \log \left (3 \cosh \left (\frac{1}{2} (c+d x)\right )+i \sinh \left (\frac{1}{2} (c+d x)\right )\right )}{2048 d}-\frac{43 i \log \left (\cosh \left (\frac{1}{2} (c+d x)\right )+3 i \sinh \left (\frac{1}{2} (c+d x)\right )\right )}{2048 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2664
Rule 2754
Rule 12
Rule 2660
Rule 616
Rule 31
Rubi steps
\begin{align*} \int \frac{1}{(3+5 i \sinh (c+d x))^3} \, dx &=\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}+\frac{1}{32} \int \frac{-6+5 i \sinh (c+d x)}{(3+5 i \sinh (c+d x))^2} \, dx\\ &=\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (3+5 i \sinh (c+d x))}+\frac{1}{512} \int \frac{43}{3+5 i \sinh (c+d x)} \, dx\\ &=\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (3+5 i \sinh (c+d x))}+\frac{43}{512} \int \frac{1}{3+5 i \sinh (c+d x)} \, dx\\ &=\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (3+5 i \sinh (c+d x))}-\frac{(43 i) \operatorname{Subst}\left (\int \frac{1}{3+10 x+3 x^2} \, dx,x,\tan \left (\frac{1}{2} (i c+i d x)\right )\right )}{256 d}\\ &=\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (3+5 i \sinh (c+d x))}-\frac{(129 i) \operatorname{Subst}\left (\int \frac{1}{1+3 x} \, dx,x,\tan \left (\frac{1}{2} (i c+i d x)\right )\right )}{2048 d}+\frac{(129 i) \operatorname{Subst}\left (\int \frac{1}{9+3 x} \, dx,x,\tan \left (\frac{1}{2} (i c+i d x)\right )\right )}{2048 d}\\ &=\frac{43 i \log \left (3+i \tanh \left (\frac{1}{2} (c+d x)\right )\right )}{2048 d}-\frac{43 i \log \left (1+3 i \tanh \left (\frac{1}{2} (c+d x)\right )\right )}{2048 d}+\frac{5 i \cosh (c+d x)}{32 d (3+5 i \sinh (c+d x))^2}-\frac{45 i \cosh (c+d x)}{512 d (3+5 i \sinh (c+d x))}\\ \end{align*}
Mathematica [A] time = 0.484808, size = 204, normalized size = 1.56 \[ \frac{86 \tan ^{-1}\left (3 \tanh \left (\frac{1}{2} (c+d x)\right )\right )-43 i \log (4-5 \cosh (c+d x))+43 i \log (5 \cosh (c+d x)+4)+\sinh \left (\frac{1}{2} (c+d x)\right ) \left (-\frac{360}{\cosh \left (\frac{1}{2} (c+d x)\right )+3 i \sinh \left (\frac{1}{2} (c+d x)\right )}-\frac{120}{3 \cosh \left (\frac{1}{2} (c+d x)\right )+i \sinh \left (\frac{1}{2} (c+d x)\right )}\right )-\frac{80 i}{\left (3 \cosh \left (\frac{1}{2} (c+d x)\right )+i \sinh \left (\frac{1}{2} (c+d x)\right )\right )^2}+\frac{80 i}{\left (\cosh \left (\frac{1}{2} (c+d x)\right )+3 i \sinh \left (\frac{1}{2} (c+d x)\right )\right )^2}+86 \tan ^{-1}\left (3 \coth \left (\frac{1}{2} (c+d x)\right )\right )}{4096 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.051, size = 124, normalized size = 1. \begin{align*}{\frac{-{\frac{43\,i}{2048}}}{d}\ln \left ( 3\,\tanh \left ( 1/2\,dx+c/2 \right ) -i \right ) }-{\frac{{\frac{25\,i}{1152}}}{d} \left ( 3\,\tanh \left ( 1/2\,dx+c/2 \right ) -i \right ) ^{-2}}-{\frac{155}{4608\,d} \left ( 3\,\tanh \left ( 1/2\,dx+c/2 \right ) -i \right ) ^{-1}}+{\frac{{\frac{25\,i}{128}}}{d} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -3\,i \right ) ^{-2}}+{\frac{{\frac{43\,i}{2048}}}{d}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -3\,i \right ) }+{\frac{15}{512\,d} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -3\,i \right ) ^{-1}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.67748, size = 167, normalized size = 1.27 \begin{align*} -\frac{43 i \, \log \left (\frac{10 \, e^{\left (-d x - c\right )} + 6 i - 8}{10 \, e^{\left (-d x - c\right )} + 6 i + 8}\right )}{2048 \, d} - \frac{-325 i \, e^{\left (-d x - c\right )} - 387 \, e^{\left (-2 \, d x - 2 \, c\right )} + 215 i \, e^{\left (-3 \, d x - 3 \, c\right )} + 225}{d{\left (-15360 i \, e^{\left (-d x - c\right )} - 22016 \, e^{\left (-2 \, d x - 2 \, c\right )} + 15360 i \, e^{\left (-3 \, d x - 3 \, c\right )} + 6400 \, e^{\left (-4 \, d x - 4 \, c\right )} + 6400\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.19338, size = 625, normalized size = 4.77 \begin{align*} \frac{{\left (1075 i \, e^{\left (4 \, d x + 4 \, c\right )} + 2580 \, e^{\left (3 \, d x + 3 \, c\right )} - 3698 i \, e^{\left (2 \, d x + 2 \, c\right )} - 2580 \, e^{\left (d x + c\right )} + 1075 i\right )} \log \left (e^{\left (d x + c\right )} - \frac{3}{5} i + \frac{4}{5}\right ) +{\left (-1075 i \, e^{\left (4 \, d x + 4 \, c\right )} - 2580 \, e^{\left (3 \, d x + 3 \, c\right )} + 3698 i \, e^{\left (2 \, d x + 2 \, c\right )} + 2580 \, e^{\left (d x + c\right )} - 1075 i\right )} \log \left (e^{\left (d x + c\right )} - \frac{3}{5} i - \frac{4}{5}\right ) - 1720 i \, e^{\left (3 \, d x + 3 \, c\right )} - 3096 \, e^{\left (2 \, d x + 2 \, c\right )} + 2600 i \, e^{\left (d x + c\right )} + 1800}{51200 \, d e^{\left (4 \, d x + 4 \, c\right )} - 122880 i \, d e^{\left (3 \, d x + 3 \, c\right )} - 176128 \, d e^{\left (2 \, d x + 2 \, c\right )} + 122880 i \, d e^{\left (d x + c\right )} + 51200 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.55733, size = 156, normalized size = 1.19 \begin{align*} \frac{- \frac{9 e^{4 c}}{256 d} + \frac{13 i e^{3 c} e^{- d x}}{256 d} + \frac{387 e^{2 c} e^{- 2 d x}}{6400 d} - \frac{43 i e^{c} e^{- 3 d x}}{1280 d}}{e^{4 c} - \frac{12 i e^{3 c} e^{- d x}}{5} - \frac{86 e^{2 c} e^{- 2 d x}}{25} + \frac{12 i e^{c} e^{- 3 d x}}{5} + e^{- 4 d x}} + \frac{\operatorname{RootSum}{\left (4194304 z^{2} + 1849, \left ( i \mapsto i \log{\left (- \frac{8192 i i e^{c}}{215} + \frac{3 i e^{c}}{5} + e^{- d x} \right )} \right )\right )}}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.30706, size = 126, normalized size = 0.96 \begin{align*} \frac{43 i \, \log \left (-\left (i - 2\right ) \, e^{\left (d x + c\right )} - 2 i + 1\right )}{2048 \, d} - \frac{43 i \, \log \left (-\left (2 i - 1\right ) \, e^{\left (d x + c\right )} + i - 2\right )}{2048 \, d} - \frac{-215 i \, e^{\left (3 \, d x + 3 \, c\right )} - 387 \, e^{\left (2 \, d x + 2 \, c\right )} + 325 i \, e^{\left (d x + c\right )} + 225}{256 \, d{\left (-5 i \, e^{\left (2 \, d x + 2 \, c\right )} - 6 \, e^{\left (d x + c\right )} + 5 i\right )}^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]