times x plus y 1 plus times x plus y times 1 0 x times x 1 x plus x 0 x times x 0 0 2.2 times x plus y 1 times x plus y times 1 0 times x plus y 1 plus y times 1 0 times x plus y 1 plus times x plus y times 1 0 x times x plus y 1 times 1 0 true times x plus y 1 times x plus y times 1 0 true 1 0 3 plus 2 0 1 2 times 2 0 2 0 0 0 times 2 2 2 plus 2 1 2 1 1 0 8367 plus 2 1 1 2 1 0 times 2 2 0 0 0 0 times 2 1 2 0 plus 2 1 0 2 8366 0 times x 0 0 times x plus y 1 plus times x plus y times 1 0 x plus x 0 x times x 1 x times x plus y 1 plus times x plus y times 1 0 x false times x plus y 1 plus y times 1 0 false times x plus y 1 times 1 0 false NaTT certifiable-1.6