edits/optimizations/compose polynomials efficiently (in progress)