domain sqrt(x^2y-(y-1)^2(x-1))