How do you find the antiderivative of #int sinx/cos^3x dx#?