Integrand size = 38, antiderivative size = 98 \[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=-\frac {a \log \left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{c}+\frac {i b \operatorname {PolyLog}\left (2,-\frac {i \sqrt {1+c x}}{\sqrt {1-c x}}\right )}{2 c}-\frac {i b \operatorname {PolyLog}\left (2,\frac {i \sqrt {1+c x}}{\sqrt {1-c x}}\right )}{2 c} \]
[Out]
Time = 0.05 (sec) , antiderivative size = 98, 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.105, Rules used = {212, 6813, 4941, 2438} \[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=-\frac {a \log \left (\frac {\sqrt {1-c x}}{\sqrt {c x+1}}\right )}{c}+\frac {i b \operatorname {PolyLog}\left (2,-\frac {i \sqrt {c x+1}}{\sqrt {1-c x}}\right )}{2 c}-\frac {i b \operatorname {PolyLog}\left (2,\frac {i \sqrt {c x+1}}{\sqrt {1-c x}}\right )}{2 c} \]
[In]
[Out]
Rule 212
Rule 2438
Rule 4941
Rule 6813
Rubi steps \begin{align*} \text {integral}& = -\frac {\text {Subst}\left (\int \frac {a+b \cot ^{-1}(x)}{x} \, dx,x,\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{c} \\ & = -\frac {a \log \left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{c}-\frac {(i b) \text {Subst}\left (\int \frac {\log \left (1-\frac {i}{x}\right )}{x} \, dx,x,\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{2 c}+\frac {(i b) \text {Subst}\left (\int \frac {\log \left (1+\frac {i}{x}\right )}{x} \, dx,x,\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{2 c} \\ & = -\frac {a \log \left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{c}+\frac {i b \operatorname {PolyLog}\left (2,-\frac {i \sqrt {1+c x}}{\sqrt {1-c x}}\right )}{2 c}-\frac {i b \operatorname {PolyLog}\left (2,\frac {i \sqrt {1+c x}}{\sqrt {1-c x}}\right )}{2 c} \\ \end{align*}
Time = 0.03 (sec) , antiderivative size = 93, normalized size of antiderivative = 0.95 \[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=-\frac {a \log \left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )-\frac {1}{2} i b \operatorname {PolyLog}\left (2,-\frac {i \sqrt {1+c x}}{\sqrt {1-c x}}\right )+\frac {1}{2} i b \operatorname {PolyLog}\left (2,\frac {i \sqrt {1+c x}}{\sqrt {1-c x}}\right )}{c} \]
[In]
[Out]
Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 362 vs. \(2 (78 ) = 156\).
Time = 0.43 (sec) , antiderivative size = 363, normalized size of antiderivative = 3.70
method | result | size |
default | \(-\frac {a \ln \left (c x -1\right )}{2 c}+\frac {a \ln \left (c x +1\right )}{2 c}-b \left (-\frac {\operatorname {arccot}\left (\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right ) \ln \left (1-\frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}+\frac {i \operatorname {polylog}\left (2, \frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}+\frac {\operatorname {arccot}\left (\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right ) \ln \left (1+\frac {\left (i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right )^{2}}{\frac {-c x +1}{c x +1}+1}\right )}{c}-\frac {i \operatorname {polylog}\left (2, -\frac {\left (i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right )^{2}}{\frac {-c x +1}{c x +1}+1}\right )}{2 c}-\frac {\operatorname {arccot}\left (\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right ) \ln \left (1+\frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}+\frac {i \operatorname {polylog}\left (2, -\frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}\right )\) | \(363\) |
parts | \(-\frac {a \ln \left (c x -1\right )}{2 c}+\frac {a \ln \left (c x +1\right )}{2 c}-b \left (-\frac {\operatorname {arccot}\left (\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right ) \ln \left (1-\frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}+\frac {i \operatorname {polylog}\left (2, \frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}+\frac {\operatorname {arccot}\left (\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right ) \ln \left (1+\frac {\left (i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right )^{2}}{\frac {-c x +1}{c x +1}+1}\right )}{c}-\frac {i \operatorname {polylog}\left (2, -\frac {\left (i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right )^{2}}{\frac {-c x +1}{c x +1}+1}\right )}{2 c}-\frac {\operatorname {arccot}\left (\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}\right ) \ln \left (1+\frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}+\frac {i \operatorname {polylog}\left (2, -\frac {i+\frac {\sqrt {-c x +1}}{\sqrt {c x +1}}}{\sqrt {\frac {-c x +1}{c x +1}+1}}\right )}{c}\right )\) | \(363\) |
[In]
[Out]
\[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=\int { -\frac {b \operatorname {arccot}\left (\frac {\sqrt {-c x + 1}}{\sqrt {c x + 1}}\right ) + a}{c^{2} x^{2} - 1} \,d x } \]
[In]
[Out]
\[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=- \int \frac {a}{c^{2} x^{2} - 1}\, dx - \int \frac {b \operatorname {acot}{\left (\frac {\sqrt {- c x + 1}}{\sqrt {c x + 1}} \right )}}{c^{2} x^{2} - 1}\, dx \]
[In]
[Out]
\[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=\int { -\frac {b \operatorname {arccot}\left (\frac {\sqrt {-c x + 1}}{\sqrt {c x + 1}}\right ) + a}{c^{2} x^{2} - 1} \,d x } \]
[In]
[Out]
\[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=\int { -\frac {b \operatorname {arccot}\left (\frac {\sqrt {-c x + 1}}{\sqrt {c x + 1}}\right ) + a}{c^{2} x^{2} - 1} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {a+b \cot ^{-1}\left (\frac {\sqrt {1-c x}}{\sqrt {1+c x}}\right )}{1-c^2 x^2} \, dx=\int -\frac {a+b\,\mathrm {acot}\left (\frac {\sqrt {1-c\,x}}{\sqrt {c\,x+1}}\right )}{c^2\,x^2-1} \,d x \]
[In]
[Out]