(+ x 2) | (+ x x)
