Matlab symbolic math toolbox is awesome!

Here I really want to recommend the matlab symbolic math toolbox which refers to as MuPAD notebook. It is really convenient to derive formulas as well as simulate a system.

For more information, please refer to this link.