How do you evaluate cos(7/6 pi)?