Y, c12, c13, c23, d12, d13, d23, s12, s13, s23, t12, t13, t23, 
c12*t12-s12
c13*t13-s13
c23*t23-s23
c12^2+s12^2-1
c13^2+s13^2-1
c23^2+s23^2-1
-2*c12*d13*d23-d12^2+d13^2+d23^2
-2*c13*d12*d23+d12^2-d13^2+d23^2
-2*c23*d12*d13+d12^2+d13^2-d23^2
Y*d12*d13*d23-1
