Tellsimp and stack overflow.



Hello! I wonder, is there a way to set max simplification depth? I have

matchdeclare (mulexp, lambda ([e], not atom(e) and op(e) = "*"))$

tellsimp (RAv (mulexp), RAv (first (mulexp)) * RAv (rest (mulexp)) + RAv (RPl(first(mulexp)) * RPl(rest(mulexp))) )$

Obviously, that's never ending recursion. Can I somehow set it to break after n steps?