x-sin(x/2)cos(x/2)的导数