Why the existence of Taylor series doesn't imply it coverges to the original function

now assume that there exists a power series that's equal to it:

This is where the problem lies. If a function is expressible by a power series at a point, then that power series is the Taylor series. But not all functions are so expressible.

You are confusing the following two conditions:

1. The function $f$ admits a Taylor series at (argument) $0$, and

2. There exists a power series $\sum_ia_ix^i$ that converges to $f(x)$ for all $x$ (in the domain of $f$).

While the second condition implies the first (and the Taylor series will then be that $\sum_ia_ix^i$), the first statement does not imply the second. It only means that $f$ is smooth (indefinitely differentiable) in the neighbourhood of$~0$ (namely: its repeated derivatives at$~0$ will define the Taylor series). This is what the first enumerated point in your question seems to acknowledge. But you cannot get from there to the second statement, and the fact that the second implies the first is not helpful in doing so.

The only relation required between a function and its Taylor series is that those derivatives and the coefficients of the series match. For a given value $x\neq0$, the Taylor series may or may not converge, but even if it does, this does not (necessarily) give you $f(x)$. To see why not, it suffices to add to $f$ some nonzero function with zero Taylor series; your parenthesised remark seems to indicate you are aware that such functions exist (if not, consider $\exp(-x^{-2})$ extended by continuity at $x=0$). But I repeat, the Taylor series does not have to converge at all, for any $x$ (except for $x=0$).

A Taylor series is just a formal power series, a way to collect the information of all derivatives of$~f$ evaluated at$~0$. Indeed (though it takes some work to see this) every formal power series occurs as the Taylor series of some function (in fact of infinitely many of them).

A standard example is $$ f(x)=\begin{cases}e^{-\frac{1}{x^2}}&x>0\\0&x\leq 0\end{cases}. $$ This function is smooth (it is actually infinitely differentiable), but if you compute the Taylor series at $0$, you'll find that all of the Taylor coefficients are zero! Therefore, this function has a Taylor series at $0$, which is convergent for all $x$, but isn't equal to the original function! This satisfies the statement that you mentioned that not all smooth functions are analytic.