How do you evaluate cos((-5pi)/4)?