efficient use of expand on Add/Mul args