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