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