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