Added polynomial expression reductions and binomial expansion