Do we have an understanding of how much overhead using SymPy types adds here?  What about a polys type architecture that is a bit closer to the metal?