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