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