Suppose you have a complicated expression g for what you expect is a simple function f. Suppose also that you cannot find how to simply, combine, expand g in order to get f. What can you do? What I typically do is graph f and g, or graph f minus g. I thought I overheard someone at the Maple 05 Conference say there is a command that checks to see if f and g agree on some mesh. If they do, the command makes some response. Is there such a command? I know I should have interrupted the conversation and asked details, but I didn’t. Maybe someone can help now.