minus minus x x minus + x y * minus minus minus x minus minus minus y minus * x y + minus minus minus x minus minus minus y f minus x minus minus minus f x 2.2 minus + x y minus minus x minus + x y minus y f minus x minus minus minus f x minus * x y minus x minus * x y minus minus y minus * x y minus y f minus x minus minus f x minus * x y minus minus minus x minus * x y minus minus minus y minus + x y minus minus y f minus x f x minus + x y minus x minus + x y minus minus minus x minus * x y minus minus x f minus x minus f x minus + x y minus minus minus y true f minus x f x true minus 1 1 1 f 1 0 f 1 1 0 minus 1 0 + 2 0 * 2 0 f minus x minus minus f x false f minus x minus f x false f minus x minus minus minus f x false minus + x y minus minus minus y minus * x y minus y minus * x y minus minus x minus + x y minus minus minus x minus + x y minus x minus * x y minus minus y minus * x y minus x minus + x y minus y minus + x y minus minus y minus * x y minus minus minus y minus * x y minus minus minus x minus + x y minus minus x true minus 1 1 0 f 1 0 f 1 0 minus 1 1 0 + 2 1 2 21239 * 2 1 2 21239 minus minus x x minus * x y + minus minus minus x minus minus minus y minus + x y * minus minus minus x minus minus minus y NaTT certifiable-1.6