Solve system y=((-2 + a) sqrt(1 - a^2))/(-1 + a^2) x+1, x^2+y^2=1