算法转换表达式树到多项式形式

我试着用不同的关键词搜索，但没有找到任何有用的东西。我甚至不确定"多项式"在这里是正确的，请告诉我。

我试图找到递归算法(理想情况下c#)转换/扩展我的表达式树简化标准(多项式，我猜)形式。例如:

(X1 + X2 + X3 * X4) * X5和X6

X1*X5 + X2*X5 + X3*X4*X5 + X6

我有一组源类:

public abstract class Expr
{ 
    public static Op Op(string operatorName, params Expr[] children)
    {
        var res = new Op() { Operator = operatorName };
        res.Children.AddRange(children);
        return res;
    }
    public static Var Var(string valName)
    {
        var res = new Var(){ Name = valName};
        return res;
    }
}
public class Op:Expr
{
    public string Operator { get; set; }
    public List<Expr> Children = new List<Expr>();
}
public class Var:Expr
{
    public string Name { get; set; }
}

我需要实现以下方法:

public static IEnumerable<IEnumerable<Var>> SimplifyToPolynom(Expr expression)
{
    throw new NotImplementedException();
}
//USE CASE:
public static void Test()
{
    //(X1+X2+X3*X4)*X5+X6
    var inputExpression =
        Expr.Op("+",
            Expr.Op("*"
                , Expr.Op("+"
                    , Expr.Var("X1")
                    , Expr.Var("X2")
                    , Expr.Op("*"
                        , Expr.Var("X3")
                        , Expr.Var("X4")
                            )
                          )
                , Expr.Var("X5")
                    )
            , Expr.Var("X6")
        );
    var output = SimplifyToPolynom(inputExpression);
    // Exected result [[X1,X5],[X2,X5], [X3,X4,X5], [X6]]
}