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

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