// Simson2.ggb 3.5s, 2.3s, 1.94s, 1.28s, 1.12s, 0.97s, 0.77s
//[v69^4*v71^2+2*v69^2*v68^2*v71^2+v68^4*v71^2-2*v69^3*v71^3-2*v69*v68^2*v71^3+v69^2*v71^4+v68^2*v71^4-2*v69^2*v68*v71^2*v70-2*v68^3*v71^2*v70+v69^4*v70^2+2*v69^2*v68^2*v70^2+v68^4*v70^2-2*v69^3*v71*v70^2-2*v69*v68^2*v71*v70^2+2*v69^2*v71^2*v70^2+2*v68^2*v71^2*v70^2-2*v69^2*v68*v70^3-2*v68^3*v70^3+v69^2*v70^4+v68^2*v70^4]

aa:=eliminate([-2*v73*v69+v69^2+-2*v72*v68+v68^2,2*v73*v71+-1*v71^2+2*v72*v70+-1*v70^2+-2*v73*v69+v69^2+-2*v72*v68+v68^2,-1*v75^2+-1*v74^2+2*v75*v73+2*v74*v72+-2*v73*v69+v69^2+-2*v72*v68+v68^2,-1*v77+v75+v70,-1*v76+v74+-1*v71,-1*v79+v75+v68,-1*v78+v74+-1*v69,-1*v81+v75+-1*v70+v68,-1*v80+v74+v71+-1*v69,-1*v82*v71+v83*v70,v82*v77+-1*v83*v76+-1*v82*v75+v76*v75+v83*v74+-1*v77*v74,-1*v84*v69+v85*v68,v84*v79+-1*v85*v78+-1*v84*v75+v78*v75+v85*v74+-1*v79*v74,v86*v71+-1*v87*v70+-1*v86*v69+v70*v69+v87*v68+-1*v71*v68,v86*v81+-1*v87*v80+-1*v86*v75+v80*v75+v87*v74+-1*v81*v74,-1+-1*v90*v86*v85+v90*v87*v84+v90*v86*v83+-1*v90*v84*v83+-1*v90*v87*v82+v90*v85*v82],revlist([v72,v73,v75,v76,v77,v78,v79,v80,v81,v82,v83,v84,v85,v86,v87,v90]))