/// 2 2*log(1 - atan(x))\ \ /// 2 2*log(1 - atan(x))\ \
|||- ------- - ------------------|*atan(x) | |||- ------------------ + ------------------|*atan(x) |
||| atan(x) 2 | | ||| 2 2 | |
||\ atan (x) / | ||\ atan (x) - atan(x) atan (x) / |
||---------------------------------------- for And(x >= -tan(1), x < tan(1))| ||--------------------------------------------------- for |atan(x)| < 1|
|| 2 | || 2 |
|| | || |
|| oo | || oo |
- |< ____ | + |< ____ |
|| \ ` | || \ ` |
|| \ n | || \ n |
|| \ atan (x) | || \ n*atan (x) |
|| / -------- otherwise | || / ---------- otherwise |
|| / 1 + n | || / 1 + n |
|| /___, | || /___, |
|| n = 1 | || n = 1 |
\\ / \\ /
-Piecewise(((-2/atan(x) - 2*log(1 - atan(x))/atan(x)^2)*atan(x)/2, (x < tan(1))∧(x >= -tan(1))), (Sum(atan(x)^n/(1 + n), (n, 1, oo)), True)) + Piecewise(((-2/(atan(x)^2 - atan(x)) + 2*log(1 - atan(x))/atan(x)^2)*atan(x)/2, Abs(atan(x)) < 1), (Sum(n*atan(x)^n/(1 + n), (n, 1, oo)), True))