TeX source:
\mbox{simplify}(\mbox{simplify}(ex)) \neq \mbox{simplify}(ex)