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