This is perhaps the most unnatural equation (well identity) in maths. It doesn't fall out anywhere, you would never write it down and solve for e, it's a special case of a more general result you would get first, and it's symbol soup for precisely the reason that the identity itself confers no understanding.
exp/log are natural because you almost can't help but discover them as they appear in so many different seemingly unrelated places.
That's certainly one way, but you can also define exp via its power series (which is easily proven to be convergent everywhere). Then, all the properties of exp, as well as Euler's formula, are actual theorems, not just definitions.
We want a^(i pi) + 1 = 0. Now,
a^(i pi) = e^(ln(a) i pi) = e^(i ln(a) pi) = cos( ln(a) pi) + i sin( ln(a) pi),
so we want cos( ln(a) pi) = -1, sin( ln(a) pi) = 0,
so ln(a) = 1, 3, 5, so a = e, e^3, e^5, ...
Thus indeed e^(i pi) + 1 = 0.
But also ln(a) = -1, -3, -5 work, so for example for
a = 1/e = 0.3678794412... > 0, we have
a^(i pi) + 1 = 0;
and of course for a = e^-99 = 1.0112214926104485... × 10^-43 etc.
(Off-by-one errors, they're not just for programmers!)