求定积分从负三到三arctanx除以(1+x的平方)的平方