sqrt(1/(15−4*x))=1/5 over the reals