Equality: add examples to docstring

Show effect of simplify and evaluate=False kwarg.

(one of several bits left over from #7960, if unwanted just say so).
Please move the import up to the top.