"First, we developed a process that effectively unpacks equations, laying them out in a branching, treelike structure..." Umm...like an expression tree, perhaps? https://www.geeksforgeeks.org/expression-tree/