(+ 1 (+ x x)) | (+ x x)
