求不定积分arctan(1/x)/(1+x2)dx