那个函数的导数是sin^2(x/2)?