(v3 x) | (v10 x)
(+ (+ (v3 x) (v4 x)) 2) | (+ (+ (v10 x) (v11 x)) 2)
(v4 x) | (v11 x)
(+ (v3 x) (v4 x)) | (+ (v10 x) (v11 x))
(v2 x y) | (v9 x y)
