You can use it to do so (as an interactive tool).

But it can also be useful as a library, when you develop sth where some symbolic derivation can be useful.