Remix.run Logo
freehorse 3 hours ago

eml(1,eml(x,1)) = e + x

and

eml(eml(1,x),1) = e^e * x

hyperhello 2 hours ago | parent [-]

Okay, I’m tired. Not quite inverse but per the title , must be a way.

freehorse 32 minutes ago | parent [-]

I was mistaken above in the first identity, it is

eml(1,eml(x,1)) = e - x

Which then if you iterate gives x (ie is inverse of itself).

eml(1,eml(eml(1,eml(x,1)),1)) = x