More derivative rules plus a simplify tweak.