b3, b2, b1, a21, a32, a31, c2, c3, 
c2-a21
c3-a31-a32
b1+b2+b3-1
2*b2*c2+2*b3*c3-1
3*b2*c2^2+3*b3*c3^2-1
6*a32*b3*c2-1
