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