(arctanx)^2积分是怎么算出来的