How do you find the antiderivative of #secx / (1+tan^2x)#?