(1-cosx)/sinx-log(1+cosx)  微分