MAYBE

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

Proof:
 Complexity Transformation Processor:
  strict:
   b(b(b(a(b(x1))))) -> b(a(b(b(a(b(x1))))))
   b(a(b(b(x1)))) -> b(b(a(b(a(b(x1))))))
   b(a(b(a(a(b(b(x1))))))) -> b(a(a(b(a(a(b(b(b(a(b(x1)))))))))))
  weak:
   
  Bounds Processor:
   bound: 1
   enrichment: match
   automaton:
    final states: {2,1}
    transitions:
     b1(65) -> 66*
     b1(35) -> 36*
     b1(87) -> 88*
     b1(42) -> 43*
     b1(32) -> 33*
     b1(39) -> 40*
     b1(34) -> 35*
     b1(86) -> 87*
     b1(36) -> 37*
     b1(90) -> 91*
     b1(85) -> 86*
     a1(40) -> 41*
     a1(37) -> 38*
     a1(89) -> 90*
     a1(84) -> 85*
     a1(91) -> 92*
     a1(41) -> 42*
     a1(88) -> 89*
     a1(38) -> 39*
     a1(33) -> 34*
     b0(2) -> 1*
     b0(1) -> 1*
     a0(2) -> 2*
     a0(1) -> 2*
     1 -> 65*
     2 -> 32*
     35 -> 36,66,37,88,33,1
     36 -> 35*
     43 -> 35,84,1
     66 -> 33*
     92 -> 33*
   problem:
    strict:
     b(b(b(a(b(x1))))) -> b(a(b(b(a(b(x1))))))
     b(a(b(b(x1)))) -> b(b(a(b(a(b(x1))))))
    weak:
     b(a(b(a(a(b(b(x1))))))) -> b(a(a(b(a(a(b(b(b(a(b(x1)))))))))))
   Open