Sin[Pi - x] - Cos[Pi/2 + x] == Sqrt[3]