Integrand size = 15, antiderivative size = 23 \[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\frac {1}{\sqrt {x^2}}+\frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x} \]
[Out]
Time = 0.04 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {270, 5346, 30} \[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\frac {1}{\sqrt {x^2}}+\frac {\sqrt {x^2-1} \sec ^{-1}(x)}{x} \]
[In]
[Out]
Rule 30
Rule 270
Rule 5346
Rubi steps \begin{align*} \text {integral}& = \frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x}-\frac {x \int \frac {1}{x^2} \, dx}{\sqrt {x^2}} \\ & = \frac {1}{\sqrt {x^2}}+\frac {\sqrt {-1+x^2} \sec ^{-1}(x)}{x} \\ \end{align*}
Time = 0.03 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.52 \[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\frac {\sqrt {1-\frac {1}{x^2}} x+\left (-1+x^2\right ) \sec ^{-1}(x)}{x \sqrt {-1+x^2}} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.35 (sec) , antiderivative size = 56, normalized size of antiderivative = 2.43
method | result | size |
default | \(\frac {\operatorname {csgn}\left (x \sqrt {1-\frac {1}{x^{2}}}\right ) \sqrt {\frac {x^{2}-1}{x^{2}}}\, \left (\operatorname {arcsec}\left (x \right ) x^{2}-\operatorname {arcsec}\left (x \right )+\sqrt {\frac {x^{2}-1}{x^{2}}}\, x \right )}{x^{2}-1}\) | \(56\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.70 \[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\frac {\sqrt {x^{2} - 1} \operatorname {arcsec}\left (x\right ) + 1}{x} \]
[In]
[Out]
\[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\int \frac {\operatorname {asec}{\left (x \right )}}{x^{2} \sqrt {\left (x - 1\right ) \left (x + 1\right )}}\, dx \]
[In]
[Out]
none
Time = 0.30 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\frac {\sqrt {x^{2} - 1} \operatorname {arcsec}\left (x\right )}{x} + \frac {1}{x} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 50 vs. \(2 (19) = 38\).
Time = 0.32 (sec) , antiderivative size = 50, normalized size of antiderivative = 2.17 \[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\frac {2 \, \arccos \left (\frac {1}{x}\right )}{{\left (x - \sqrt {x^{2} - 1}\right )}^{2} + 1} - \frac {2 \, \arctan \left (-x + \sqrt {x^{2} - 1}\right )}{\mathrm {sgn}\left (x\right )} + \frac {1}{x \mathrm {sgn}\left (x\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {\sec ^{-1}(x)}{x^2 \sqrt {-1+x^2}} \, dx=\int \frac {\mathrm {acos}\left (\frac {1}{x}\right )}{x^2\,\sqrt {x^2-1}} \,d x \]
[In]
[Out]