+ 0 x x + s x s y s s + x y * 0 x 0 * s x s y s + + x y * x y U empty b b sum empty 0 sum singl x x sum U x y + sum x sum y prod empty s 0 prod singl x x prod U x y * prod x prod y + 2 AC 0 0 s 1 * 2 AC U 2 AC empty 0 sum 1 singl 1 prod 1 FULL ./TRS/CimeAC/bag-sum-prod.trs