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