[ cos(x/2) ]^2 の微分は -(1/2)*sin(x/2)*[cos(x/2)]^2