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