Complete TRS - 498.trs

(VAR
	x
	y
)
(RULES
	f(h(x,d),y) -> f(h(y,d),x)
	h(c,x) -> h(x,x)
	f(h(d,d),y) -> f(h(y,d),c)
)