robinhouston on Nostr: There’s a fun paper showing that you can define all elementary functions using just ...
There’s a fun paper showing that you can define all elementary functions using just two primitive operations: the constant 1, and the binary function eml(x, y) := e^x - log(y).
https://arxiv.org/abs/2603.21852That’s a neat little result, which makes for some fun games.
What’s the simplest expression you can find that evaluates to your favourite constant?
The best I have found for 2 is:
eml(1, eml(eml(eml(1, eml(eml(1, eml(1, eml(1, 1))), 1)), eml(1, 1)), 1))
Published at
2026-04-15 21:30:26 UTCEvent JSON
{
"id": "49ea28cd7589b20039ed49a71de33838161755e0b477ae20bce592b4bb0e1190",
"pubkey": "8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b",
"created_at": 1776288626,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@robinhouston/116410851408297334",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/robinhouston/statuses/116410851408297334",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/robinhouston/statuses/116410851408297334",
"pink.momostr"
],
[
"-"
]
],
"content": "There’s a fun paper showing that you can define all elementary functions using just two primitive operations: the constant 1, and the binary function eml(x, y) := e^x - log(y).\n\nhttps://arxiv.org/abs/2603.21852\n\nThat’s a neat little result, which makes for some fun games.\n\nWhat’s the simplest expression you can find that evaluates to your favourite constant?\n\nThe best I have found for 2 is:\n\neml(1, eml(eml(eml(1, eml(eml(1, eml(1, eml(1, 1))), 1)), eml(1, 1)), 1))",
"sig": "3101f0c355bc8202fb7b0dc20d89de2f17e0b32c31caa1bd6cff70adf3c9f396678bef0b4c78a792d651f589679340ad83121c01b5ce809e96713d86d1b3029b"
}