Restricting the Domain of a implicit function in GeoGebra: x cos(x y) = 4 - y