a^{a1}_{c0,a0} b^{c0,a2}_{} a+(a0) a-(a2) a-(a1)
+a^{a0}_{c0,a1} b^{c0,a2}_{} gamma1^{a1}_{a2} a-(a0)
-a^{a0}_{c0,a1} b^{c1,a2}_{} gamma1^{a1}_{a2} a+(c0) a-(a0) a-(c1)