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