How do you evaluate #cos((17pi)/6) #?