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