rule firings: {'x+0 (int)': 1}
p+0 is one node, so it is rewritten once. the memo then answers for both uses.
