YES

---- CR(R)
---- [Knuth and Bendix, 1970]
R:
H(H(x)) -> K(x)
H(K(x)) -> K(H(x))
CP(R):
H(K(___y1)) -> K(H(___y1))
H(K(H(___y5))) -> K(K(___y5))