SimplifyOptions: {
    recursive?: boolean;
    rules?: BoxedRuleSet;
}

Options for BoxedExpression.simplify()