What's the integral of #int (tanx/secx) dx#?