minus minus x x minus + x y * minus minus minus x minus minus minus y minus * x y + minus minus minus x minus minus minus y f minus x minus minus minus f x minus 1 + 2 * 2 f 1 FULL ./TRS/HM/t012.trs