The [formal group law][1] derived from an analytic function or formal series $f(x) = x + a_2 x + a_3 x^2 + ...$ and its formal compositional inverse, perhaps derived from Lagrange inversion, $f^{(-1)}(x)$ is defined by $$FGL(x,y) = f[f^{-1}(x)+f^{-1}(y)]$$. I'm interested in earlier investigations of this formula and the closely related formula $$F(x,t)=\exp[t \cdot g(x)d/dx]x = f[f^{-1}(x)+t],$$ where $g(x) = [df^{(-1)}/dx]^{-1.}$ Both occasionally pop up in MO (see [Q1][2], [Q2][3], [O3][4]). So far the earliest presentations I know of are 1) by Abel for the $FGL(x,y)$ in 1826 (cf. "[From Abel's heritage: Transcendental objects in algebraic geometry and their algebraization][5]" by F. Catanese, p. 6, Thm. 2.1, and "[The Work of Niels Henrik Abel][6]" by Houzel, p. 24, Eqn. 5.) 2) by Abel for $F(x,t)$ in 1826 (cf. [Abel equation][7], 1826). 3) by Charles Graves for $F(x,t)$ in 1853 in "A generalization of the symbolic statement of Taylor's theorem" in the Proceedings of the Royal Irish Academy, Vol. 5, (1850-1853), p. 285-287 (cf. p. 13 in The Theory of Linear Operators ... , Principia Press, 1936, by Harold T. Davis and MO-Q2). Aware of any earlier presentations than Abel's or Graves? [1]: https://en.m.wikipedia.org/wiki/Formal_group_law [2]: https://mathoverflow.net/questions/291888/characterizing-positivity-of-formal-group-laws [3]: https://mathoverflow.net/questions/52241/formal-group-laws-and-l-series [4]: https://mathoverflow.net/questions/145555/why-is-there-a-connection-between-enumerative-geometry-and-nonlinear-waves/181534#181534 [5]: https://arxiv.org/abs/math/0307068 [6]: http://www.abelprisen.no/c53052/binfil/download.php?tid=53200 [7]: https://en.m.wikipedia.org/wiki/Abel_equation