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