(p+q) is (p+q): True
nodes in (p+q)*(p+q)+(p+q): 5 (a tree would have 11)
-0.0 and 0.0 are different nodes: True
1 and True are different nodes: True
python says 1 == True: True  and 0.0 == -0.0: True
