Symbolic differentiation tool