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