x+(2+x+3)化简