Equality: add examples to docstring

Show effect of simplify and evaluate=False kwarg.
Equality: minor edits to docstring
Equality: use rewrite example in docstring
Merge pull request #8381 from cbm755/eq_docstring

Equality: add examples to docstring