sqrt(2)=1/sqrt(2)-x-sqrt(5)