How do you implicitly differentiate #-y=y-sqrt(x^3y-y) #?