求不定积分∫(arctan(1/x)/(1+x^2))dx