那个函数的导数等于cos x的平方?