How do you evaluate cos(135)?