integrate sin^3x cos x