EQUATIONS: 
or_(&(x,y),&(z,y)) = &(or_(x,z),y)
&(x,x) = x
or_(x,x) = x

COMPLETE TRS:
RULES:
or_(&(x,y),&(z,y)) -> &(or_(x,z),y)
&(x,x) -> x
or_(x,x) -> x
or_(x,&(y,x)) -> &(or_(x,y),x)
or_(&(x,y),y) -> &(or_(x,y),y)

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds