SUCCESS
14.34 (total time)

COMPLETED TRS
a(a(a(a(x)))) -> a(a(a(x)))
a(a(a(c(x)))) -> a(a(a(x)))
a(a(b(x))) -> c(b(x))
a(a(c(b(x)))) -> a(c(b(x)))
a(b(a(a(x)))) -> c(c(x))
a(b(a(c(b(x))))) -> a(c(b(x)))
a(b(c(b(x)))) -> c(c(b(x)))
a(c(a(x))) -> a(a(a(x)))
a(c(c(x))) -> a(a(a(x)))
b(a(a(c(x)))) -> b(a(a(a(x))))
b(a(b(x))) -> b(x)
b(c(c(x))) -> b(a(a(x)))
c(a(a(x))) -> c(c(x))
c(a(c(x))) -> a(a(c(x)))
c(b(a(x))) -> a(a(x))
c(b(c(b(x)))) -> a(c(b(x)))
c(c(a(x))) -> a(a(a(x)))
c(c(c(x))) -> a(a(a(x)))