Thanks for writing this! It's interesting and useful to me. I've been thinking about a personal "math helper". My context is that I have an engineering background and am currently studying physics.
Your "inert expressions" point really resonated. I'd like for my helper not to do anything to expressions I'm working with, at least initially. I want to micromanage and literally tell it what operations to do. I just want to remove the typos and -1/+1 etcetera mistakes that I tend to make. I also tend to get a bit lost in just simple algebra, so I'd like to be able to massage an expression multiple ways and keep ones that are making progress.
Your "inert expressions" point really resonated. I'd like for my helper not to do anything to expressions I'm working with, at least initially. I want to micromanage and literally tell it what operations to do. I just want to remove the typos and -1/+1 etcetera mistakes that I tend to make. I also tend to get a bit lost in just simple algebra, so I'd like to be able to massage an expression multiple ways and keep ones that are making progress.