How do you evaluate cos(30)?