\frac{\sin 5x}{2}-\frac{\sqrt{3}}{2} \cos 5x = \frac{\sqrt{3}}{2}