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