//  isosceles-angle-bisector2.ggb, 0.2s, 0.18s, 0.16s, 0.04s, 0.03s [v40^2*v39^2+2*v40*v39^2*v38+v40^2*v38^2+v39^2*v38^2+2*v40*v38^3+v38^4]
aa:=eliminate([-1*v41^2+-1*v40^2+v39^2+v38^2,-1*v42*v41+v43*v40+v42*v39+-1*v40*v39+-1*v43*v38+v41*v38,2*v43*v42*v41*v40*v39^2+-1*v43^2*v40^2*v39^2+v42^2*v40^2*v39^2+-2*v43*v42*v41^2*v39*v38+-2*v43*v42*v40^2*v39*v38+v43^2*v41^2*v38^2+-1*v42^2*v41^2*v38^2+2*v43*v42*v41*v40*v38^2,-1+-1*v45*v43*v41+-1*v45*v42*v40+v45*v43*v39+v45*v42*v38],revlist([v41,v42,v43,v45]));