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