f(f(g(f(y,x)),x),g(f(g(f(y,f(x,z))),x))) = z.
f(f(g(f(x,x)),y),g(f(g(f(x,f(x,z))),y))) = z.
f(g(f(f(y,g(x)),x)),f(f(y,z),f(g(x),x))) = z.
f(g(f(f(y,x),g(x))),f(f(y,z),f(x,g(x)))) = 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,z)),y),f(x,f(g(f(y,x)),x)))) = z.
f(f(g(f(x,g(z))),y),f(x,f(g(f(y,x)),x))) = z.
f(g(f(f(y,g(x)),x)),f(y,f(z,f(g(x),x)))) = z.
f(g(f(f(y,x),g(x))),f(y,f(z,f(x,g(x))))) = z.
g(f(f(x,g(f(z,x))),f(f(g(f(y,x)),y),x))) = z.
f(f(x,g(f(g(z),x))),f(f(g(f(y,x)),y),x)) = z.
g(f(f(y,g(f(z,y))),f(f(z,g(f(x,z))),x))) = z.
f(g(f(y,g(f(z,y)))),f(f(z,g(f(x,z))),x)) = z.
f(f(y,g(f(g(z),y))),f(f(z,g(f(x,z))),x)) = z.
g(f(f(y,g(f(z,y))),f(f(x,g(f(x,x))),x))) = z.
f(g(f(y,g(f(z,y)))),f(f(x,g(f(x,x))),x)) = z.
f(f(y,g(f(g(z),y))),f(f(x,g(f(x,x))),x)) = z.
g(f(f(x,g(f(z,x))),f(f(y,g(f(x,y))),x))) = z.
f(g(f(x,g(f(z,x)))),f(f(y,g(f(x,y))),x)) = z.
f(f(x,g(f(g(z),x))),f(f(y,g(f(x,y))),x)) = z.
f(f(y,f(g(y),x)),g(f(z,f(g(f(z,z)),x)))) = z.
f(f(g(x),f(x,z)),f(y,g(f(f(y,g(x)),x)))) = z.
f(f(y,g(f(x,y))),f(x,f(z,g(f(g(x),x))))) = z.
f(f(x,f(g(x),z)),g(f(x,f(y,g(f(x,y)))))) = z.
f(g(f(x,y)),g(f(g(f(f(f(x,x),y),z)),x))) = z.
f(f(g(y),x),f(g(f(f(x,g(f(y,z))),x)),x)) = z.
f(f(g(y),x),g(f(f(z,g(f(y,f(z,z)))),x))) = z.
g(f(f(y,x),g(f(f(z,f(y,f(g(z),z))),x)))) = z.
g(f(g(f(y,z)),f(f(x,f(x,g(f(x,x)))),y))) = z.
f(g(f(y,g(z))),f(f(x,f(x,g(f(x,x)))),y)) = z.
f(f(g(x),x),f(f(z,g(f(g(x),f(x,y)))),y)) = z.
f(f(x,g(x)),f(f(z,g(f(x,f(g(x),y)))),y)) = z.
f(g(f(x,g(x))),f(f(z,x),f(g(f(y,x)),y))) = z.
f(g(f(y,g(y))),f(f(z,z),f(x,g(f(z,x))))) = z.
f(f(g(x),x),f(f(z,y),g(f(g(x),f(x,y))))) = z.
f(f(x,g(x)),f(f(z,y),g(f(x,f(g(x),y))))) = z.
f(f(g(y),x),g(f(x,f(g(f(f(y,z),x)),x)))) = z.
f(f(y,x),f(x,g(f(f(g(f(g(y),z)),x),x)))) = z.
f(g(f(y,g(z))),f(y,f(f(z,g(f(x,z))),x))) = z.
f(g(f(x,y)),g(f(x,g(f(x,f(f(y,z),x)))))) = z.
f(y,g(f(g(f(f(f(x,g(f(x,y))),x),z)),x))) = z.
g(f(x,f(g(f(f(f(x,z),f(x,g(y))),y)),x))) = z.
f(x,f(g(f(f(f(x,g(z)),f(x,g(y))),y)),x)) = z.
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(y,f(f(f(g(y),g(f(z,f(x,z)))),z),x))) = z.
g(f(y,g(f(f(f(z,f(y,g(f(x,x)))),x),x)))) = z.
f(y,g(f(f(f(g(z),f(y,g(f(x,x)))),x),x))) = z.
g(f(x,g(f(f(f(z,f(x,g(f(x,y)))),x),y)))) = z.
f(x,g(f(f(f(g(z),f(x,g(f(x,y)))),x),y))) = z.
f(x,f(f(g(f(g(f(z,x)),x)),g(f(y,x))),y)) = z.
g(f(x,f(f(g(f(f(x,z),x)),f(x,g(y))),y))) = z.
f(x,f(f(g(f(f(x,g(z)),x)),f(x,g(y))),y)) = z.
f(x,g(f(f(f(g(f(x,z)),x),f(x,y)),g(y)))) = z.
f(y,g(f(f(f(z,g(f(z,z))),f(y,g(x))),x))) = z.
f(x,g(f(g(f(z,f(f(g(f(y,x)),y),x))),x))) = z.
g(f(y,g(f(f(z,f(f(z,g(f(x,z))),x)),y)))) = z.
f(y,g(f(g(f(z,f(f(z,g(f(x,z))),x))),y))) = z.
f(y,g(f(f(g(z),f(f(z,g(f(x,z))),x)),y))) = z.
g(f(y,g(f(f(z,f(f(x,g(f(x,x))),x)),y)))) = z.
f(y,g(f(g(f(z,f(f(x,g(f(x,x))),x))),y))) = z.
f(y,g(f(f(g(z),f(f(x,g(f(x,x))),x)),y))) = z.
g(f(x,g(f(f(z,f(f(y,g(f(x,y))),x)),x)))) = z.
f(x,g(f(g(f(z,f(f(y,g(f(x,y))),x))),x))) = z.
f(x,g(f(f(g(z),f(f(y,g(f(x,y))),x)),x))) = z.
f(y,g(f(f(x,g(f(f(z,x),f(g(z),z)))),y))) = z.
f(y,g(f(f(x,g(f(f(z,x),f(z,g(z))))),y))) = z.
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(y,g(f(f(x,g(f(z,f(x,f(g(z),z))))),y))) = z.
f(y,g(f(f(x,g(f(z,f(x,f(z,g(z)))))),y))) = z.
f(y,f(f(g(f(f(y,g(x)),x)),z),f(g(x),x))) = z.
f(y,f(f(g(f(f(y,x),g(x))),z),f(x,g(x)))) = z.
f(x,f(f(f(y,g(f(x,y))),z),g(f(g(x),x)))) = z.
g(f(y,g(f(f(z,f(g(f(x,z)),x)),f(z,y))))) = z.
g(f(y,f(f(z,f(g(f(x,z)),x)),g(f(z,y))))) = z.
f(y,g(f(f(z,f(g(f(x,z)),x)),f(g(z),y)))) = z.
f(y,f(f(z,f(g(f(x,z)),x)),g(f(g(z),y)))) = z.
g(f(y,g(f(f(x,f(g(f(x,x)),x)),f(z,y))))) = z.
g(f(y,f(f(x,f(g(f(x,x)),x)),g(f(z,y))))) = z.
f(y,g(f(f(x,f(g(f(x,x)),x)),f(g(z),y)))) = z.
f(y,f(f(x,f(g(f(x,x)),x)),g(f(g(z),y)))) = z.
g(f(x,g(f(f(x,f(g(f(y,x)),y)),f(z,x))))) = z.
g(f(x,f(f(x,f(g(f(y,x)),y)),g(f(z,x))))) = z.
f(x,g(f(f(x,f(g(f(y,x)),y)),f(g(z),x)))) = z.
f(x,f(f(x,f(g(f(y,x)),y)),g(f(g(z),x)))) = z.
g(f(x,g(f(f(x,f(y,g(f(x,y)))),f(z,x))))) = z.
f(x,g(f(f(x,f(y,g(f(x,y)))),f(g(z),x)))) = z.
f(y,f(f(g(f(z,y)),x),g(f(g(f(z,z)),x)))) = z.
f(x,f(f(g(f(y,x)),x),g(f(g(f(y,z)),x)))) = z.
f(x,f(f(g(f(x,x)),y),g(f(g(f(x,z)),y)))) = z.
f(y,f(g(f(f(y,g(x)),x)),f(z,f(g(x),x)))) = z.
f(y,f(g(f(f(y,x),g(x))),f(z,f(x,g(x))))) = z.
g(f(x,g(f(f(z,g(f(y,x))),f(y,f(x,x)))))) = z.
f(x,g(f(f(g(z),g(f(y,x))),f(y,f(x,x))))) = z.
g(f(y,g(f(f(z,z),f(f(g(f(x,z)),x),y))))) = z.
f(y,g(f(f(z,g(z)),f(f(g(f(x,z)),x),y)))) = z.
g(f(y,f(f(g(y),x),f(g(f(f(x,z),x)),x)))) = z.
f(y,f(f(g(y),x),f(g(f(f(x,g(z)),x)),x))) = z.
f(y,f(g(f(z,y)),f(f(z,x),g(f(g(z),x))))) = z.
f(y,f(f(g(y),z),f(z,g(f(f(z,g(x)),x))))) = z.
g(f(g(y),f(f(y,x),f(x,g(f(f(z,x),x)))))) = z.
f(y,f(f(g(y),x),g(f(x,f(g(f(z,x)),x))))) = z.
f(g(y),f(f(y,x),f(x,g(f(f(g(z),x),x))))) = z.
g(f(x,g(f(f(z,y),f(x,f(g(f(y,x)),x)))))) = z.
f(x,g(f(f(g(z),y),f(x,f(g(f(y,x)),x))))) = z.
f(x,f(f(g(x),z),f(y,g(f(f(y,g(x)),x))))) = z.
f(y,f(g(f(x,y)),g(f(x,g(f(x,f(z,x))))))) = z.
f(g(x),f(f(x,z),g(f(x,f(y,g(f(x,y))))))) = z.
f(x,g(f(x,f(g(f(f(z,f(x,g(y))),y)),x)))) = z.
f(x,g(f(x,f(f(g(f(z,x)),f(x,g(y))),y)))) = z.
g(f(x,f(x,g(f(f(f(z,x),f(x,y)),g(y)))))) = z.
f(x,f(x,g(f(f(f(g(z),x),f(x,y)),g(y))))) = z.
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.
f(y,g(f(z,f(g(f(g(x),f(x,f(z,z)))),y)))) = z.
f(y,g(f(z,f(f(g(x),f(x,g(f(z,z)))),y)))) = z.
g(f(y,g(f(z,f(f(x,f(x,g(f(x,x)))),y))))) = z.
f(y,g(f(g(z),f(f(x,f(x,g(f(x,x)))),y)))) = z.
g(f(y,f(z,f(f(g(f(y,z)),x),g(f(z,x)))))) = z.
f(y,f(z,f(f(g(f(y,z)),x),g(f(g(z),x))))) = z.
g(f(y,f(x,f(f(g(f(y,x)),x),g(f(z,x)))))) = z.
f(y,f(x,f(f(g(f(y,x)),x),g(f(g(z),x))))) = z.
g(f(x,f(x,f(f(g(f(x,x)),y),g(f(z,y)))))) = z.
f(x,f(x,f(f(g(f(x,x)),y),g(f(g(z),y))))) = z.
f(x,g(f(y,f(f(g(y),x),f(g(f(z,x)),x))))) = z.
f(g(y),g(f(z,f(x,g(f(f(y,f(z,z)),x)))))) = z.
f(g(y),g(f(z,f(x,g(f(y,f(f(z,z),x))))))) = z.
f(g(x),f(x,f(z,f(y,g(f(f(y,g(x)),x)))))) = z.
f(x,f(g(x),f(z,g(f(x,f(y,g(f(x,y)))))))) = z.
% idfilter /home/mccune/gtsax/programs/gt.demods : tested 1981980, passed 20568 in 230.05 seconds.
% attack head.2-3 interps.2-3 (on gyro.thornwood): checked 20568, passed 3541, new_interps 25.
% attack head.r9 interps.r9 (on gyro.thornwood): checked 3541, passed 896, new_interps 100.
% attack head.r29 interps.r29 (on gyro.thornwood): checked 896, passed 132, new_interps 151.