symengine
