sqrt(6+5*x)=x over the reals