How do you evaluate #sin((23pi)/6) #?