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(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.
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.
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(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.
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.
f(x,f(f(g(x),y),g(f(y,f(g(f(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,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.
f(x,g(f(y,f(f(g(y),x),f(g(f(z,x)),x))))) = z.
% modfilter interps.da16 false_in_all: checked 42, passed 36, 0.03 seconds.