$$\sin 30+ \cos x=1$$
x=sequence(2*PI*n+arccos(1-sin(30)),in(n,Z)),sequence(2*PI*n+2*PI-arccos(1-sin(30)),in(n,Z))