x^2-5x+(x^2-5x+3)^(1/2)=9