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(div(x,y)) -> -(div(D(x),y),div(*(x,D(y)),pow(y,2())))
          D(ln(x)) -> div(D(x),x)
          D(minus(x)) -> minus(D(x))
          D(pow(x,y)) -> +(*(*(y,pow(x,-(y,1()))),D(x)),*(*(pow(x,y),ln(x)),D(y)))
          D(t()) -> 1()
      - Signature:
          {D/1} / {*/2,+/2,-/2,0/0,1/0,2/0,constant/0,div/2,ln/1,minus/1,pow/2,t/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {D} and constructors {*,+,-,0,1,2,constant,div,ln,minus
          ,pow,t}
  + Applied Processor:
      MI {miKind = Automaton Nothing, miDimension = 3, miUArgs = NoUArgs, miURules = NoURules, miSelector = Nothing}
  + Details:
      Incompatible
MAYBE