MAYBE

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

Proof:
 Complexity Transformation Processor:
  strict:
   a(a(b(b(b(b(a(a(x1)))))))) -> a(a(c(c(a(a(b(b(x1))))))))
   a(a(c(c(x1)))) -> c(c(c(c(a(a(x1))))))
   c(c(c(c(c(c(x1)))))) -> b(b(c(c(b(b(x1))))))
  weak:
   
  Bounds Processor:
   bound: 1
   enrichment: match
   automaton:
    final states: {4}
    transitions:
     a1(20) -> 21*
     a1(147) -> 148*
     a1(17) -> 18*
     a1(416) -> 417*
     a1(179) -> 180*
     a1(443) -> 444*
     a1(146) -> 147*
     a1(106) -> 107*
     a1(465) -> 466*
     a1(21) -> 22*
     a1(16) -> 17*
     a1(208) -> 209*
     a1(183) -> 184*
     a1(452) -> 453*
     a1(155) -> 156*
     a1(105) -> 106*
     c1(107) -> 108*
     c1(294) -> 295*
     c1(279) -> 280*
     c1(149) -> 150*
     c1(109) -> 110*
     c1(19) -> 20*
     c1(151) -> 152*
     c1(293) -> 294*
     c1(148) -> 149*
     c1(108) -> 109*
     c1(280) -> 281*
     c1(18) -> 19*
     c1(150) -> 151*
     c1(110) -> 111*
     b1(277) -> 278*
     b1(75) -> 76*
     b1(15) -> 16*
     b1(389) -> 390*
     b1(329) -> 330*
     b1(371) -> 372*
     b1(296) -> 297*
     b1(291) -> 292*
     b1(281) -> 282*
     b1(69) -> 70*
     b1(14) -> 15*
     b1(408) -> 409*
     b1(383) -> 384*
     b1(278) -> 279*
     b1(365) -> 366*
     b1(295) -> 296*
     b1(292) -> 293*
     b1(282) -> 283*
     a0(4) -> 4*
     b0(4) -> 4*
     c0(4) -> 4*
     4 -> 105,14
     18 -> 146*
     20 -> 69*
     21 -> 75*
     22 -> 106,107,18,4
     70 -> 15*
     76 -> 15*
     107 -> 416,365
     108 -> 443,383
     109 -> 389,179
     110 -> 408,208
     111 -> 106,107,4
     148 -> 465,277
     149 -> 452,371
     150 -> 291,155
     151 -> 329,183
     152 -> 466,417,148,22
     156 -> 147*
     180 -> 147*
     184 -> 147*
     209 -> 147*
     283 -> 108,151,111,150,110,109,4,20
     297 -> 108,152,19,149,111
     330 -> 292*
     366 -> 278*
     372 -> 278*
     384 -> 278*
     390 -> 278*
     409 -> 278*
     417 -> 147*
     444 -> 147*
     453 -> 147*
     466 -> 147*
   problem:
    strict:
     a(a(c(c(x1)))) -> c(c(c(c(a(a(x1))))))
     c(c(c(c(c(c(x1)))))) -> b(b(c(c(b(b(x1))))))
    weak:
     a(a(b(b(b(b(a(a(x1)))))))) -> a(a(c(c(a(a(b(b(x1))))))))
   Open