solve Sin[x] + 2 Cos[x] = 1