Function polynomial_evaluate_at 

pub fn polynomial_evaluate_at(
    poly: &Expression,
    var: &Symbol,
    value: i64,
) -> Expression

Evaluate polynomial at integer value for main variable

Substitutes var = value and simplifies to get a polynomial in remaining variables.