How do you evaluate cos (pi/2) cos(pi/7) + sin(pi/2) sin(pi/7)?