How do you evaluate #cos(-pi/3) #?