xtan^2x的原函数