(+ (+ x (+ x (+ 1 (+ 2 2)))) (+ 1 (+ 2 2))) | (+ (+ 2 (+ 2 (+ x x))) v0)
(+ (+ 2 (+ (+ x (+ x (+ 1 (+ 2 2)))) (+ 1 (+ 2 2)))) x) | (+ (+ 2 x) (+ (+ 2 (+ 2 (+ x x))) v0))
(+ (+ (+ 2 (+ (+ x (+ x (+ 1 (+ 2 2)))) (+ 1 (+ 2 2)))) x) x) | (+ (+ (+ 2 x) (+ (+ 2 (+ 2 (+ x x))) v0)) x)
