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 D minus x minus D x D div x y - div D x y div * x D y pow y 2 D ln x div D x x D pow x y + * * y pow x - y 1 D x * * pow x y ln x D y 2.2 D pow x y D x D - x y D x D + x y D y D * x y D x D * x y D y D - x y D y D ln x D x D div x y D y D pow x y D y D minus x D x D + x y D x D div x y D x true D div x y D x D * x y D y D + x y D x D minus x D x D pow x y D y D * x y D x D + x y D y D - x y D x D div x y D y D ln x D x D - x y D y D pow x y D x true 1 0 0 ln 1 1 1 constant 0 0 minus 1 1 1 pow 2 1 2 1 t 0 0 div 2 1 2 1 D 1 0 0 0 0 D 1 1 0 - 2 1 2 1 2 0 0 + 2 1 2 1 * 2 1 2 1 NaTT certifiable-1.6