w:=xu+y可以让出现的w地方都用xu+y替代，如果要反过来，简化式子，xu+y都用某个符号代替，该怎么办？