cobra
symengine
