plus x 0 x plus x s y s plus x y times x 0 0 times x s y plus x times x y power x 0 s 0 power x s y times x power x y plus 2 AC 0 0 s 1 times 2 AC power 2 FULL ./TRS/AProVE_AC/AC03.trs