Product formulas, nonlinear semigroups, and addition of unbounded operators