4 ms·

> For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations I read the paper. Is there a table covering all other math

> For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations I read the paper. Is there a table covering all other math operations translated to eml(x,y) form?

saratogacx 6mo ago
last page of the PDF has several tree's that represent a few common math functions.
jmyeet 6mo ago
I was curious about that too. Gemini actually gave a decent list. Trig functions come from Euler's identity: e^ix = cos x + i sin x which means: e^-ix = cos -x + i sin -x = cos x - i sin x so adding them together: e^ix + e^-ix = 2 cos x cos x = (e*ix - e^-ix) / 2 So I guess the real part of that. Multiplication, division, addition and subtraction are all straightforward. So are hyperbolic trig functions. All other trig functions can be derived as per above.
sandrocksand 6mo ago
I think what you want is the supplementary information, part II "completeness proof sketch" on page 12. You already spotted the formulas for "exp" and real natural "L"og; then x - y = eml(L(x), exp(y)) and from there apparently it is all "standard" identities. They list the arithmetic operators then some constants, the square root, and exponentials, then the trig stuff is on the next page. You can find this link on the right side of the arxiv page: https://arxiv.org/src/2603.21852v2/anc/SupplementaryInformation.pdf https://arxiv.org/src/2603.21852v2/anc/SupplementaryInformat...
deleted 6mo ago
[deleted]
vbezhenar 6mo ago
Didn't read the paper, but it was easy for me to derive constants 0, 1, e and functions x + y, x - y, exp(x), ln(x), x * y, x / y. So seems to be enough for everything. Very elegant.
- adornKey 6mo ago
  Although x + y is surprisingly more complicated than you'd expect at first. The construction first goes for exp(x) and ln(x) then to x - y and finally uses -y to get to x + y.

> For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations I read the paper. Is there a table covering all other math operations translated to eml(x,y) form?

saratogacx 6mo ago

last page of the PDF has several tree's that represent a few common math functions.

jmyeet 6mo ago

I was curious about that too. Gemini actually gave a decent list. Trig functions come from Euler's identity: e^ix = cos x + i sin x which means: e^-ix = cos -x + i sin -x = cos x - i sin x so adding them together: e^ix + e^-ix = 2 cos x cos x = (e*ix - e^-ix) / 2 So I guess the real part of that. Multiplication, division, addition and subtraction are all straightforward. So are hyperbolic trig functions. All other trig functions can be derived as per above.

sandrocksand 6mo ago

I think what you want is the supplementary information, part II "completeness proof sketch" on page 12. You already spotted the formulas for "exp" and real natural "L"og; then x - y = eml(L(x), exp(y)) and from there apparently it is all "standard" identities. They list the arithmetic operators then some constants, the square root, and exponentials, then the trig stuff is on the next page. You can find this link on the right side of the arxiv page: https://arxiv.org/src/2603.21852v2/anc/SupplementaryInformation.pdf https://arxiv.org/src/2603.21852v2/anc/SupplementaryInformat...

deleted 6mo ago

[deleted]

vbezhenar 6mo ago

Didn't read the paper, but it was easy for me to derive constants 0, 1, e and functions x + y, x - y, exp(x), ln(x), x * y, x / y. So seems to be enough for everything. Very elegant.

adornKey 6mo ago
Although x + y is surprisingly more complicated than you'd expect at first. The construction first goes for exp(x) and ln(x) then to x - y and finally uses -y to get to x + y.