Semigroup product formulas and addition of unbounded operators