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