(+ v1 x) | (+ 2 (+ (+ v3 x) x))
