Development repo: polynomials, simplification, solvers, etc.