What is the integral of #int secx/tan^2x dx#?