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