Diff symengine-0.9.0-r3 with a symengine-0.10.1

Thank you!