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