MAYBE

'Pop* with parameter subtitution (timeout of 60.0 seconds)'
-----------------------------------------------------------
Answer:           MAYBE
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:    
  The input cannot be shown compatible