What is the integral of cos^3 x dx ÷ sin^4 x ?