Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 59
-------------------------------------------------
Trying to find an order 59 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^61 - 520183474972410893682977930769284382386/146996893367385334241715463617070179*t^59 + 214883771474186898743656349975464314345088/146996893367385334241715463617070179*t^57 - 967208953801650176000621486967047092581301/2578892866094479548100271291527547*t^55 + 691733028237392907214153655481081083277502065/10315571464377918192401085166110188*t^53 - 183360375321157889990906318158644145406369770695/20631142928755836384802170332220376*t^51 + 18708407356384593817569138192087124077780122054325/20631142928755836384802170332220376*t^49 - 1506521086131277593182776326704737847315210301673725/20631142928755836384802170332220376*t^47 + 779150183313337749725307196970682005568369234598833075/165049143430046691078417362657763008*t^45 - 81842829152999195636885616829319852512915403125731956625/330098286860093382156834725315526016*t^43 + 1760379043545067716000016502966345250630477549309245608125/165049143430046691078417362657763008*t^41 - 249452381736030262583239812532518502043845399255486487683875/660196573720186764313669450631052032*t^39 + 29201359063379655294547202558186291180948275176369289233404625/2640786294880747057254677802524208128*t^37 - 1413730955557805824969447383607073887801136507750836473877581375/5281572589761494114509355605048416256*t^35 + 28293393753939011287656953479859756697827496622982368149354211875/5281572589761494114509355605048416256*t^33 - 233596041380016909393475720511008900862951413615083258813526411875/2640786294880747057254677802524208128*t^31 + 50733875621148645773420083217826076697517349240391790114711064025625/42252580718091952916074844840387330048*t^29 - 1126212275194470835636468643249299357730928758529549962202503431756875/84505161436183905832149689680774660096*t^27 + 2536901802656620113520675820873209007068830242418454577956560892381875/21126290359045976458037422420193665024*t^25 - 147073337970108477800681641504815841873801366479229334087022294938296875/169010322872367811664299379361549320192*t^23 + 3388208862937226521636190116895753943308576188068778989710633982156046875/676041291489471246657197517446197280768*t^21 - 30554622752307085549151347037196670872099778042130558270196039023731828125/1352082582978942493314395034892394561536*t^19 + 105814632401508316041178990609761868072737700200250883090951391741578296875/1352082582978942493314395034892394561536*t^17 - 274610283524504913463323336423213566844353931743485328903570737562896078125/1352082582978942493314395034892394561536*t^15 + 4136602855627459097781403782394360795789002252835092995180099459376224765625/10816660663831539946515160279139156492288*t^13 - 10818680338677376495058505433433350616021649384496681331788858355573516671875/21633321327663079893030320558278312984576*t^11 + 4617440261815763781511026044411502453894121593347432581960282229655064078125/10816660663831539946515160279139156492288*t^9 - 9369234764882645110925015856378416064840681417152525738444910107992561828125/43266642655326159786060641116556625969152*t^7 + 9637943247384880206730943391489238378945557878067846887493601405357429171875/173066570621304639144242564466226503876608*t^5 - 1800701499119238878301504482210638848493135734623070747351668154733108828125/346133141242609278288485128932453007753216*t^3 + 13898714612184573920996251816077016246803954874930404261139205036113828125/346133141242609278288485128932453007753216*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 1
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   60 out of 61
Indefinite weights: 0 out of 61
Negative weights:   1 out of 61
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
