Symbol: add_reduce