As someone who uses Mathematica every day for my own research, I can strongly relate to the ideas mentioned in this post. I prefer working with Mathematica, but it is always frustrating when I have to switch to other tools because handling symbolic expressions becomes too difficult or counterintuitive.
I would definitely support the directions for future development that were mentioned.
