Свободный CAS или выбор между SymPy и Maxima.

Использовать немножечно sympy как вкрапление в питонокод еще ладно, но юзать его как полноценный CAS будет как минимум неэргономично.

Тогда уж выбирай между SageMath и Maxima. Но SageMath более разнонаправленный и помимо SymPy использует и наработки maxima внутри себя.

Я бегло смотрел решения одинаковых проблем на SymPy и на Maxima, по объёму они были примерно равны. Или это были «подогнанные» примеры?

Спасибо, посмотрю.

Sympy - библиотека для ЯП общего назначения, так что я б посмотрел на примеры с одинаковым удобством.