We have shown that A= C[x,y]/(x²+y²-1) is a UFD (C means complex numbers). x is not a prime element here because A/(x)≈CxC which is not an ID. Hence it turns out that x is not an irreducible.
What is an explicit factorisation?
How could one "guess" such a factorisation?