CB.Calc.CHA-2: Derivatives can be computed using definitions and rules.