MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          D(*(x,y)) -> +(*(y,D(x)),*(x,D(y)))
          D(+(x,y)) -> +(D(x),D(y))
          D(-(x,y)) -> -(D(x),D(y))
          D(constant()) -> 0()
          D(t()) -> 1()
      - Signature:
          {D/1} / {*/2,+/2,-/2,0/0,1/0,constant/0,t/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {D} and constructors {*,+,-,0,1,constant,t}
  + Applied Processor:
      Ara {heuristics_ = NoHeuristics, minDegree = 1, maxDegree = 3, araTimeout = 60, araFindStrictRules = Nothing, araSmtSolver = Z3}
  + Details:
      The input can not be schown compatible.
MAYBE