Differentiation support for products and polynomials. Rationals and standalone soon to come in a later update.