// Simson1.ggb  3.2s, 2.4s, 2.05s, 1.33s, 1.11s, 0.99s, 0.84s, 0.79s
// [v40^4*v42^2+2*v40^2*v39^2*v42^2+v39^4*v42^2-2*v40^3*v42^3-2*v40*v39^2*v42^3+v40^2*v42^4+v39^2*v42^4-2*v40^2*v39*v42^2*v41-2*v39^3*v42^2*v41+v40^4*v41^2+2*v40^2*v39^2*v41^2+v39^4*v41^2-2*v40^3*v42*v41^2-2*v40*v39^2*v42*v41^2+2*v40^2*v42^2*v41^2+2*v39^2*v42^2*v41^2-2*v40^2*v39*v41^3-2*v39^3*v41^3+v40^2*v41^4+v39^2*v41^4]
aa:=eliminate([2*v44*v40+-1*v40^2+2*v43*v39+-1*v39^2,2*v44*v42+-1*v42^2+2*v43*v41+-1*v41^2,-1*v46^2+-1*v45^2+2*v46*v44+2*v45*v43,-1*v48+v46+v39,-1*v47+v45+-1*v40,-1*v50+v46+v41+-1*v39,-1*v49+v45+-1*v42+v40,-1*v52+v46+-1*v41,-1*v51+v45+v42,-1*v53*v40+v54*v39,v53*v48+-1*v54*v47+-1*v53*v46+v47*v46+v54*v45+-1*v48*v45,v55*v52+-1*v56*v51+-1*v55*v46+v51*v46+v56*v45+-1*v52*v45,-1*v55*v42+v56*v41,v57*v50+-1*v58*v49+-1*v57*v46+v49*v46+v58*v45+-1*v50*v45,-1*v57*v42+v58*v41+v57*v40+-1*v41*v40+-1*v58*v39+v42*v39,-1+-1*v61*v57*v56+v61*v58*v55+v61*v57*v54+-1*v61*v55*v54+-1*v61*v58*v53+v61*v56*v53],revlist([v43,v44,v46,v47,v48,v49,v50,v51,v52,v53,v54,v55,v56,v57,v58,v61]))