Diff rules

Differentiation rules 6, 7, 10, 12