Нормальный алгоритм Маркова не останавливается, если

все функции разные;
все операции допустимы.
не возникает деления на ноль;
на каждом шаге есть применимая формула и эта формула обычная

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.