C3, S3, C6, S6, C5, S5, C4, S4, C23, S23, C1, S1, E43, E42, E41, E33, E32, E31, E23, E22, E21, E13, E12, E11, D5, D4, D23, D1, A5, A4, A3, A2, A1, 
-C1*C23*E11-C23*E12*S1+C4*C5*C6-E13*S23+S4*S6
C4*C5*C6+C1*E12-C4*S6-E11*S1
-C1*E11*S23-E12*S1*S23+C23*E13+C6*S5
-C1*C23*E21-C23*E22*S1-C4*C5*S6+C6*S4-E23*S23
-C4*C5*S6+C1*E22-C4*C6-E21*S1
-C1*E21*S23-E22*S1*S23+C23*E23-S5*S6
-C1*C23*E31-C23*E32*S1+C4*S5-E33*S23
C1*E32-E31*S1+S4*S5
-C1*E31*S23-E32*S1*S23+C23*E33-C5
A5*C4*C5-C1*C23*E41-C23*E42*S1+A1*C23+A2*C3+A4*C4+D1*S23+D5*S4-E43*S23+A3
A5*C5*S4+A4*S4+C1*E42-C4*D5-E41*S1+D23
-C1*E41*S23-E42*S1*S23+A1*S23+A2*S3+A5*S5-C23*D1+C23*E43+D4
C1^2+S1^2-1
C23^2+S23^2-1
C4^2+S4^2-1
C5^2+S5^2-1
C6^2+S6^2-1
C3^2+S3^2-1
