YES
(ignored inputs)COMMENT the following rules are removed from the original TRS f ( x ) -> g ( f ( x ) ) h ( x ) -> p ( h ( x ) ) f ( x ) -> h ( f ( x ) ) g ( x ) -> p ( p ( h ( x ) ) )
: CR

Combined result: CR
/tmp/filenHthDF.trs: Success(CR)
(0 msec.)