YES
Time: 0.000881
TRS:
 {  d x -> e u x,
  d u x -> c x,
  c u x -> b x,
  b u x -> a e x,
  v e x -> x}
 DP:
  DP:
   {d# u x -> c# x,
    c# u x -> b# x}
  TRS:
  {  d x -> e u x,
   d u x -> c x,
   c u x -> b x,
   b u x -> a e x,
   v e x -> x}
  UR:
   {}
   EDG:
    {(d# u x -> c# x, c# u x -> b# x)}
    EDG:
     {(d# u x -> c# x, c# u x -> b# x)}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):