令arctanx=t
tant=x
dx=sec^2tdt
所以|sec^2tdt/t=|d(tant)/t
分布积分
t*tant-|sec^2tdt
t*tant-|d(tant)
t*tant-(1/2)tan^2t+C