Automating Symbolic Partial Differentiation on Multivariate Polynomials | Synapse