f(g(y,g(a,g(a,x))),f(y,g(a,x))) = f(a,x)
g(y,a) = g(y,g(g(f(a,x),f(a,a)),f(a,g(a,y))))
a = g(f(y,g(g(a,x),g(y,a))),g(a,g(f(a,y),a)))