(+ x (+ x v1)) | x
