Integrand size = 12, antiderivative size = 35 \[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=-\frac {1}{4} i \operatorname {PolyLog}\left (2,-\frac {i}{1+x}\right )+\frac {1}{4} i \operatorname {PolyLog}\left (2,\frac {i}{1+x}\right ) \]
[Out]
Time = 0.03 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {5152, 12, 4941, 2438} \[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=\frac {1}{4} i \operatorname {PolyLog}\left (2,\frac {i}{x+1}\right )-\frac {1}{4} i \operatorname {PolyLog}\left (2,-\frac {i}{x+1}\right ) \]
[In]
[Out]
Rule 12
Rule 2438
Rule 4941
Rule 5152
Rubi steps \begin{align*} \text {integral}& = \text {Subst}\left (\int \frac {\cot ^{-1}(x)}{2 x} \, dx,x,1+x\right ) \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {\cot ^{-1}(x)}{x} \, dx,x,1+x\right ) \\ & = \frac {1}{4} i \text {Subst}\left (\int \frac {\log \left (1-\frac {i}{x}\right )}{x} \, dx,x,1+x\right )-\frac {1}{4} i \text {Subst}\left (\int \frac {\log \left (1+\frac {i}{x}\right )}{x} \, dx,x,1+x\right ) \\ & = -\frac {1}{4} i \operatorname {PolyLog}\left (2,-\frac {i}{1+x}\right )+\frac {1}{4} i \operatorname {PolyLog}\left (2,\frac {i}{1+x}\right ) \\ \end{align*}
Time = 0.01 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.00 \[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=-\frac {1}{4} i \operatorname {PolyLog}\left (2,-\frac {i}{1+x}\right )+\frac {1}{4} i \operatorname {PolyLog}\left (2,\frac {i}{1+x}\right ) \]
[In]
[Out]
Time = 0.56 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.06
method | result | size |
risch | \(\frac {i \operatorname {dilog}\left (-i x -i+1\right )}{4}+\frac {\pi \ln \left (-i x -i\right )}{4}-\frac {i \operatorname {dilog}\left (i x +i+1\right )}{4}\) | \(37\) |
derivativedivides | \(\frac {\ln \left (1+x \right ) \operatorname {arccot}\left (1+x \right )}{2}-\frac {i \ln \left (1+x \right ) \ln \left (1+i \left (1+x \right )\right )}{4}+\frac {i \ln \left (1+x \right ) \ln \left (1-i \left (1+x \right )\right )}{4}-\frac {i \operatorname {dilog}\left (1+i \left (1+x \right )\right )}{4}+\frac {i \operatorname {dilog}\left (1-i \left (1+x \right )\right )}{4}\) | \(68\) |
default | \(\frac {\ln \left (1+x \right ) \operatorname {arccot}\left (1+x \right )}{2}-\frac {i \ln \left (1+x \right ) \ln \left (1+i \left (1+x \right )\right )}{4}+\frac {i \ln \left (1+x \right ) \ln \left (1-i \left (1+x \right )\right )}{4}-\frac {i \operatorname {dilog}\left (1+i \left (1+x \right )\right )}{4}+\frac {i \operatorname {dilog}\left (1-i \left (1+x \right )\right )}{4}\) | \(68\) |
parts | \(\frac {\ln \left (1+x \right ) \operatorname {arccot}\left (1+x \right )}{2}-\frac {i \ln \left (1+x \right ) \ln \left (1+i \left (1+x \right )\right )}{4}+\frac {i \ln \left (1+x \right ) \ln \left (1-i \left (1+x \right )\right )}{4}-\frac {i \operatorname {dilog}\left (1+i \left (1+x \right )\right )}{4}+\frac {i \operatorname {dilog}\left (1-i \left (1+x \right )\right )}{4}\) | \(68\) |
[In]
[Out]
\[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=\int { \frac {\operatorname {arccot}\left (x + 1\right )}{2 \, {\left (x + 1\right )}} \,d x } \]
[In]
[Out]
\[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=\frac {\int \frac {\operatorname {acot}{\left (x + 1 \right )}}{x + 1}\, dx}{2} \]
[In]
[Out]
Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 64 vs. \(2 (21) = 42\).
Time = 0.32 (sec) , antiderivative size = 64, normalized size of antiderivative = 1.83 \[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=\frac {1}{4} \, \arctan \left (x + 1, 0\right ) \log \left (x^{2} + 2 \, x + 2\right ) + \frac {1}{2} \, \operatorname {arccot}\left (x + 1\right ) \log \left (x + 1\right ) + \frac {1}{2} \, \arctan \left (x + 1\right ) \log \left (x + 1\right ) - \frac {1}{2} \, \arctan \left (x + 1\right ) \log \left ({\left | x + 1 \right |}\right ) + \frac {1}{4} i \, {\rm Li}_2\left (i \, x + i + 1\right ) - \frac {1}{4} i \, {\rm Li}_2\left (-i \, x - i + 1\right ) \]
[In]
[Out]
none
Time = 0.30 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.74 \[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=-\frac {1}{4} \, {\left (x + 1\right )}^{2} \arctan \left (\frac {1}{x + 1}\right ) - \frac {1}{4} \, x - \frac {1}{4} \, \arctan \left (\frac {1}{x + 1}\right ) - \frac {1}{4} \]
[In]
[Out]
Timed out. \[ \int \frac {\cot ^{-1}(1+x)}{2+2 x} \, dx=\int \frac {\mathrm {acot}\left (x+1\right )}{2\,x+2} \,d x \]
[In]
[Out]