Clarification about Hasse's Theorem for Elliptic Curve over Finite Fields

In the proof of Hasse's Theorem over finite fields, one considers the Frobenous endomorphism $\phi(x,y) \rightarrow (x^q,y^q) \in E(\bar{F_q})$ and then notes that this endomorphism fixes the elements of $F_q\times F_q$ but permutes the rest of the element of ($\bar{F_q}\times \bar{F_q})\setminus (F_q\times F_q)$. Therefore, $$\#E(F_q) = \#ker(\phi - 1) = deg(\phi - 1)$$

In both Silverman's book as well as Washington's book, they go to extreme lengths (requiring Weil's pairing) in calculating the degree of this endomorphism. My question is, why can't we directly calculate the degree of this endomorphism? In other words, what's wrong with the following argument?

Let's pick a point $(\bar{x},\bar{y}) \in E(\bar{F_q})\setminus E(F_q)$ which will not be fixed by Frobenous. Then $(\bar{x}^q,\bar{y}^q)$ and $(\bar{x},\bar{y})$ cannot be equal. Therefore the explicit formula for the X-coordinate of $(\phi - 1)(\bar{x},\bar{y}) = (\bar{x}^q,\bar{y}^q) \oplus (\bar{x},-\bar{y})$ can be calculated using explicit point addition formula as $$\left(\frac{\bar{y}^q + \bar{y}}{\bar{x}^q - \bar{x}}\right)^2-\bar{x}^q - \bar{x} = \beta$$ for some $\beta \in \bar{F_q}\setminus F_q$ which is the the x-coordiate of some point. The degree of this equation can be easily calculated using high-school algebra, and that should tell us the number of points on the curve.

There is something wrong with my argument or Hasse's theorem won't be a bound. Can someone please point me what's wrong?

I actually found the answer. Basically in the expression $$\frac{(y^q + y)^2}{(x^q -x)^2} - (x^q + x) = \beta $$ one needs to discard all the roots of $x \in F_q$ since for those values of $x$, $(x^q -x)^2$ in the denominator will end up being zero. (Note that we are not guaranteed that simplifying the above equation will only have roots in $\bar{F}_q \setminus F_q $. This was the main flaw in my original argument.) Therefore, we have to manually discard roots that are in $F_q$.

After discarding those roots, the degree of numerator (or equivalently, the degree of the denominator + 1; +1 for point at infinity) is equal to size of the kernel.

Doing this exercise has helped me understand the motivation for SEA algorithm so much better. Thanks everyone for taking the time to reply to my question.