y^y=x