* X + Y 1 + * X + Y * 1 0 X * X 1 X * X 0 X * X 0 0 * 2 + 2 1 0 0 0 INNERMOST ./TRS/Rubio-inn/muladd.trs