I used Mathematica for many years for getting equations right. If you're looking for new ideas I thought being able to make approximations (other than series approximations) would have been a great addition. Examples include SVEA, plane-wave approximation, RWA, paraxial approximation, binomial approximation, etc.