MAYBE

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

Proof:
 Complexity Transformation Processor:
  strict:
   a(a(a(a(b(b(x1)))))) -> b(b(a(a(b(b(x1))))))
   b(b(a(a(x1)))) -> a(a(b(b(b(b(x1))))))
   b(b(c(c(a(a(x1)))))) -> c(c(c(c(a(a(a(a(b(b(x1))))))))))
  weak:
   
  Bounds Processor:
   bound: 1
   enrichment: match
   automaton:
    final states: {4}
    transitions:
     b1(45) -> 46*
     b1(127) -> 128*
     b1(109) -> 110*
     b1(44) -> 45*
     b1(81) -> 82*
     b1(108) -> 109*
     b1(210) -> 211*
     b1(125) -> 126*
     b1(80) -> 81*
     a1(47) -> 48*
     a1(49) -> 50*
     a1(111) -> 112*
     a1(46) -> 47*
     a1(48) -> 49*
     a1(110) -> 111*
     c1(50) -> 51*
     c1(52) -> 53*
     c1(51) -> 52*
     c1(53) -> 54*
     a0(4) -> 4*
     b0(4) -> 4*
     c0(4) -> 4*
     4 -> 44*
     45 -> 112,48
     46 -> 4,108
     47 -> 210*
     48 -> 81,126,109,82,110,80
     54 -> 126,81,46,45,4
     82 -> 50*
     110 -> 125*
     111 -> 127*
     112 -> 46,4,45
     126 -> 45*
     128 -> 45*
     211 -> 44*
   problem:
    strict:
     a(a(a(a(b(b(x1)))))) -> b(b(a(a(b(b(x1))))))
     b(b(a(a(x1)))) -> a(a(b(b(b(b(x1))))))
    weak:
     b(b(c(c(a(a(x1)))))) -> c(c(c(c(a(a(a(a(b(b(x1))))))))))
   Open