YES
(ignored inputs)COMMENT the following rules are removed from the original TRS 0 ( 1 ( 2 ( 3 ( 4 ( x ) ) ) ) ) -> 0 ( 2 ( 1 ( 3 ( 4 ( x ) ) ) ) ) 0 ( 5 ( 1 ( 2 ( 4 ( 3 ( x ) ) ) ) ) ) -> 0 ( 5 ( 2 ( 1 ( 4 ( 3 ( x ) ) ) ) ) ) 0 ( 5 ( 2 ( 4 ( 1 ( 3 ( x ) ) ) ) ) ) -> 0 ( 1 ( 5 ( 2 ( 4 ( 3 ( x ) ) ) ) ) ) 0 ( 5 ( 3 ( 1 ( 2 ( 4 ( x ) ) ) ) ) ) -> 0 ( 1 ( 5 ( 3 ( 2 ( 4 ( x ) ) ) ) ) ) 0 ( 5 ( 4 ( 1 ( 3 ( 2 ( x ) ) ) ) ) ) -> 0 ( 5 ( 4 ( 3 ( 1 ( 2 ( x ) ) ) ) ) )
: CR

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