int_0^1 [(n+1)x^n + (n-1)x^(n-2)] arctan(x)