Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 10 30
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Trying to find an order 30 Kronrod extension for:
P2 : t^12 - 8477/152*t^10 + 155745/152*t^8 - 563535/76*t^6 + 1500975/76*t^4 - 2132865/152*t^2 + 110565/152
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^42 - 61207353021989050186093439767945403405255979935645700964984353136634333843/92336983841822717755850607896184354252299781868834296552741822537011318*t^40 + 13420370807049796208295901872713657202189000795399043272735951035099306363972295/67960020107581520268306047411591684729692639455462042262817981387240330048*t^38 - 26214145493621980678309982576576547995642860370641859169536765486511102402132729195/747560221183396722951366521527508532026619034010082464890997795259643630528*t^36 + 3103346060075376926042638835741119294174124878367670137759342179515564029333826669825/747560221183396722951366521527508532026619034010082464890997795259643630528*t^34 - 259573749563028979417813224719398014512206423844294372800092489751766805223221234871635/747560221183396722951366521527508532026619034010082464890997795259643630528*t^32 + 360547827632354176332942505413128826467963873513377896149726880061897178642573333573265/16990005026895380067076511852897921182423159863865510565704495346810082512*t^30 - 180686737462785097052861051865904484853770725909149988675975040504750798841463069551281325/186890055295849180737841630381877133006654758502520616222749448814910907632*t^28 + 6206318690884347465911891484413974937155144445296058534252129474007228973716502636666345575/186890055295849180737841630381877133006654758502520616222749448814910907632*t^26 - 161540928928425090744642261875998184240530507735278809090048119892103951314807497494746923125/186890055295849180737841630381877133006654758502520616222749448814910907632*t^24 + 277071933041578574054074511199400881144873362034800657498878009496125358188095955480626191625/16251309156160798325029706989728446348404761608914836193282560766513991968*t^22 - 374836192373764589872406770581405023171003978829514433626934527847339422415820647703059434125/1477391741469163484093609726338949668036796509901348744843869160592181088*t^20 + 219553837522534815884474972017378828302444272519820918317268696406359553540036764524831608125/77757460077324393899663669807313140422989289994807828675993113715377952*t^18 - 1802867031738013394252727190248765040206620540744531613780078434189666042261916356253946314375/77757460077324393899663669807313140422989289994807828675993113715377952*t^16 + 5359540618999275141430210033047357267884860837436242003176221995115018107112048275771988953125/38878730038662196949831834903656570211494644997403914337996556857688976*t^14 - 22482154419892454931000840100689589383634455961578948317516369690535575255869287753051138061875/38878730038662196949831834903656570211494644997403914337996556857688976*t^12 + 64175841125614442952694195080644895568136430466101324394949091960367727964827445116097673355625/38878730038662196949831834903656570211494644997403914337996556857688976*t^10 - 118290644395928218235500388772577532697406733017158799511007080804410747368526242061643855071875/38878730038662196949831834903656570211494644997403914337996556857688976*t^8 + 519796128616516583179568234614320354159727963711016563950626264104035607903107017302242350146875/155514920154648787799327339614626280845978579989615657351986227430755904*t^6 - 298676285382693432669654619641981516874693532823339154834807060756894544596165858494904241578125/155514920154648787799327339614626280845978579989615657351986227430755904*t^4 + 70117914651742730189419949334386424875740744562614615560752631290100557783984650229459074734375/155514920154648787799327339614626280845978579989615657351986227430755904*t^2 - 3084528772947522571400972385646213792530185742408354826094849505259273182787353840683984953125/155514920154648787799327339614626280845978579989615657351986227430755904
-------------------------------------------------
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:   40 out of 42
Indefinite weights: 0 out of 42
Negative weights:   2 out of 42
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
