f 0 1 x f x x x f x y z 2 0 2 1 2 g x x y y g x y y x f 3 0 0 1 0 2 0 g 3 INNERMOST ./TRS/AG01/#4.13.trs