https://github.com/symengine/symengine/
