Integrand size = 10, antiderivative size = 35 \[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=-\frac {1}{2} \sqrt {1-\frac {1}{x^2}} x^2+\frac {1}{2} \text {arctanh}\left (\sqrt {1-\frac {1}{x^2}}\right ) \]
[Out]
Time = 0.04 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.600, Rules used = {6310, 6313, 272, 43, 65, 212} \[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=\frac {1}{2} \text {arctanh}\left (\sqrt {1-\frac {1}{x^2}}\right )-\frac {1}{2} \sqrt {1-\frac {1}{x^2}} x^2 \]
[In]
[Out]
Rule 43
Rule 65
Rule 212
Rule 272
Rule 6310
Rule 6313
Rubi steps \begin{align*} \text {integral}& = -\int e^{\coth ^{-1}(x)} \left (1-\frac {1}{x}\right ) x \, dx \\ & = \text {Subst}\left (\int \frac {\sqrt {1-x^2}}{x^3} \, dx,x,\frac {1}{x}\right ) \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {\sqrt {1-x}}{x^2} \, dx,x,\frac {1}{x^2}\right ) \\ & = -\frac {1}{2} \sqrt {1-\frac {1}{x^2}} x^2-\frac {1}{4} \text {Subst}\left (\int \frac {1}{\sqrt {1-x} x} \, dx,x,\frac {1}{x^2}\right ) \\ & = -\frac {1}{2} \sqrt {1-\frac {1}{x^2}} x^2+\frac {1}{2} \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\sqrt {1-\frac {1}{x^2}}\right ) \\ & = -\frac {1}{2} \sqrt {1-\frac {1}{x^2}} x^2+\frac {1}{2} \text {arctanh}\left (\sqrt {1-\frac {1}{x^2}}\right ) \\ \end{align*}
Time = 0.02 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.11 \[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=-\frac {1}{2} \sqrt {1-\frac {1}{x^2}} x^2+\frac {1}{2} \log \left (\left (1+\sqrt {1-\frac {1}{x^2}}\right ) x\right ) \]
[In]
[Out]
Time = 0.09 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.37
method | result | size |
default | \(-\frac {\left (x -1\right ) \left (x \sqrt {x^{2}-1}-\ln \left (x +\sqrt {x^{2}-1}\right )\right )}{2 \sqrt {\frac {x -1}{1+x}}\, \sqrt {\left (x -1\right ) \left (1+x \right )}}\) | \(48\) |
risch | \(-\frac {x \left (x -1\right )}{2 \sqrt {\frac {x -1}{1+x}}}+\frac {\ln \left (x +\sqrt {x^{2}-1}\right ) \sqrt {\left (x -1\right ) \left (1+x \right )}}{2 \sqrt {\frac {x -1}{1+x}}\, \left (1+x \right )}\) | \(56\) |
trager | \(-\frac {\left (1+x \right ) \sqrt {-\frac {1-x}{1+x}}\, x}{2}+\frac {\ln \left (\sqrt {-\frac {1-x}{1+x}}\, x +\sqrt {-\frac {1-x}{1+x}}+x \right )}{2}\) | \(57\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 51, normalized size of antiderivative = 1.46 \[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=-\frac {1}{2} \, {\left (x^{2} + x\right )} \sqrt {\frac {x - 1}{x + 1}} + \frac {1}{2} \, \log \left (\sqrt {\frac {x - 1}{x + 1}} + 1\right ) - \frac {1}{2} \, \log \left (\sqrt {\frac {x - 1}{x + 1}} - 1\right ) \]
[In]
[Out]
\[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=- \int \frac {x}{\sqrt {\frac {x}{x + 1} - \frac {1}{x + 1}}}\, dx - \int \left (- \frac {1}{\sqrt {\frac {x}{x + 1} - \frac {1}{x + 1}}}\right )\, dx \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 83 vs. \(2 (27) = 54\).
Time = 0.21 (sec) , antiderivative size = 83, normalized size of antiderivative = 2.37 \[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=\frac {\left (\frac {x - 1}{x + 1}\right )^{\frac {3}{2}} + \sqrt {\frac {x - 1}{x + 1}}}{\frac {2 \, {\left (x - 1\right )}}{x + 1} - \frac {{\left (x - 1\right )}^{2}}{{\left (x + 1\right )}^{2}} - 1} + \frac {1}{2} \, \log \left (\sqrt {\frac {x - 1}{x + 1}} + 1\right ) - \frac {1}{2} \, \log \left (\sqrt {\frac {x - 1}{x + 1}} - 1\right ) \]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.09 \[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=-\frac {\sqrt {x^{2} - 1} x}{2 \, \mathrm {sgn}\left (x + 1\right )} - \frac {\log \left ({\left | -x + \sqrt {x^{2} - 1} \right |}\right )}{2 \, \mathrm {sgn}\left (x + 1\right )} \]
[In]
[Out]
Time = 4.01 (sec) , antiderivative size = 63, normalized size of antiderivative = 1.80 \[ \int e^{\coth ^{-1}(x)} (1-x) \, dx=\mathrm {atanh}\left (\sqrt {\frac {x-1}{x+1}}\right )-\frac {\sqrt {\frac {x-1}{x+1}}+{\left (\frac {x-1}{x+1}\right )}^{3/2}}{\frac {{\left (x-1\right )}^2}{{\left (x+1\right )}^2}-\frac {2\,\left (x-1\right )}{x+1}+1} \]
[In]
[Out]