sqrt((2*x+5)/3)=5 over the reals