(+ (+ x x) x) | (+ x (+ 1 2))
