x | (+ (+ x x) x)
