Ix1(a,b)(apB(a,b))1a+b1a+1(apB(a,b))2a+(b1)(a2+3baa+5b4)2(a+1)2(a+2)(apB(a,b))3a