d(d(d(y,y),d(d(d(w,w),x),z)),x) = z.
d(d(d(y,y),d(d(d(x,x),w),z)),w) = z.
d(d(d(y,y),d(d(d(z,z),x),z)),x) = z.
d(d(d(y,y),d(d(d(x,x),x),z)),x) = z.
d(d(d(x,x),d(d(d(y,y),x),z)),x) = z.
d(d(d(x,x),d(d(d(x,x),y),z)),y) = z.
d(d(d(y,y),d(d(w,w),z)),d(x,x)) = z.
d(d(d(y,y),d(d(w,x),z)),d(x,w)) = z.
d(d(d(y,y),d(d(x,w),z)),d(w,x)) = z.
d(d(d(y,y),d(d(x,x),z)),d(w,w)) = z.
d(d(d(y,y),d(d(z,z),z)),d(x,x)) = z.
d(d(d(y,y),d(d(x,z),z)),d(z,x)) = z.
d(d(d(y,y),d(d(x,x),z)),d(x,x)) = z.
d(d(d(x,x),d(d(y,y),z)),d(x,x)) = z.
d(d(d(x,x),d(d(y,x),z)),d(x,y)) = z.
d(d(d(x,x),d(d(x,y),z)),d(y,x)) = z.
d(d(d(x,x),d(d(x,x),z)),d(y,y)) = z.
d(d(d(y,y),d(w,z)),d(d(x,x),w)) = z.
d(d(d(y,y),d(x,z)),d(d(w,w),x)) = z.
d(d(d(y,y),d(x,z)),d(d(z,z),x)) = z.
d(d(d(y,y),d(x,z)),d(d(x,x),x)) = z.
d(d(d(x,x),d(y,z)),d(d(x,x),y)) = z.
d(d(d(x,x),d(x,z)),d(d(y,y),x)) = z.
d(d(d(y,y),w),d(d(d(x,x),z),w)) = z.
d(d(d(y,y),x),d(d(d(w,w),z),x)) = z.
d(d(d(y,y),x),d(d(d(z,z),z),x)) = z.
d(d(d(y,y),x),d(d(d(x,x),z),x)) = z.
d(d(d(x,x),y),d(d(d(x,x),z),y)) = z.
d(d(d(x,x),x),d(d(d(y,y),z),x)) = z.
d(d(y,w),d(d(d(x,x),z),d(w,y))) = z.
d(d(y,y),d(d(d(w,w),z),d(x,x))) = z.
d(d(y,y),d(d(d(w,w),x),d(z,x))) = z.
d(d(y,y),d(d(d(x,x),w),d(z,w))) = z.
d(d(y,y),d(d(d(x,x),z),d(w,w))) = z.
d(d(y,x),d(d(d(w,w),z),d(x,y))) = z.
d(d(y,z),d(d(d(x,x),z),d(z,y))) = z.
d(d(y,y),d(d(d(z,z),z),d(x,x))) = z.
d(d(y,y),d(d(d(z,z),x),d(z,x))) = z.
d(d(y,x),d(d(d(z,z),z),d(x,y))) = z.
d(d(y,y),d(d(d(x,x),z),d(x,x))) = z.
d(d(y,y),d(d(d(x,x),x),d(z,x))) = z.
d(d(y,x),d(d(d(x,x),z),d(x,y))) = z.
d(d(x,y),d(d(d(x,x),z),d(y,x))) = z.
d(d(x,x),d(d(d(y,y),z),d(x,x))) = z.
d(d(x,x),d(d(d(y,y),x),d(z,x))) = z.
d(d(x,x),d(d(d(x,x),z),d(y,y))) = z.
d(d(x,x),d(d(d(x,x),y),d(z,y))) = z.
d(d(y,y),d(d(w,w),d(z,d(x,x)))) = z.
d(d(y,y),d(d(w,x),d(z,d(x,w)))) = z.
d(d(y,y),d(d(x,w),d(z,d(w,x)))) = z.
d(d(y,y),d(d(x,x),d(z,d(w,w)))) = z.
d(d(y,y),d(d(z,z),d(z,d(x,x)))) = z.
d(d(y,y),d(d(x,z),d(z,d(z,x)))) = z.
d(d(y,y),d(d(x,x),d(z,d(x,x)))) = z.
d(d(x,x),d(d(y,y),d(z,d(x,x)))) = z.
d(d(x,x),d(d(y,x),d(z,d(x,y)))) = z.
d(d(x,x),d(d(x,y),d(z,d(y,x)))) = z.
d(d(x,x),d(d(x,x),d(z,d(y,y)))) = z.
d(d(y,y),d(w,d(z,d(d(x,x),w)))) = z.
d(d(y,y),d(x,d(z,d(d(w,w),x)))) = z.
d(d(y,y),d(x,d(z,d(d(z,z),x)))) = z.
d(d(y,y),d(x,d(z,d(d(x,x),x)))) = z.
d(d(x,x),d(y,d(z,d(d(x,x),y)))) = z.
d(d(x,x),d(x,d(z,d(d(y,y),x)))) = z.
d(y,d(d(d(w,w),z),d(d(x,x),y))) = z.
d(y,d(d(d(x,x),z),d(d(w,w),y))) = z.
d(y,d(d(d(z,z),z),d(d(x,x),y))) = z.
d(y,d(d(d(x,x),z),d(d(z,z),y))) = z.
d(y,d(d(d(x,x),z),d(d(x,x),y))) = z.
d(x,d(d(d(y,y),z),d(d(x,x),x))) = z.
d(x,d(d(d(x,x),z),d(d(y,y),x))) = z.
% frogmen: 15.assoc, 15.ops, 15.args: generated 33660, user 0.04, system 0.00.
% idfilter /home/mccune/gtsax/programs/gt.demods : tested 33660, passed 71 in 4.57 seconds.