* x * minus y y * minus * y y x 2.2 * x * minus y y * y y * x * minus y y * minus * y y x true * x * minus y y * minus * y y x * x * minus y y * y y true minus 1 1 20163 * 2 1 2 0 * 2 1 2 0 * x * minus y y * minus * y y x * x * minus y y * minus * y y x * x * minus y y * minus * y y x true minus 1 1 * 2 1 2 0 * 2 2 2 NaTT certifiable-1.6