f 0 1 x f g x g x x f g x y z g f x y z f x g y z g f x y z f x y g z g f x y z f 3 0 0 1 0 g 1 FULL ./TRS/Zantema/z27.trs