x/2 -（1/2)log(sin(x)+cos(x)) + Cを微分しても元に戻らないんですけど？