Integrand size = 15, antiderivative size = 17 \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=\frac {\arccos (x)}{\sqrt {1-x^2}}+\text {arctanh}(x) \]
[Out]
Time = 0.02 (sec) , antiderivative size = 17, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {4768, 212} \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=\frac {\arccos (x)}{\sqrt {1-x^2}}+\text {arctanh}(x) \]
[In]
[Out]
Rule 212
Rule 4768
Rubi steps \begin{align*} \text {integral}& = \frac {\arccos (x)}{\sqrt {1-x^2}}+\int \frac {1}{1-x^2} \, dx \\ & = \frac {\arccos (x)}{\sqrt {1-x^2}}+\text {arctanh}(x) \\ \end{align*}
Time = 0.03 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.88 \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=\frac {1}{2} \left (\frac {2 \arccos (x)}{\sqrt {1-x^2}}-\log (1-x)+\log (1+x)\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(46\) vs. \(2(15)=30\).
Time = 0.32 (sec) , antiderivative size = 47, normalized size of antiderivative = 2.76
method | result | size |
default | \(-\frac {\sqrt {-x^{2}+1}\, \arccos \left (x \right )}{x^{2}-1}-\ln \left (-\frac {x}{\sqrt {-x^{2}+1}}+\frac {1}{\sqrt {-x^{2}+1}}\right )\) | \(47\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 44 vs. \(2 (15) = 30\).
Time = 0.26 (sec) , antiderivative size = 44, normalized size of antiderivative = 2.59 \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=\frac {{\left (x^{2} - 1\right )} \log \left (x + 1\right ) - {\left (x^{2} - 1\right )} \log \left (x - 1\right ) - 2 \, \sqrt {-x^{2} + 1} \arccos \left (x\right )}{2 \, {\left (x^{2} - 1\right )}} \]
[In]
[Out]
Time = 4.14 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.41 \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=- \frac {\log {\left (x - 1 \right )}}{2} + \frac {\log {\left (x + 1 \right )}}{2} + \frac {\operatorname {acos}{\left (x \right )}}{\sqrt {1 - x^{2}}} \]
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.47 \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=\frac {\arccos \left (x\right )}{\sqrt {-x^{2} + 1}} + \frac {1}{2} \, \log \left (x + 1\right ) - \frac {1}{2} \, \log \left (x - 1\right ) \]
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.59 \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=\frac {\arccos \left (x\right )}{\sqrt {-x^{2} + 1}} + \frac {1}{2} \, \log \left ({\left | x + 1 \right |}\right ) - \frac {1}{2} \, \log \left ({\left | x - 1 \right |}\right ) \]
[In]
[Out]
Timed out. \[ \int \frac {x \arccos (x)}{\left (1-x^2\right )^{3/2}} \, dx=\int \frac {x\,\mathrm {acos}\left (x\right )}{{\left (1-x^2\right )}^{3/2}} \,d x \]
[In]
[Out]