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