(arctanX)^2的原函数是多少