ABSTRACT
This algorithm is not useful for computing derivatives, because its worst-case computation time is exponential, but it allows us to precisely state the problem we need to solve: to efficiently compute a symbolic derivative we need to minimize the number of operations required to compute a sum of products.
