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