Me, I'm seriously addicted to Maple. It does a much better job at simplifying complex algebraic expressions than Maxima or SageMath.
I have a license through my Uni till the end of this year, but after that, I may need to buy my own (for Linux).
I very often examine classical atomic potential models (as used in molecular-level material physics with lots of atoms, and in chemistry and biology in examining biomolecules and their interactions via force-field and similar potential models). Not only does one need the forces, F(r) = -dV(r)/dr, for simulations – so even reading a paper I like to ask Maple what the derivative of the potential looks like, as that is what really matters from simulation point of view –; but models like embedded atom models can have their potential defined via numerical models, and then using a distance function f(r) instead of the distance r (especially f(r)=r2 or f(r)=r-2 in particular, so one can avoid the slow square root operation completely), and examining the theoretical forms, helps understand the corner cases one will encounter when implementing one in a simulator.
So, on average, each week my subconscious tends to bubble up a reformatting/convolution/idea that is interesting enough to experiment on, to see if it might help with these potential models and VERY large distributed simulations (as in millions to billions of atoms)... And this is not "for work", this is basically what my mind does to me. Call it a hobby, I guess?
What I can tell, is that by doing this, no equation or mathematical problem really scares me anymore. Indeed, answering maths questions whose answers I don't know before I find out, has become a nice hobby; much like playing with physical puzzle toys. (I like those too.) And I really have started to value theorems and transforms; not for their internal detail, but their power of manipulation.