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