Integrand size = 12, antiderivative size = 58 \[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=-\frac {\sqrt {2} \left (1+\frac {1}{x}\right )^{3/2} \arctan \left (\frac {\sqrt {2} \sqrt {\frac {1}{x}}}{\sqrt {-\frac {1-x}{x}}}\right )}{\left (\frac {1}{x}\right )^{3/2} (1+x)^{3/2}} \]
[Out]
Time = 0.07 (sec) , antiderivative size = 58, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {6311, 6316, 95, 209} \[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=-\frac {\sqrt {2} \left (\frac {1}{x}+1\right )^{3/2} \arctan \left (\frac {\sqrt {2} \sqrt {\frac {1}{x}}}{\sqrt {-\frac {1-x}{x}}}\right )}{\left (\frac {1}{x}\right )^{3/2} (x+1)^{3/2}} \]
[In]
[Out]
Rule 95
Rule 209
Rule 6311
Rule 6316
Rubi steps \begin{align*} \text {integral}& = \frac {\left (\left (1+\frac {1}{x}\right )^{3/2} x^{3/2}\right ) \int \frac {e^{\coth ^{-1}(x)}}{\left (1+\frac {1}{x}\right )^{3/2} x^{3/2}} \, dx}{(1+x)^{3/2}} \\ & = -\frac {\left (1+\frac {1}{x}\right )^{3/2} \text {Subst}\left (\int \frac {1}{\sqrt {1-x} \sqrt {x} (1+x)} \, dx,x,\frac {1}{x}\right )}{\left (\frac {1}{x}\right )^{3/2} (1+x)^{3/2}} \\ & = -\frac {\left (2 \left (1+\frac {1}{x}\right )^{3/2}\right ) \text {Subst}\left (\int \frac {1}{1+2 x^2} \, dx,x,\frac {\sqrt {\frac {1}{x}}}{\sqrt {\frac {-1+x}{x}}}\right )}{\left (\frac {1}{x}\right )^{3/2} (1+x)^{3/2}} \\ & = -\frac {\sqrt {2} \left (1+\frac {1}{x}\right )^{3/2} \arctan \left (\frac {\sqrt {2} \sqrt {\frac {1}{x}}}{\sqrt {-\frac {1-x}{x}}}\right )}{\left (\frac {1}{x}\right )^{3/2} (1+x)^{3/2}} \\ \end{align*}
Time = 0.02 (sec) , antiderivative size = 41, normalized size of antiderivative = 0.71 \[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=\sqrt {2} \sqrt {\frac {1}{1+x}} \sqrt {1+x} \arctan \left (\frac {\sqrt {\frac {-1+x}{x^2}} x}{\sqrt {2}}\right ) \]
[In]
[Out]
Time = 0.44 (sec) , antiderivative size = 37, normalized size of antiderivative = 0.64
method | result | size |
default | \(\frac {\sqrt {2}\, \arctan \left (\frac {\sqrt {x -1}\, \sqrt {2}}{2}\right ) \sqrt {x -1}}{\sqrt {\frac {x -1}{1+x}}\, \sqrt {1+x}}\) | \(37\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.45 \[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=\sqrt {2} \arctan \left (\frac {1}{2} \, \sqrt {2} \sqrt {x + 1} \sqrt {\frac {x - 1}{x + 1}}\right ) \]
[In]
[Out]
Time = 40.26 (sec) , antiderivative size = 42, normalized size of antiderivative = 0.72 \[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=2 \left (\begin {cases} \frac {\sqrt {2} \operatorname {acos}{\left (\frac {\sqrt {2}}{\sqrt {x + 1}} \right )}}{2} & \text {for}\: \sqrt {x + 1} > - \sqrt {2} \wedge \sqrt {x + 1} < \sqrt {2} \end {cases}\right ) \]
[In]
[Out]
\[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=\int { \frac {1}{{\left (x + 1\right )}^{\frac {3}{2}} \sqrt {\frac {x - 1}{x + 1}}} \,d x } \]
[In]
[Out]
Exception generated. \[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=\text {Exception raised: NotImplementedError} \]
[In]
[Out]
Timed out. \[ \int \frac {e^{\coth ^{-1}(x)}}{(1+x)^{3/2}} \, dx=\int \frac {1}{\sqrt {\frac {x-1}{x+1}}\,{\left (x+1\right )}^{3/2}} \,d x \]
[In]
[Out]