导函数是COS(x/2)的平方的原函数