\sin(\frac{\pi}{3}-x)=t