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