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?