(+ x (+ 2 v1)) | x
