minus x 0 x minus s x s y minus x y f 0 s 0 f s x minus s x g f x g 0 0 g s x minus s x f g x minus 2 0 0 s 1 f 1 g 1 FULL ./TRS/AG01/#3.36.trs