MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { *(X, +(Y, 1())) -> +(*(X, +(Y, *(1(), 0()))), X)
  , *(X, 1()) -> X
  , *(X, 0()) -> X
  , *(X, 0()) -> 0() }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..