Xy^2+y+x^2y+x+4xy+4=

Сгруппируем попарно рядом стоящие члены уравнения:
(Xy^2+y)+(x^2y+x)+(4xy+4)
Выносим общие множители каждой из пар за скобки:
Y(xy+1)+x(xy+1)+4(xy+1)
После упрощения образовался еще один общий множитель (xy+1), его так же выносим за скобку. Оставшиеся члены уравнения группируем.
Ответ:(xy+1)(y+x+1)