Diff symengine-0.11.1 with a symengine-0.13.0

Thank you!