f g f x f g g g f x g x g g x f 1 g 1 FULL ./TRS/relative/rt2-7.trs