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