(+ x (v1 x)) | x
