* x + y z + * x y * x z * + x y z + * x z * y z * x 1 x * 1 y y 2.2 * + x y z * y z * x + y z * x y * + x y z * x z * x + y z * x z true * x + y z * x z * + x y z * x z * x + y z * x y * + x y z * y z true 1 0 0 * 2 2 0 + 2 1 2 1 * 2 0 * + x y z * y z * + x y z * x z * + x y z * y z * + x y z * x z true 1 0 0 * 2 1 0 + 2 1 2 1 * 2 0 NaTT certifiable-1.6