How do you verify cos (pi/2 -x) cos x = cos x?