\cos{\pi\over 3}\sin x+\sin{\pi\over 3}\cos x={1\over 2}