integral (arctanx)^2