I think you're right that Rymbolic + sympy are good comparisons as well.