rút gọn biểu thức