a, b, c_1, c_2, s_1, s_2, 
c_1*c_2-s_1*s_2-a+c_1
c_1*s_2+c_2*s_1-b+s_1
c_1^2+s_1^2-1
c_2^2+s_2^2-1
