An exact algorithm for the maximal sharing of partial terms in multiple constant multiplications