Integrand size = 21, antiderivative size = 132 \[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=-\frac {(b+2 c) \text {arctanh}\left (\frac {b+2 c \coth ^2(x)}{2 \sqrt {c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{4 \sqrt {c}}+\frac {1}{2} \sqrt {a+b+c} \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 )-\frac {1}{2} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \]
[Out]
Time = 0.16 (sec) , antiderivative size = 132, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {3782, 1261, 748, 857, 635, 212, 738} \[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=-\frac {(b+2 c) \text {arctanh}\left (\frac {b+2 c \coth ^2(x)}{2 \sqrt {c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{4 \sqrt {c}}+\frac {1}{2} \sqrt {a+b+c} \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 )-\frac {1}{2} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \]
[In]
[Out]
Rule 212
Rule 635
Rule 738
Rule 748
Rule 857
Rule 1261
Rule 3782
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int \frac {x \sqrt {a-b x^2+c x^4}}{1+x^2} \, dx,x,-i \coth (x)\right ) \\ & = -\left (\frac {1}{2} \text {Subst}\left (\int \frac {\sqrt {a-b x+c x^2}}{1+x} \, dx,x,-\coth ^2(x)\right )\right ) \\ & = -\frac {1}{2} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}+\frac {1}{4} \text {Subst}\left (\int \frac {-2 a-b+(b+2 c) x}{(1+x) \sqrt {a-b x+c x^2}} \, dx,x,-\coth ^2(x)\right ) \\ & = -\frac {1}{2} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}+\frac {1}{2} (-a-b-c) \text {Subst}\left (\int \frac {1}{(1+x) \sqrt {a-b x+c x^2}} \, dx,x,-\coth ^2(x)\right )+\frac {1}{4} (b+2 c) \text {Subst}\left (\int \frac {1}{\sqrt {a-b x+c x^2}} \, dx,x,-\coth ^2(x)\right ) \\ & = -\frac {1}{2} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}+(a+b+c) \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 {1}{2} (b+2 c) \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 ) \\ & = -\frac {(b+2 c) \text {arctanh}\left (\frac {b+2 c \coth ^2(x)}{2 \sqrt {c} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)}}\right )}{4 \sqrt {c}}+\frac {1}{2} \sqrt {a+b+c} \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 )-\frac {1}{2} \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \\ \end{align*}
Time = 1.19 (sec) , antiderivative size = 184, normalized size of antiderivative = 1.39 \[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=-\frac {\sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \tanh ^2(x) \left ((b+2 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 )-2 \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 )+2 \sqrt {c} \coth ^2(x) \sqrt {c+b \tanh ^2(x)+a \tanh ^4(x)}\right )}{4 \sqrt {c} \sqrt {c+b \tanh ^2(x)+a \tanh ^4(x)}} \]
[In]
[Out]
Time = 0.82 (sec) , antiderivative size = 165, normalized size of antiderivative = 1.25
method | result | size |
derivativedivides | \(-\frac {\sqrt {\left (\coth \left (x \right )^{2}-1\right )^{2} c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+a +b +c}}{2}-\frac {\left (b +2 c \right ) \ln \left (\frac {\frac {b}{2}+c +c \left (\coth \left (x \right )^{2}-1\right )}{\sqrt {c}}+\sqrt {\left (\coth \left (x \right )^{2}-1\right )^{2} c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+a +b +c}\right )}{4 \sqrt {c}}+\frac {\sqrt {a +b +c}\, \ln \left (\frac {2 a +2 b +2 c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+2 \sqrt {a +b +c}\, \sqrt {\left (\coth \left (x \right )^{2}-1\right )^{2} c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+a +b +c}}{\coth \left (x \right )^{2}-1}\right )}{2}\) | \(165\) |
default | \(-\frac {\sqrt {\left (\coth \left (x \right )^{2}-1\right )^{2} c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+a +b +c}}{2}-\frac {\left (b +2 c \right ) \ln \left (\frac {\frac {b}{2}+c +c \left (\coth \left (x \right )^{2}-1\right )}{\sqrt {c}}+\sqrt {\left (\coth \left (x \right )^{2}-1\right )^{2} c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+a +b +c}\right )}{4 \sqrt {c}}+\frac {\sqrt {a +b +c}\, \ln \left (\frac {2 a +2 b +2 c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+2 \sqrt {a +b +c}\, \sqrt {\left (\coth \left (x \right )^{2}-1\right )^{2} c +\left (b +2 c \right ) \left (\coth \left (x \right )^{2}-1\right )+a +b +c}}{\coth \left (x \right )^{2}-1}\right )}{2}\) | \(165\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 1840 vs. \(2 (108) = 216\).
Time = 1.44 (sec) , antiderivative size = 7964, normalized size of antiderivative = 60.33 \[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=\text {Too large to display} \]
[In]
[Out]
\[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=\int \sqrt {a + b \coth ^{2}{\left (x \right )} + c \coth ^{4}{\left (x \right )}} \coth {\left (x \right )}\, dx \]
[In]
[Out]
\[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=\int { \sqrt {c \coth \left (x\right )^{4} + b \coth \left (x\right )^{2} + a} \coth \left (x\right ) \,d x } \]
[In]
[Out]
\[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=\int { \sqrt {c \coth \left (x\right )^{4} + b \coth \left (x\right )^{2} + a} \coth \left (x\right ) \,d x } \]
[In]
[Out]
Timed out. \[ \int \coth (x) \sqrt {a+b \coth ^2(x)+c \coth ^4(x)} \, dx=\int \mathrm {coth}\left (x\right )\,\sqrt {c\,{\mathrm {coth}\left (x\right )}^4+b\,{\mathrm {coth}\left (x\right )}^2+a} \,d x \]
[In]
[Out]