[math-fun] Solving some logarithmic equations exactly