Integrand size = 23, antiderivative size = 105 \[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=-\frac {\text {arctanh}\left (\frac {b+2 c \coth ^2(x)}{2 \sqrt {c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{2 \sqrt {c}}+\frac {\text {arctanh}\left (\frac {2 a+b+(b+2 c) \coth ^2(x)}{2 \sqrt {a+b+c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{2 \sqrt {a+b+c}} \]
[Out]
Time = 0.14 (sec) , antiderivative size = 105, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.261, Rules used = {3782, 1265, 857, 635, 212, 738} \[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=\frac {\text {arctanh}\left (\frac {2 a+(b+2 c) \coth ^2(x)+b}{2 \sqrt {a+b+c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{2 \sqrt {a+b+c}}-\frac {\text {arctanh}\left (\frac {b+2 c \coth ^2(x)}{2 \sqrt {c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{2 \sqrt {c}} \]
[In]
[Out]
Rule 212
Rule 635
Rule 738
Rule 857
Rule 1265
Rule 3782
Rubi steps \begin{align*} \text {integral}& = \text {Subst}\left (\int \frac {x^3}{\left (1+x^2\right ) \sqrt {a-b x^2+c x^4}} \, dx,x,-i \coth (x)\right ) \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {x}{(1+x) \sqrt {a-b x+c x^2}} \, dx,x,-\coth ^2(x)\right ) \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {1}{\sqrt {a-b x+c x^2}} \, dx,x,-\coth ^2(x)\right )-\frac {1}{2} \text {Subst}\left (\int \frac {1}{(1+x) \sqrt {a-b x+c x^2}} \, dx,x,-\coth ^2(x)\right ) \\ & = \text {Subst}\left (\int \frac {1}{4 c-x^2} \, dx,x,\frac {-b-2 c \coth ^2(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )+\text {Subst}\left (\int \frac {1}{4 a+4 b+4 c-x^2} \, dx,x,\frac {2 a+b+(b+2 c) \coth ^2(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right ) \\ & = \frac {\text {arctanh}\left (\frac {-b-2 c \coth ^2(x)}{2 \sqrt {c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{2 \sqrt {c}}+\frac {\text {arctanh}\left (\frac {2 a+b+(b+2 c) \coth ^2(x)}{2 \sqrt {a+b+c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{2 \sqrt {a+b+c}} \\ \end{align*}
Time = 0.57 (sec) , antiderivative size = 160, normalized size of antiderivative = 1.52 \[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=-\frac {\left ((a+b+c) \text {arctanh}\left (\frac {2 c+b \tanh ^2(x)}{2 \sqrt {c} \sqrt {c+b \tanh ^2(x)+a \tanh ^4(x)}}\right )-\sqrt {c} \sqrt {a+b+c} \text {arctanh}\left (\frac {b+2 c+(2 a+b) \tanh ^2(x)}{2 \sqrt {a+b+c} \sqrt {c+b \tanh ^2(x)+a \tanh ^4(x)}}\right )\right ) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \tanh ^2(x)}{2 \sqrt {c} (a+b+c) \sqrt {c+b \tanh ^2(x)+a \tanh ^4(x)}} \]
[In]
[Out]
Time = 0.73 (sec) , antiderivative size = 90, normalized size of antiderivative = 0.86
method | result | size |
derivativedivides | \(-\frac {\ln \left (\frac {\frac {b}{2}+c \coth \left (x \right )^{2}}{\sqrt {c}}+\sqrt {a +b \coth \left (x \right )^{2}+c \coth \left (x \right )^{4}}\right )}{2 \sqrt {c}}+\frac {\operatorname {arctanh}\left (\frac {b \coth \left (x \right )^{2}+2 c \coth \left (x \right )^{2}+2 a +b}{2 \sqrt {a +b +c}\, \sqrt {a +b \coth \left (x \right )^{2}+c \coth \left (x \right )^{4}}}\right )}{2 \sqrt {a +b +c}}\) | \(90\) |
default | \(-\frac {\ln \left (\frac {\frac {b}{2}+c \coth \left (x \right )^{2}}{\sqrt {c}}+\sqrt {a +b \coth \left (x \right )^{2}+c \coth \left (x \right )^{4}}\right )}{2 \sqrt {c}}+\frac {\operatorname {arctanh}\left (\frac {b \coth \left (x \right )^{2}+2 c \coth \left (x \right )^{2}+2 a +b}{2 \sqrt {a +b +c}\, \sqrt {a +b \coth \left (x \right )^{2}+c \coth \left (x \right )^{4}}}\right )}{2 \sqrt {a +b +c}}\) | \(90\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 1522 vs. \(2 (85) = 170\).
Time = 0.90 (sec) , antiderivative size = 6695, normalized size of antiderivative = 63.76 \[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=\text {Too large to display} \]
[In]
[Out]
\[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=\int \frac {\coth ^{3}{\left (x \right )}}{\sqrt {a + b \coth ^{2}{\left (x \right )} + c \coth ^{4}{\left (x \right )}}}\, dx \]
[In]
[Out]
\[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=\int { \frac {\coth \left (x\right )^{3}}{\sqrt {c \coth \left (x\right )^{4} + b \coth \left (x\right )^{2} + a}} \,d x } \]
[In]
[Out]
\[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=\int { \frac {\coth \left (x\right )^{3}}{\sqrt {c \coth \left (x\right )^{4} + b \coth \left (x\right )^{2} + a}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\coth ^3(x)}{\sqrt {a+b \coth ^2(x)+c \coth ^4(x)}} \, dx=\int \frac {{\mathrm {coth}\left (x\right )}^3}{\sqrt {c\,{\mathrm {coth}\left (x\right )}^4+b\,{\mathrm {coth}\left (x\right )}^2+a}} \,d x \]
[In]
[Out]