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