* tests/python/is-equivalent.py: Since we move to more `trivial`
identities, this test was weakened, as the expressions were not just
equivalent, but equal.