def test_times_one(self): r = Symbol("r", REAL) f = Times(r, r, Real(1)) f = f.simplify() self.assertNotIn(Real(1), f.args())