math/symengine
