(+ (+ x x) v1) | (+ x x)
