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 2.2 g s x minus s x f g x f s x g f x f s x f x f s x minus s x g f x g s x f g x minus s x s y minus x y g s x g x true g s x g x g s x f g x f s x g f x f s x f x true s 1 1 23092 minus 2 1 0 f 1 1 25529 0 0 1 f 1 1 2438 g 1 1 0 minus 2 0 g 1 1 20653 f s x minus s x g f x minus x 0 x f 0 s 0 g 0 0 g s x minus s x f g x minus s x s y minus x y f s x minus s x g f x false g s x minus s x f g x false minus s x s y minus x y true s 1 1 1 minus 2 1 0 f 1 1 1 0 0 1 f 1 1 2438 g 1 1 0 minus 2 2 0 g 1 1 36466 f s x minus s x g f x minus x 0 x f 0 s 0 g 0 0 g s x minus s x f g x minus s x s y minus x y NaTT certifiable-1.6