Maxima of bivariate function [1] Is there an easy way to formally prove that,
$$
2xy^{2} +2x^{2} y-2x^{2} y^{2} -4xy+x+y\ge -x^{4} -y^{4} +2x^{3} +2y^{3} -2x^{2} -2y^{2} +x+y$$
$${0<x,y<1}$$
without resorting to checking partial derivatives of the quotient formed by the two sides, and finding local maxima?
[2] Similarly, is there an easy way for finding $$\max_{0<x,y<1} [f(x,y)]$$
where,
$$f(x,y)=2x(1+x)+2y(1+y)-8xy-4(2xy^{2} +2x^{2} y-2x^{2} y^{2} -4xy+x+y)^{2}$$

Certainly, there is no need for taking the quotient, since $a \ge b \Leftrightarrow \min \{a-b\} \ge 0$.
Here's a cool trick called the S.O.S. (sum of squares) method. The idea is to try and factor out $(x-y)^2$:
$$\begin{align}
LHS-RHS &=(x^4+y^4-2x^2y^2)-2(x^3+y^3-x^2y-xy^2)+2(x^2+y^2-2xy)\\
        &=(x^2-y^2)^2-2(x^2-y^2)(x-y)+2(x-y)^2\\
        &=(x-y)^2(x+y)^2-2(x-y)^2(x+y)+2(x-y)^2\\
        &=(x-y)^2((x+y)^2-2(x+y)+2)\\
        &=(x-y)^2((x+y-1)^2+1)\\
        &\ge 0
\end{align}$$
Note that this holds for all $x, y \in \mathbb R$.
