integrate sin^3 x cos x dx