plus x 0 x plus x s y s plus x y times x 0 0 times x s y plus times x y x times x plus y z plus times x y times x z plus 2 AC 0 0 s 1 times 2 AC FULL ./TRS/AProVE_AC/AC14.trs