f x x g x x f x g x g x f x f 1 g 1 FULL ./TRS/relative/rt1-2.trs