f(f(x,x),f(x,y)) = x.
f(f(x,x),f(y,x)) = x.
f(f(x,y),f(x,x)) = x.
f(f(y,x),f(x,x)) = x.