Symbol: reduce_add_sub