f(f(g(f(x,y)),y),g(f(g(f(x,f(y,z))),y))) = z.
g(f(f(f(x,x),y),f(g(f(x,y)),g(f(z,x))))) = z.
f(f(f(x,x),y),f(g(f(x,y)),g(f(g(z),x)))) = z.
g(f(f(g(f(x,y)),z),f(x,f(g(f(z,x)),x)))) = y.
f(f(g(f(x,g(y))),z),f(x,f(g(f(z,x)),x))) = y.
f(g(f(x,y)),g(f(g(f(f(f(x,x),y),z)),x))) = z.
f(f(g(x),y),f(g(f(f(y,g(f(x,z))),y)),y)) = z.
f(f(g(x),y),g(f(f(z,g(f(x,f(z,z)))),y))) = z.
g(f(f(x,y),g(f(f(z,f(x,f(g(z),z))),y)))) = z.
f(f(g(x),y),g(f(y,f(g(f(f(x,z),y)),y)))) = z.
f(f(x,y),f(y,g(f(f(g(f(g(x),z)),y),y)))) = z.
f(g(f(x,y)),g(f(x,g(f(x,f(f(y,z),x)))))) = z.
f(x,g(f(g(f(f(f(y,g(f(y,x))),y),z)),y))) = z.
g(f(x,f(g(f(f(f(x,y),f(x,g(z))),z)),x))) = y.
f(x,f(g(f(f(f(x,g(y)),f(x,g(z))),z)),x)) = y.
f(x,g(f(f(g(f(g(y),f(f(y,x),z))),x),x))) = z.
g(f(x,f(g(f(f(y,f(f(g(y),x),z)),x)),x))) = z.
f(x,f(g(f(f(y,f(f(g(y),x),g(z))),x)),x)) = z.
g(f(x,g(f(f(f(y,f(x,g(f(x,z)))),x),z)))) = y.
f(x,g(f(f(f(g(y),f(x,g(f(x,z)))),x),z))) = y.
f(x,f(f(g(f(g(f(y,x)),x)),g(f(z,x))),z)) = y.
g(f(x,f(f(g(f(f(x,y),x)),f(x,g(z))),z))) = y.
f(x,f(f(g(f(f(x,g(y)),x)),f(x,g(z))),z)) = y.
f(x,g(f(f(f(g(f(x,y)),x),f(x,z)),g(z)))) = y.
f(x,g(f(f(f(y,g(f(y,y))),f(x,g(z))),z))) = y.
g(f(x,f(f(y,f(g(f(x,y)),g(f(x,z)))),x))) = z.
f(x,f(f(y,f(g(f(x,y)),g(f(x,g(z))))),x)) = z.
f(x,f(f(g(f(y,x)),x),g(f(g(f(y,z)),x)))) = z.
g(f(x,g(f(f(y,g(f(z,x))),f(z,f(x,x)))))) = y.
f(x,g(f(f(g(y),g(f(z,x))),f(z,f(x,x))))) = y.
g(f(x,f(f(g(x),y),f(g(f(f(y,z),y)),y)))) = z.
f(x,f(f(g(x),y),f(g(f(f(y,g(z)),y)),y))) = z.
g(f(g(x),f(f(x,y),f(y,g(f(f(z,y),y)))))) = z.
f(x,f(f(g(x),y),g(f(y,f(g(f(z,y)),y))))) = z.
f(g(x),f(f(x,y),f(y,g(f(f(g(z),y),y))))) = z.
g(f(x,g(f(f(y,z),f(x,f(g(f(z,x)),x)))))) = y.
f(x,g(f(f(g(y),z),f(x,f(g(f(z,x)),x))))) = y.
f(x,f(g(f(y,x)),g(f(y,g(f(y,f(z,y))))))) = z.
f(x,g(f(x,f(g(f(f(y,f(x,g(z))),z)),x)))) = y.
f(x,g(f(x,f(f(g(f(y,x)),f(x,g(z))),z)))) = y.
g(f(x,f(x,g(f(f(f(y,x),f(x,z)),g(z)))))) = y.
f(x,f(x,g(f(f(f(g(y),x),f(x,z)),g(z))))) = y.
g(f(x,g(f(x,f(f(y,f(g(f(x,y)),z)),x))))) = z.
f(x,g(f(x,f(f(y,f(g(f(x,y)),g(z))),x)))) = z.
g(f(x,f(y,f(f(g(f(x,y)),z),g(f(y,z)))))) = y.
f(x,f(y,f(f(g(f(x,y)),z),g(f(g(y),z))))) = y.
g(f(x,f(y,f(f(g(f(x,y)),y),g(f(z,y)))))) = z.
f(x,f(y,f(f(g(f(x,y)),y),g(f(g(z),y))))) = z.
f(x,g(f(y,f(f(g(y),x),f(g(f(z,x)),x))))) = z.
% modfilter interps.da12 false_in_all: checked 50, passed 49, 0.10 seconds.