(+ (+ 2 (+ x 2)) 2) | (+ (v4 x) x)
