设y=ln(cosx)，则微分dy等于()。