D t 1 D constant 0 D + x y + D x D y D * x y + * y D x * x D y D - x y - D x D y 2.2 D - x y D y D * x y D y D * x y D x D + x y D x D - x y D x D + x y D y true D + x y D y D - x y D x D + x y D x D * x y D y D * x y D x D - x y D y true 1 0 0 constant 0 0 t 0 0 D 1 0 0 0 0 D 1 1 0 - 2 1 2 1 + 2 1 2 1 * 2 1 2 1 NaTT certifiable-1.6