v1 | (+ (+ (+ (+ 2 (+ 2 2)) 1) 2) 1)
(+ (+ (+ y y) 1) v1) | (+ (+ (+ y y) 1) (+ (+ (+ (+ 2 (+ 2 2)) 1) 2) 1))
(+ (+ (+ (+ y y) 1) v1) x) | (+ (+ (+ (+ y y) 1) (+ (+ (+ (+ 2 (+ 2 2)) 1) 2) 1)) x)
