YES

Problem:
 0(1(2(3(4(x1))))) -> 0(2(3(1(4(x1)))))
 0(5(1(2(3(4(x1)))))) -> 0(1(2(5(3(4(x1))))))
 0(5(1(2(3(4(x1)))))) -> 0(5(2(1(3(4(x1))))))
 0(5(1(2(3(4(x1)))))) -> 5(0(2(3(1(4(x1))))))
 0(5(2(3(1(4(x1)))))) -> 0(1(5(2(3(4(x1))))))

Proof:
 DP Processor:
  DPs:
   0#(1(2(3(4(x1))))) -> 0#(2(3(1(4(x1)))))
   0#(5(1(2(3(4(x1)))))) -> 0#(1(2(5(3(4(x1))))))
   0#(5(1(2(3(4(x1)))))) -> 0#(5(2(1(3(4(x1))))))
   0#(5(1(2(3(4(x1)))))) -> 0#(2(3(1(4(x1)))))
   0#(5(2(3(1(4(x1)))))) -> 0#(1(5(2(3(4(x1))))))
  TRS:
   0(1(2(3(4(x1))))) -> 0(2(3(1(4(x1)))))
   0(5(1(2(3(4(x1)))))) -> 0(1(2(5(3(4(x1))))))
   0(5(1(2(3(4(x1)))))) -> 0(5(2(1(3(4(x1))))))
   0(5(1(2(3(4(x1)))))) -> 5(0(2(3(1(4(x1))))))
   0(5(2(3(1(4(x1)))))) -> 0(1(5(2(3(4(x1))))))
  EDG Processor:
   DPs:
    0#(1(2(3(4(x1))))) -> 0#(2(3(1(4(x1)))))
    0#(5(1(2(3(4(x1)))))) -> 0#(1(2(5(3(4(x1))))))
    0#(5(1(2(3(4(x1)))))) -> 0#(5(2(1(3(4(x1))))))
    0#(5(1(2(3(4(x1)))))) -> 0#(2(3(1(4(x1)))))
    0#(5(2(3(1(4(x1)))))) -> 0#(1(5(2(3(4(x1))))))
   TRS:
    0(1(2(3(4(x1))))) -> 0(2(3(1(4(x1)))))
    0(5(1(2(3(4(x1)))))) -> 0(1(2(5(3(4(x1))))))
    0(5(1(2(3(4(x1)))))) -> 0(5(2(1(3(4(x1))))))
    0(5(1(2(3(4(x1)))))) -> 5(0(2(3(1(4(x1))))))
    0(5(2(3(1(4(x1)))))) -> 0(1(5(2(3(4(x1))))))
   graph:
    
   Qed