YES(?,ELEMENTARY)

'epo* (timeout of 60.0 seconds)'
--------------------------------
Answer:           YES(?,ELEMENTARY)
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  *(x, +(y, z)) -> +(*(x, y), *(x, z))
     , *(+(x, y), z) -> +(*(x, z), *(y, z))
     , *(x, 1()) -> x
     , *(1(), y) -> y}

Proof Output:    
  Strict Rules in Predicative Notation:
   {  *(x, +(; y, z);) -> +(; *(x, y;), *(x, z;))
    , *(+(; x, y), z;) -> +(; *(x, z;), *(y, z;))
    , *(x, 1();) -> x
    , *(1(), y;) -> y}
  Safe Mapping:
   safe(*) = {}, safe(+) = {1, 2}, safe(1) = {}
  Argument Permutation:
   mu(*) = [1, 2]
  Precedence:
   * ~ *