(w3 x y) | (+ (w7 x y) x)
