solve e^x = y for x
Let's solve in ℝ: ex = y
The logarithm being defined only for positive numbers, let's apply the ln function on both sides, provided that y > 0:
ln(ex) = ln(y)
ⓘ For real x, ln(exp(x)) = x; wherever ln(x) is defined, exp(ln(x)) = x: ln(ex) = x
Solution found: x = ln(y)
Let's solve for y: y > 0
Solution found: y > 0
▶Solution:   { x = ln(y), y > 0 }