In general, doing symbolic math in Python is not very beautiful.
I think this is a problem worth investigating. (Disclaimer: I do research in pure mathematics.)
The number of hoops you have to jump through is large, mostly because syntax is abused for things it was not actually meant for.
I don't completely agree with this diagnosis. I think there are more serious difficulties. I'd be interested in a discussion on symbolic math in Python sometime, but perhaps not on this list. I'd like the people who use and develop
https://www.sagemath.org/ to be involved.
--
Jonathan