MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { D(t()) -> 1() , D(constant()) -> 0() , D(+(x, y)) -> +(D(x), D(y)) , D(*(x, y)) -> +(*(y, D(x)), *(x, D(y))) , D(-(x, y)) -> -(D(x), D(y))} Proof Output: The input cannot be shown compatible