Symbolic Polynomial Differentiation

${}$