// simson-theorem-ex288.ggb 3.2s, 2.4s, 2.08s, 1.31s, 1.18s, 1.12s, 1.02s, 0.83s
//[v35^4*v37^2+2*v35^2*v34^2*v37^2+v34^4*v37^2-2*v35^3*v37^3-2*v35*v34^2*v37^3+v35^2*v37^4+v34^2*v37^4-2*v35^2*v34*v37^2*v36-2*v34^3*v37^2*v36+v35^4*v36^2+2*v35^2*v34^2*v36^2+v34^4*v36^2-2*v35^3*v37*v36^2-2*v35*v34^2*v37*v36^2+2*v35^2*v37^2*v36^2+2*v34^2*v37^2*v36^2-2*v35^2*v34*v36^3-2*v34^3*v36^3+v35^2*v36^4+v34^2*v36^4]
aa:=eliminate([2*v39*v35+-1*v35^2+2*v38*v34+-1*v34^2,2*v39*v37+-1*v37^2+2*v38*v36+-1*v36^2,-1*v41^2+-1*v40^2+2*v41*v39+2*v40*v38,-1*v43+v41+v36+-1*v34,-1*v42+v40+-1*v37+v35,v44*v43+-1*v45*v42+-1*v44*v41+v42*v41+v45*v40+-1*v43*v40,-1*v44*v37+v45*v36+v44*v35+-1*v36*v35+-1*v45*v34+v37*v34,-1*v47+v41+-1*v36,-1*v46+v40+v37,v48*v47+-1*v49*v46+-1*v48*v41+v46*v41+v49*v40+-1*v47*v40,v48*v37+-1*v49*v36,-1*v51+v41+v34,-1*v50+v40+-1*v35,v52*v51+-1*v53*v50+-1*v52*v41+v50*v41+v53*v40+-1*v51*v40,-1*v52*v35+v53*v34,-1+v56*v52*v49+-1*v56*v53*v48+-1*v56*v52*v45+v56*v48*v45+v56*v53*v44+-1*v56*v49*v44],revlist([v38,v39,v41,v42,v43,v44,v45,v46,v47,v48,v49,v50,v51,v52,v53,v56]))