How do you simplify #cos(-x) cos x-sin(-x) sin x#?