∫1/(1+x^2)*arctanxdx=?