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