x + x + 1