Symbol: reduce_mul