That's an interesting problem. But how is the left hand side of Equation 2 formally defined? It should be a limit of some sequence, probably the one satisfying

x_(n+1) = 2 - sqrt(x_n)

But then there's a question of x_0, which is not set. I think you get the same thing for many choices of x_0, though some might be weird. If you take the most natural choice x_0 = 1, you get

x_0 = 1

x_1 = 2 - sqrt(x_0) = 1

x_2 = 2 - sqrt(x_1) = 1

...

So, it's a constant sequence of 1's. Also, this whole thing is a great intuition for fixed point theorems.

Anyway, just thought that was interesting.