Symbol: BIG_MUL_ADD_VEC