Maybe show an explicit example. Usually `(A - B).evalf()` does it, where `A` and `B` are mathematically equal but different enough to not evalf to exactly 0. Like `(sin(1)**2 + cos(1)**2 - 1).evalf()` or something.