Solve 2sin x = 1 on [0, 2pi)