symengine