ftan^2xdx,其中sec^x-1是怎么出来的