  In this paper, we introduce formal sine functions whose coefficients are
elements of a generalized harmonic algebra and investigate their properties
corresponding to the classical addition formula and Pythagorean theorem. By
taking their image under a linear map with some conditions, they coincide with
the classical sine function. Moreover, we show that one such linear map is
obtained from iterated integrals.
