Реализация исключения общего подвыражения

Я изучаю возможность реализации устранения общего подвыражения (CSE )для графов выражений, соответствующих большим математическим выражениям (миллионам узлов ).

Какие алгоритмы подходят для этого? Я искал в Интернете простой алгоритм реализации от -до -, но ничего не нашел. Если возможно, алгоритм должен иметь линейную сложность по количеству узлов полного графа выражения.