Complete TRS - 1654.trs

(VAR
	x
	y
)
(RULES
	f(g(x)) -> h(x,x)
	g(a) -> b
	f(x) -> h(x,x)
	b -> a
	h(x,y) -> h(g(x),g(y))
	g(x) -> x
	a -> b
	f(b) -> h(a,a)
)