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