(+ x (+ x v0)) | x
