realanal: partially complete additive and scaling rules for differentiation. state but not prove product rule.