symbolic derivatives and the rust rewrite of RE# - 新闻列表