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