Searching in modules/symengine