domain of x^2-arcsin(y)=pi/2