integrate tan^(-1)(x)