c1, c2, c3, s1, s2, s3, t2, t3, u2, u3, 
2*c3+2*c2+2*c1-1
2*c1*s2+2*c1*s3-2*c2*s1+2*c2*s3-2*c3*s1-2*c3*s2+s1+s2+s3
290*t3+290*t2-111
290*t2*u3-290*t3*u2+288*t2+288*t3+179*u2+179*u3-144
-290*c1*u2-290*c1*u3+290*c2*u2-290*c2*u3+290*c3*u2+290*c3*u3+290*s1*t2+290*s1*t3-290*s2*t2+290*s2*t3-290*s3*t2-290*s3*t3-288*c1-288*c2-288*c3-179*s1-179*s2-179*s3-145*u2-145*u3+144
-41283513945600*u3^3-166441324247080*u3^2+465364045970840*t2-5422115944512*u3+253071017855153
1423569446400*u3^3+5739356008520*u3^2+16047036067960*t3+186969515328*u3-14868728214121
-405312268834652600*u3^3+349337513588579520*u3^2+335411136133482930*u2-388644252826276707*u3-74982893283173592
3489140800*u3^4-4482908160*u3^3+5477718576*u3^2+451685376*u3-2326572351
c1^2+s1^2-1
c2^2+s2^2-1
c3^2+s3^2-1
t2^2+u2^2-1
t3^2+u3^2-1
