y=cos³x/2的导数