MAYBE * Step 1: Failure MAYBE + Considered Problem: - Strict TRS: *(x,0()) -> 0() *(x,s(y)) -> +(x,*(x,y)) +(0(),y) -> y +(s(x),y) -> s(+(x,y)) -(x,0()) -> x -(s(x),s(y)) -> -(x,y) f(s(x)) -> f(-(p(*(s(x),s(x))),*(s(x),s(x)))) p(s(x)) -> x - Signature: {*/2,+/2,-/2,f/1,p/1} / {0/0,s/1} - Obligation: innermost runtime complexity wrt. defined symbols {*,+,-,f,p} and constructors {0,s} + Applied Processor: NaturalMI {miDimension = 3, miDegree = 3, miKind = Algebraic, uargs = UArgs, urules = URules, selector = Nothing} + Details: Incompatible MAYBE