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