Removed all external calls to Maxima. Just uses MAXIMA::SIMPLIFY from embeddable-maxima now.