Symbol: felem_mul_reduce_ref