Integrand size = 17, antiderivative size = 62 \[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=\frac {\arcsin (x)}{\sqrt {1-x^2}}-2 \arcsin (x) \text {arctanh}\left (e^{i \arcsin (x)}\right )-\text {arctanh}(x)+i \operatorname {PolyLog}\left (2,-e^{i \arcsin (x)}\right )-i \operatorname {PolyLog}\left (2,e^{i \arcsin (x)}\right ) \]
[Out]
Time = 0.10 (sec) , antiderivative size = 62, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.353, Rules used = {4793, 4803, 4268, 2317, 2438, 212} \[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=-2 \arcsin (x) \text {arctanh}\left (e^{i \arcsin (x)}\right )+i \operatorname {PolyLog}\left (2,-e^{i \arcsin (x)}\right )-i \operatorname {PolyLog}\left (2,e^{i \arcsin (x)}\right )+\frac {\arcsin (x)}{\sqrt {1-x^2}}-\text {arctanh}(x) \]
[In]
[Out]
Rule 212
Rule 2317
Rule 2438
Rule 4268
Rule 4793
Rule 4803
Rubi steps \begin{align*} \text {integral}& = \frac {\arcsin (x)}{\sqrt {1-x^2}}-\int \frac {1}{1-x^2} \, dx+\int \frac {\arcsin (x)}{x \sqrt {1-x^2}} \, dx \\ & = \frac {\arcsin (x)}{\sqrt {1-x^2}}-\text {arctanh}(x)+\text {Subst}(\int x \csc (x) \, dx,x,\arcsin (x)) \\ & = \frac {\arcsin (x)}{\sqrt {1-x^2}}-2 \arcsin (x) \text {arctanh}\left (e^{i \arcsin (x)}\right )-\text {arctanh}(x)-\text {Subst}\left (\int \log \left (1-e^{i x}\right ) \, dx,x,\arcsin (x)\right )+\text {Subst}\left (\int \log \left (1+e^{i x}\right ) \, dx,x,\arcsin (x)\right ) \\ & = \frac {\arcsin (x)}{\sqrt {1-x^2}}-2 \arcsin (x) \text {arctanh}\left (e^{i \arcsin (x)}\right )-\text {arctanh}(x)+i \text {Subst}\left (\int \frac {\log (1-x)}{x} \, dx,x,e^{i \arcsin (x)}\right )-i \text {Subst}\left (\int \frac {\log (1+x)}{x} \, dx,x,e^{i \arcsin (x)}\right ) \\ & = \frac {\arcsin (x)}{\sqrt {1-x^2}}-2 \arcsin (x) \text {arctanh}\left (e^{i \arcsin (x)}\right )-\text {arctanh}(x)+i \operatorname {PolyLog}\left (2,-e^{i \arcsin (x)}\right )-i \operatorname {PolyLog}\left (2,e^{i \arcsin (x)}\right ) \\ \end{align*}
Time = 0.16 (sec) , antiderivative size = 112, normalized size of antiderivative = 1.81 \[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=\frac {\arcsin (x)}{\sqrt {1-x^2}}+\arcsin (x) \log \left (1-e^{i \arcsin (x)}\right )-\arcsin (x) \log \left (1+e^{i \arcsin (x)}\right )+\log \left (\cos \left (\frac {\arcsin (x)}{2}\right )-\sin \left (\frac {\arcsin (x)}{2}\right )\right )-\log \left (\cos \left (\frac {\arcsin (x)}{2}\right )+\sin \left (\frac {\arcsin (x)}{2}\right )\right )+i \operatorname {PolyLog}\left (2,-e^{i \arcsin (x)}\right )-i \operatorname {PolyLog}\left (2,e^{i \arcsin (x)}\right ) \]
[In]
[Out]
Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 429 vs. \(2 (76 ) = 152\).
Time = 0.69 (sec) , antiderivative size = 430, normalized size of antiderivative = 6.94
method | result | size |
default | \(-\frac {\sqrt {-x^{2}+1}\, \arcsin \left (x \right )}{x^{2}-1}-\frac {i \left (\ln \left (i x +\sqrt {-x^{2}+1}+1\right )-\ln \left (i x +\sqrt {-x^{2}+1}-1\right )-2 \arctan \left (i x +\sqrt {-x^{2}+1}\right )\right )}{2}+\frac {i \left (i \arcsin \left (x \right ) \ln \left (i x +\sqrt {-x^{2}+1}+1\right )+\arcsin \left (x \right ) \ln \left (1+i \left (i x +\sqrt {-x^{2}+1}\right )\right )-\arcsin \left (x \right ) \ln \left (1-i \left (i x +\sqrt {-x^{2}+1}\right )\right )-i \operatorname {dilog}\left (1+i \left (i x +\sqrt {-x^{2}+1}\right )\right )+i \operatorname {dilog}\left (1-i \left (i x +\sqrt {-x^{2}+1}\right )\right )+\operatorname {dilog}\left (i x +\sqrt {-x^{2}+1}+1\right )+\operatorname {dilog}\left (i x +\sqrt {-x^{2}+1}\right )\right )}{2}+\frac {i \left (i \arcsin \left (x \right ) \ln \left (i x +\sqrt {-x^{2}+1}+1\right )-\arcsin \left (x \right ) \ln \left (1+i \left (i x +\sqrt {-x^{2}+1}\right )\right )+\arcsin \left (x \right ) \ln \left (1-i \left (i x +\sqrt {-x^{2}+1}\right )\right )+i \operatorname {dilog}\left (1+i \left (i x +\sqrt {-x^{2}+1}\right )\right )-i \operatorname {dilog}\left (1-i \left (i x +\sqrt {-x^{2}+1}\right )\right )+\operatorname {dilog}\left (i x +\sqrt {-x^{2}+1}+1\right )+\operatorname {dilog}\left (i x +\sqrt {-x^{2}+1}\right )\right )}{2}+\frac {i \left (\ln \left (i x +\sqrt {-x^{2}+1}+1\right )-\ln \left (i x +\sqrt {-x^{2}+1}-1\right )+2 \arctan \left (i x +\sqrt {-x^{2}+1}\right )\right )}{2}\) | \(430\) |
[In]
[Out]
\[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=\int { \frac {\arcsin \left (x\right )}{{\left (-x^{2} + 1\right )}^{\frac {3}{2}} x} \,d x } \]
[In]
[Out]
\[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=\int \frac {\operatorname {asin}{\left (x \right )}}{x \left (- \left (x - 1\right ) \left (x + 1\right )\right )^{\frac {3}{2}}}\, dx \]
[In]
[Out]
\[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=\int { \frac {\arcsin \left (x\right )}{{\left (-x^{2} + 1\right )}^{\frac {3}{2}} x} \,d x } \]
[In]
[Out]
\[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=\int { \frac {\arcsin \left (x\right )}{{\left (-x^{2} + 1\right )}^{\frac {3}{2}} x} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\arcsin (x)}{x \left (1-x^2\right )^{3/2}} \, dx=\int \frac {\mathrm {asin}\left (x\right )}{x\,{\left (1-x^2\right )}^{3/2}} \,d x \]
[In]
[Out]