\sin \left( \frac{\pi}{3} - x \right) = 1