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