Solve the system:
{log2(x+1y)=2y−x√xy+y+2+√y2+x+2=4y
Note, Max, that by inspection, at least one real solution is {x,y} = {1, 1}