(+ 1 (+ (+ x 2) (+ x 2))) | (w1 x)
