$$\sin (x+30)= \frac{ \sqrt{ 3 } }{ 2 }$$
x=sequence(2*PI*n+PI/3-30,in(n,Z)),sequence(2*PI*n+(2*PI)/3-30,in(n,Z))