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).
to prevent any evaluation.  In principle, not just to True/False.