Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 3 4 8 24
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P2 : t^5 - 7*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 8 Kronrod extension for:
P3 : t^9 - 71/3*t^7 + 1399/9*t^5 - 2965/9*t^3 + 590/3*t
Solvable: 1
-------------------------------------------------
Trying to find an order 24 Kronrod extension for:
P4 : t^17 - 1529814253969/16753860777*t^15 + 159113012962007/50261582331*t^13 - 8081473967104151/150784746993*t^11 + 71537082906692561/150784746993*t^9 - 36627085158415339/16753860777*t^7 + 83781328830792607/16753860777*t^5 - 88756606077394045/16753860777*t^3 + 11500071526304270/5584620259*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^41 - 17269618763954452630428658234986370353332354033021419506068405393218059756574545731018816270009777481714990065056280791426914330961280102726040770922888744226337387636625440452581293583963151710047910127/29608085965386344001760983259998076955241787125225105880009980353549861538895780581813907218145201888145245294686407194901458402548258529479395531949748039368587482465275150240064487256826251441343719*t^39 + 229767368157832384706340281745950422999771601149948508546384500415028381000369168747389155248615658478634729677607262246774431483040299395655638910850054517172905701019645905910025706365364121390151900869113/1510012384234703544089810146259901924717331143386480399880508998031042938483684809672509268125405296295407510029006766939974378529961185003449172129437150007797961605729032662243288850098138823508529669*t^37 - 106660736974093957418392994882216086451629318132755378045245078307945811128511657286797223872617848446387293440438152167550125946557434435896063076540257277356805603341398113572009120589128931115490671732963685/4530037152704110632269430438779705774151993430159441199641526994093128815451054429017527804376215888886222530087020300819923135589883555010347516388311450023393884817187097986729866550294416470525589007*t^35 + 10948887524801397977114828475908208410799959337797434032068165012723971646435018815167577806085575578030744085423219941490404906937934978398957925846652378287653151272928229927373441802931579219771305110344297380/4530037152704110632269430438779705774151993430159441199641526994093128815451054429017527804376215888886222530087020300819923135589883555010347516388311450023393884817187097986729866550294416470525589007*t^33 - 614634279832336453685958301614265576689266637995642083710671159980386982165330173109021579943153642286615396192965493389893598392207386494018150830089476049439282082102473164642384615175654942175792978476402751030/3523362229880974936209557007939771157673772667901787599721187662072433523128597889235854958959279024689284190067682456193273549903242765008048068302020016684861910413367742878567673983562323921519902561*t^31 + 290372317782439480367788917161757686269148892913249010920626077342452096395484593334618022516654071807503493209638169376665968703301849828608403584615741433539529938057569483069158446808912500302825156352742659936646/31710260068928774425886013071457940419063954011116088397490688958651901708157381003122694630633511222203557710609142105739461949129184885072432614718180150163757193720309685907109065852060915293679123049*t^29 - 11313573877043548776217802886763741932831148955609075548625062358465976107457322213403335044047445304354114003390856064024534053361774360761462233909286669785470799294966487716593730116074413742602468382628136916726338/31710260068928774425886013071457940419063954011116088397490688958651901708157381003122694630633511222203557710609142105739461949129184885072432614718180150163757193720309685907109065852060915293679123049*t^27 + 12262016157233844638298018414471560655027664446741873482430715302376865035137435167896726554911359658059583288408230277875521281933671917168249078042807871329946880520880783531026859736459109525572109198776984259798596/1174454076626991645403185669313257052557924222633929199907062554024144507709532629745284986319759674896428063355894152064424516634414255002682689434006672228287303471122580959522557994520774640506634187*t^25 - 271034520576682023118474345084952350188216679982153902843846989094624566612231483905193391944932749994636238991619026389163304704831921288434571197380085981928147100398100883308176458668665432797268831478296136846906600/1174454076626991645403185669313257052557924222633929199907062554024144507709532629745284986319759674896428063355894152064424516634414255002682689434006672228287303471122580959522557994520774640506634187*t^23 + 646837301488285966204423415406353218029446419879353715205346791502845103347412485962080201484640114969503200882440073736594467740737448241995367718351057032776595329034235043838613425746149806727424577481877937347667200/167779153803855949343312238473322436079703460376275599986723222003449215387076089963612140902822810699489723336556307437774930947773465000383241347715238889755329067303225851360365427788682091500947741*t^21 - 428118218435215066710712092078110302805799577590839308458532632107942591927835382358590926185888627603941325802986548880458954297184230957733640841048625053312098040161866856307088499487366208044667466684077413232860200/8830481779150313123332223077543286109458076861909242104564380105444695546688215261242744258043305826288932807187174075672364786724919210546486386721854678408175214068590834282124496199404320605313039*t^19 + 236292856683716233264587355082088650020376120554921764570602969106021712688066033753447614710005474421773643254678522741484484442242751515079949886187069763087517328761655174226107845876595079121287358419540293529818550/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^17 - 1630779143442611196024915044068568396767935758468312633082866992993408789626626937676952550853346249158143346029809841408141441003160947310007781293345378603641156402463979016405158650093939208033124870693788384609436950/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^15 + 8107108132199007287608193843717617386037271800771241915367693225585601403442734523332123062921733119180433907079356104865193960490421322111027887312634078766903603433961148256251935162611168759111659226280315935956445750/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^13 - 28187885454904033728517707622122902302262692564396104375923518318462091498003977298202768141029390116579893098732363267082635616247423888115298519738594780405636265024463462617316199615606720783435977631032304390853319250/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^11 + 65780395591159009861455405891270254873047371833500210526337104919503430853030892751780013471023016326354619872961022888976739328777558945385149154815109436698643351644076089335960359415314092132346066023604164546716446125/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^9 - 97175262821511308207923024578473451059701010794046423754803940377676858818432053879687894215501245197544836649788347287071585235377329827993948214673111204885133053527504072324837748752769046347666121163761245169414864625/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^7 + 83176064662009030819824040149620817593149792864056983239965806362817887495221383817311871231771087858909683163134962875049144432138762284355381663421451193223720251449551775114910984204543367786594372579322058591219729125/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^5 - 35188495094096836950914934201933419313990150127375989656972802118290941885820435797451577462948521348673287981575211428169315756628439446505346663308525335868926014979468309016839582978643761061532739056243922359669091875/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*t^3 + 4905856735378009266868915557746370812448535131321274800507806699132627299271874895013786542452111135521964914620764237058646184107069609417552200083429021508611102091975287482435046937486809879540879821790909831770523750/519440104655900771960719004561369771144592756582896594386140006202629149805189133014279074002547401546407812187480827980727340395583482973322728630697334024010306709917107898948499776435548270900767*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:   39 out of 41
Indefinite weights: 0 out of 41
Negative weights:   2 out of 41
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
