@radaar What don't you understand about Kitonum's example? The f and g are considered "equal" at this point, although it's difficult to say precisely what "equal" means in a Maple context. From a mathematical viewpoint, they are unquestionably equal. From Maple's viewpoint, we have
evalb(eval(f) = eval(g));
evalb(addressof(eval(f)) = addressof(eval(g)))
That shows that they are "currently" equal, but they could become unequal if they acquire different remember tables. For example, this would make them unequal:
All of this has nothing to do with the global assignments to x and t; indeed it would all be the same even if there had been no assignments to x and t.