log|sinx|-(1/2)log(1+sin²x) 微分