YES

Problem:
 b(a(b(b(a(b(a(x1))))))) -> a(b(a(a(b(b(a(b(b(a(x1))))))))))

Proof:
 DP Processor:
  DPs:
   b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(x1)))
   b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1)))))
   b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(b(b(a(x1))))))
   b#(a(b(b(a(b(a(x1))))))) -> b#(a(a(b(b(a(b(b(a(x1)))))))))
  TRS:
   b(a(b(b(a(b(a(x1))))))) -> a(b(a(a(b(b(a(b(b(a(x1))))))))))
  EDG Processor:
   DPs:
    b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(x1)))
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1)))))
    b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(b(b(a(x1))))))
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(a(b(b(a(b(b(a(x1)))))))))
   TRS:
    b(a(b(b(a(b(a(x1))))))) -> a(b(a(a(b(b(a(b(b(a(x1))))))))))
   graph:
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1))))) ->
    b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(x1)))
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1))))) ->
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1)))))
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1))))) ->
    b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(b(b(a(x1))))))
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1))))) ->
    b#(a(b(b(a(b(a(x1))))))) -> b#(a(a(b(b(a(b(b(a(x1)))))))))
   CDG Processor:
    DPs:
     b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(x1)))
     b#(a(b(b(a(b(a(x1))))))) -> b#(a(b(b(a(x1)))))
     b#(a(b(b(a(b(a(x1))))))) -> b#(b(a(b(b(a(x1))))))
     b#(a(b(b(a(b(a(x1))))))) -> b#(a(a(b(b(a(b(b(a(x1)))))))))
    TRS:
     b(a(b(b(a(b(a(x1))))))) -> a(b(a(a(b(b(a(b(b(a(x1))))))))))
    graph:
     
    Qed