x^x = y, 2x = y