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