I agree. I often have to wrestle to get any CAS to give me an expression in the form I want. Another example would be trig expressions, where an expression can

I agree. I often have to wrestle to get any CAS to give me an expression in the form I want. Another example would be trig expressions, where an expression can be put in terms of A sin(x+B), or a sin(x) + b cos(x). Both are equivalent, but sometimes one is much more useful than another. There's rarely a builtin routine for "convert to exactly the form I want", so I have to code up the conversion myself. But at least SymPy makes that as easy as any other Python coding challenge!