Integrand size = 15, antiderivative size = 107 \[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=-\frac {1}{\sqrt {x^2}}-\frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x}-\frac {2 i \sqrt {x^2} \sec ^{-1}(x) \arctan \left (e^{i \sec ^{-1}(x)}\right )}{x}+\frac {i \sqrt {x^2} \operatorname {PolyLog}\left (2,-i e^{i \sec ^{-1}(x)}\right )}{x}-\frac {i \sqrt {x^2} \operatorname {PolyLog}\left (2,i e^{i \sec ^{-1}(x)}\right )}{x} \]
[Out]
Time = 0.14 (sec) , antiderivative size = 116, normalized size of antiderivative = 1.08, number of steps used = 9, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.467, Rules used = {5350, 4784, 4804, 4266, 2317, 2438, 8} \[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=-\frac {2 i \sqrt {x^2} \sec ^{-1}(x) \arctan \left (e^{i \sec ^{-1}(x)}\right )}{x}+\frac {i \sqrt {x^2} \operatorname {PolyLog}\left (2,-i e^{i \sec ^{-1}(x)}\right )}{x}-\frac {i \sqrt {x^2} \operatorname {PolyLog}\left (2,i e^{i \sec ^{-1}(x)}\right )}{x}-\frac {1}{\sqrt {x^2}}-\frac {\sqrt {1-\frac {1}{x^2}} \sqrt {x^2} \sec ^{-1}(x)}{x} \]
[In]
[Out]
Rule 8
Rule 2317
Rule 2438
Rule 4266
Rule 4784
Rule 4804
Rule 5350
Rubi steps \begin{align*} \text {integral}& = -\frac {\sqrt {x^2} \text {Subst}\left (\int \frac {\sqrt {1-x^2} \arccos (x)}{x} \, dx,x,\frac {1}{x}\right )}{x} \\ & = -\frac {\sqrt {1-\frac {1}{x^2}} \sqrt {x^2} \sec ^{-1}(x)}{x}-\frac {\sqrt {x^2} \text {Subst}\left (\int 1 \, dx,x,\frac {1}{x}\right )}{x}-\frac {\sqrt {x^2} \text {Subst}\left (\int \frac {\arccos (x)}{x \sqrt {1-x^2}} \, dx,x,\frac {1}{x}\right )}{x} \\ & = -\frac {1}{\sqrt {x^2}}-\frac {\sqrt {1-\frac {1}{x^2}} \sqrt {x^2} \sec ^{-1}(x)}{x}+\frac {\sqrt {x^2} \text {Subst}\left (\int x \sec (x) \, dx,x,\sec ^{-1}(x)\right )}{x} \\ & = -\frac {1}{\sqrt {x^2}}-\frac {\sqrt {1-\frac {1}{x^2}} \sqrt {x^2} \sec ^{-1}(x)}{x}-\frac {2 i \sqrt {x^2} \sec ^{-1}(x) \arctan \left (e^{i \sec ^{-1}(x)}\right )}{x}-\frac {\sqrt {x^2} \text {Subst}\left (\int \log \left (1-i e^{i x}\right ) \, dx,x,\sec ^{-1}(x)\right )}{x}+\frac {\sqrt {x^2} \text {Subst}\left (\int \log \left (1+i e^{i x}\right ) \, dx,x,\sec ^{-1}(x)\right )}{x} \\ & = -\frac {1}{\sqrt {x^2}}-\frac {\sqrt {1-\frac {1}{x^2}} \sqrt {x^2} \sec ^{-1}(x)}{x}-\frac {2 i \sqrt {x^2} \sec ^{-1}(x) \arctan \left (e^{i \sec ^{-1}(x)}\right )}{x}+\frac {\left (i \sqrt {x^2}\right ) \text {Subst}\left (\int \frac {\log (1-i x)}{x} \, dx,x,e^{i \sec ^{-1}(x)}\right )}{x}-\frac {\left (i \sqrt {x^2}\right ) \text {Subst}\left (\int \frac {\log (1+i x)}{x} \, dx,x,e^{i \sec ^{-1}(x)}\right )}{x} \\ & = -\frac {1}{\sqrt {x^2}}-\frac {\sqrt {1-\frac {1}{x^2}} \sqrt {x^2} \sec ^{-1}(x)}{x}-\frac {2 i \sqrt {x^2} \sec ^{-1}(x) \arctan \left (e^{i \sec ^{-1}(x)}\right )}{x}+\frac {i \sqrt {x^2} \operatorname {PolyLog}\left (2,-i e^{i \sec ^{-1}(x)}\right )}{x}-\frac {i \sqrt {x^2} \operatorname {PolyLog}\left (2,i e^{i \sec ^{-1}(x)}\right )}{x} \\ \end{align*}
Time = 0.16 (sec) , antiderivative size = 116, normalized size of antiderivative = 1.08 \[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=-\frac {\sqrt {1-\frac {1}{x^2}} \left (1+\sqrt {1-\frac {1}{x^2}} x \sec ^{-1}(x)-x \sec ^{-1}(x) \log \left (1-i e^{i \sec ^{-1}(x)}\right )+x \sec ^{-1}(x) \log \left (1+i e^{i \sec ^{-1}(x)}\right )-i x \operatorname {PolyLog}\left (2,-i e^{i \sec ^{-1}(x)}\right )+i x \operatorname {PolyLog}\left (2,i e^{i \sec ^{-1}(x)}\right )\right )}{\sqrt {-1+x^2}} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 0.66 (sec) , antiderivative size = 194, normalized size of antiderivative = 1.81
method | result | size |
default | \(-\frac {\left (\sqrt {\frac {x^{2}-1}{x^{2}}}\, x -i\right ) \operatorname {csgn}\left (x \sqrt {1-\frac {1}{x^{2}}}\right ) \left (\operatorname {arcsec}\left (x \right )+i\right )}{2 x}-\frac {\left (\sqrt {\frac {x^{2}-1}{x^{2}}}\, x +i\right ) \operatorname {csgn}\left (x \sqrt {1-\frac {1}{x^{2}}}\right ) \left (\operatorname {arcsec}\left (x \right )-i\right )}{2 x}-\operatorname {csgn}\left (x \sqrt {1-\frac {1}{x^{2}}}\right ) \left (\operatorname {arcsec}\left (x \right ) \ln \left (1+i \left (\frac {1}{x}+i \sqrt {1-\frac {1}{x^{2}}}\right )\right )-\operatorname {arcsec}\left (x \right ) \ln \left (1-i \left (\frac {1}{x}+i \sqrt {1-\frac {1}{x^{2}}}\right )\right )-i \operatorname {dilog}\left (1+i \left (\frac {1}{x}+i \sqrt {1-\frac {1}{x^{2}}}\right )\right )+i \operatorname {dilog}\left (1-i \left (\frac {1}{x}+i \sqrt {1-\frac {1}{x^{2}}}\right )\right )\right )\) | \(194\) |
[In]
[Out]
\[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=\int { \frac {\sqrt {x^{2} - 1} \operatorname {arcsec}\left (x\right )}{x^{2}} \,d x } \]
[In]
[Out]
\[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=\int \frac {\sqrt {\left (x - 1\right ) \left (x + 1\right )} \operatorname {asec}{\left (x \right )}}{x^{2}}\, dx \]
[In]
[Out]
\[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=\int { \frac {\sqrt {x^{2} - 1} \operatorname {arcsec}\left (x\right )}{x^{2}} \,d x } \]
[In]
[Out]
\[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=\int { \frac {\sqrt {x^{2} - 1} \operatorname {arcsec}\left (x\right )}{x^{2}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x^2} \, dx=\int \frac {\mathrm {acos}\left (\frac {1}{x}\right )\,\sqrt {x^2-1}}{x^2} \,d x \]
[In]
[Out]