YES
TRS:
 {a(b(x)) -> b(a(x)),
  a(c(x)) -> x}
 RUF:
  Strict:
   {a(b(x)) -> b(a(x))}
  Weak:
   {}
  DP:
   Strict:
    {a#(b(x)) -> a#(x)}
   Weak:
   {a(b(x)) -> b(a(x))}
   EDG:
    {(a#(b(x)) -> a#(x), a#(b(x)) -> a#(x))}
    SCCS:
     Scc:
      {a#(b(x)) -> a#(x)}
     SCC:
      Strict:
       {a#(b(x)) -> a#(x)}
      Weak:
      {a(b(x)) -> b(a(x))}
      SPSC:
       Simple Projection:
        pi(a#) = 0
       Strict:
        {}
       Qed