This, too, has occurred to me. I am curious as to what heuristics tools like Mathematica use when you ask them to simplify an expression.
> Too much in math as commonly taught in K-12 and early college isn't really close to math as done by people really using math in, say, the STEM fields but is stuffed in there by the teachers as part of pedagogy or having a source of exercises and test questions.
> In response, generally it would be good to lower the emphasis on such make work pedagogy, get the students through it (minimize it and have lenient grading of it), and get on to what is important in math and its applications, research, etc.
I wish that I encountered proof-based math much earlier, and not the weird two-column proof thing they teach in geometry in high school. When I started working with proofs, math made a lot more sense to me.