sin(x/2)乘cos(x/2) 求导