Goldberg’s theorem [Duke Math. J. 23 (1956) 13] is applied to expressing the logarithm of exponential product in terms of free Lie elements, using hyperoperators, namely, inner derivations. A symmetric property of the expansion coefficients in the formal power series is also discussed.