(+ 2 x) | (+ x x)
