Is it possible to generalize functions like $x^y, \ln x, \sin x, \arctan x$ to surreal numbers or surcomplex numbers? Is it possible to generalize functions like $x^y, \ln x, \sin x, \arctan x$ to surreal numbers or surcomplex numbers? Which of their properties and relations (e.g. usual trig identities) will still hold in this case? Is it possible to perform differentiation and integration on these generalized functions?
 A: The following is taken from a sci.math post by Nicolau C Saldanha. Much more detail is available there. It is important to note that Nicolau does not define functions extensionally, i.e. two functions which agree everywhere but are defined differently are considered distinct.
We use the convention $f(x) = \{ f_L(x,x_L,x_R) | f_R(x,x_L,x_R) \}$ for surreal functions (note that this already breaks extensionality). We can define the definite integral of a surreal function as follows:
$$\begin{align}
\int_a^b f(t) dt = \left\{\int_a^{b_L} f(t) dt + \oint_{b_L}^b {f_L}(t) dt,\; \int_a^{b_R} f(t) dt + \oint_{b_R}^b {f_R}(t) dt,\right.\\\\
        \int_{a_R}^b f(t) dt + \oint_a^{a_R} {f_L}(t) dt,\; \int_{a_L}^b f(t) dt + \oint_a^{a_L} {f_R}(t) dt\huge\mid\\\\   
        \int_a^{b_L} f(t) dt + \oint_{b_L}^b {f_R}(t) dt,\; \int_a^{b_R} f(t) dt + \oint_{b_R}^b {f_L}(t) dt,\\\\   
        \left.\int_{a_R}^b f(t) dt + \oint_a^{a_R} {f_R}(t) dt,\; \int_{a_L}^b f(t) dt + \oint_a^{a_L} {f_L}(t) dt\right\}
\end{align}$$
Note: $\oint$ denotes direct integration, meaning the integral is evaluated without chopping the domain into pieces, not countour integration. Properly the integral should have a capital $D$ superimposed on it, but I am not sure how to do this on this site.
The definition of integral gives you $\ln x$ right away: $\ln x = \int_1^x \frac1t dt$. The integral also lets you solve the differential equations $y'=y$ and $y''=-y$, giving you $e^x,\sin x$ and $\cos x$. Nicolau claims that most standard functions, and even functions like the Riemann Zeta function should be obtainable in this manner.
However, this definition has its problems, which are discussed briefly in the linked sci.math thread. In particular, it does not behave nicely with the surreal exponential function. 
An exposition on the surreal exponential can be found in Harry Gonshor's "An introduction to the Theory of Surreal Numbers".
A: (Too long for a comment.)
It would seem to me that one other possibility for defining a transcendental function over the surcomplexes might be to use a suitable modification of the Cauchy integral formula; since you can reciprocate surcomplex numbers, one could then consider
$$f(z)=\frac1{2\pi i}\oint_\gamma f(t) (t-z)^{-1}\mathrm dt$$
where $\gamma$ is some suitable anticlockwise contour. I understand that this is on the surface a naïve proposal, and I would be interested in hearing how this might break down.
