arctanx平方的积分