H(y\cdot x,y,x) = add(I^3_1(y\cdot x,y,x),I^3_3(y\cdot x,y,x)) = y\cdot x + x = mult(y+1,x)