g(f(f(g(f(x,y)),z),f(x,f(g(f(z,x)),x)))) = y # label(cand_3).
f(f(g(f(x,g(y))),z),f(x,f(g(f(z,x)),x))) = y # label(cand_4).  % (<- 3)
f(f(g(x),y),f(g(f(f(y,g(f(x,z))),y)),y)) = z # label(cand_6).
g(f(f(x,y),g(f(f(z,f(x,f(g(z),z))),y)))) = z # label(cand_8).
f(f(g(x),y),g(f(y,f(g(f(f(x,z),y)),y)))) = z # label(cand_9).
f(x,g(f(g(f(f(f(y,g(f(y,x))),y),z)),y))) = z # label(cand_11).
g(f(x,f(g(f(f(f(x,y),f(x,g(z))),z)),x))) = y # label(cand_12).
g(f(x,f(g(f(f(y,f(f(g(y),x),z)),x)),x))) = z # label(cand_14).  % (<- 9)
f(x,f(f(g(f(g(f(y,x)),x)),g(f(z,x))),z)) = y # label(cand_16).
g(f(x,f(f(g(f(f(x,y),x)),f(x,g(z))),z))) = y # label(cand_17).
f(x,f(f(y,f(g(f(x,y)),g(f(x,g(z))))),x)) = z # label(cand_21).  % (<- 33)
g(f(x,f(f(g(x),y),f(g(f(f(y,z),y)),y)))) = z # label(cand_24).
f(x,f(f(g(x),y),f(g(f(f(y,g(z)),y)),y))) = z # label(cand_25).  % (<- 6)
f(x,f(f(g(x),y),g(f(y,f(g(f(z,y)),y))))) = z # label(cand_26).  % (<- 9)
g(f(x,g(f(f(y,z),f(x,f(g(f(z,x)),x)))))) = y # label(cand_27).  % (<- 3)
f(x,g(f(f(g(y),z),f(x,f(g(f(z,x)),x))))) = y # label(cand_28).  % (<- 3)
f(x,g(f(x,f(g(f(f(y,f(x,g(z))),z)),x)))) = y # label(cand_30).
f(x,g(f(x,f(f(g(f(y,x)),f(x,g(z))),z)))) = y # label(cand_31).
g(f(x,g(f(x,f(f(y,f(g(f(x,y)),z)),x))))) = z # label(cand_32).  % (<- 33)
f(x,g(f(x,f(f(y,f(g(f(x,y)),g(z))),x)))) = z # label(cand_33).
g(f(x,f(y,f(f(g(f(x,y)),z),g(f(y,z)))))) = y # label(cand_34).
f(x,f(y,f(f(g(f(x,y)),z),g(f(g(y),z))))) = y # label(cand_35).
f(x,g(f(y,f(f(g(y),x),f(g(f(z,x)),x))))) = z # label(cand_36).