x*y'=y+4x