Hi,
Also, have a look at automatic differentiation <http://en.wikipedia.org/wiki/Automatic_differentiation> which is not symbolic differentiation but is just as good.
For the state of the art, you may want to take a look at this paper: http://research.microsoft.com/en-us/um/people/bguenter/ It is remarkable. Regards, Diego