YES(?,O(n^1))
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}
 DUP: We consider a non-duplicating system.
  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}
  Natural interpretation:
   Strict:
    {  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}
   Weak:
    {}
   Interpretation class: stronglylinear
   [a](X0) = + 1*X0 + 1
   [v](X0) = + 1*X0 + 7
   [b](X0) = + 1*X0 + 2
   [c](X0) = + 1*X0 + 5
   [d](X0) = + 1*X0 + 6
   [e](X0) = + 1*X0 + 1
   [u](X0) = + 1*X0 + 1
   
   Qed