1/2logtanx+logcosx 微分してください