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