to_poly_solve hangs



Hi maxima,
Robert Dodier referred me to you.
I get the message that Maxima is calculating for a half hour on this input:

load(to_poly_solver);
to_poly_solve([0=x^2-1+(a-(t-x)*(t+1/(2*((t-x)^2+(b-sqrt(1-x^2))^2))*(2*(b*x-t*sqrt(1-x^2))*(b-sqrt(1-x^2))-2*(x^2*(b^2-t^2)*(x^2-2+2*t*x-t^2)+t^2*(x^2+b^2-1)-(2*t*x-x^2)*(1+b^2+t^2-2*t*x)-2*b*sqrt(1-x^2)*((t-x)^2+t*x*(x^2+2*t*x-t^2-2)))^(1/2)))^-1*(a+(1-1/(4*((t-x)^2+(b-sqrt(1-x^2))^2)^2)*(4*(b*x-t*sqrt(1-x^2))^2*(b-sqrt(1-x^2))^2-8*(x^2*(b^2-t^2)*(x^2-2+2*t*x-t^2)+t^2*(x^2+b^2-1)-(2*t*x-x^2)*(1+b^2+t^2-2*t*x)-2*b*sqrt(1-x^2)*((t-x)^2+t*x*(x^2+2*t*x-t^2-2)))^(1/2)*(b*x-t*sqrt(1-x^2))*(b-sqrt(1-x^2))+4*(x^2*(b^2-t^2)*(x^2-2+2*t*x-t^2)+t^2*(x^2+b^2-1)-(2*t*x-x^2)*(1+b^2+t^2-2*t*x)-2*b*sqrt(1-x^2)*((t-x)^2+t*x*(x^2+2*t*x-t^2-2)))))^(1/2)))^2 ], [x] );

Please help.
Regards,
Art Lenskold