Based on a discussion on gitter, here the functions that I'd personally would love to see in symengine.py. For Add and Mul etc. - [x] .is_Add - [x] .is_Mul - [x] .is_Atom - [x] .is_Number - [x] .atoms - [x] .as_coefficients_dict - [x] .xreplace and - [x] sympy.Integer - [x] sympy.RealNumber - [ ] sympy.PolynomialError