added a comment explaining the origin of the rules for diff
had an idea for implementing simplify
added a more focused version of simp2