y = ln(cosx),求微分dy