For my cases, when during R&D (data science for weather/geo/agro) I rarely need to work with formulas in symbolic representation, Sympy works enough. Cases like combining 2 equations into 1, simplifying, defining numeric coefficients, and printing formulas in TeX representation.