Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 11 28
-------------------------------------------------
Trying to find an order 11 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 28 Kronrod extension for:
P2 : 16*t^15 - 2564/3*t^13 + 116464/7*t^11 - 1045605/7*t^9 + 4515555/7*t^7 - 5082165/4*t^5 + 1931985/2*t^3 - 2916045/16*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^43 - 21689700740120204064175909610475898581468381110060875112070969083653/3879590084687788890950393626479453022082099588203765723188928341*t^41 + 31990365628308358527850625433428761581283013388075388558475729530731831/36209507457086029648870340513808228206099596156568480083096664516*t^39 - 758366722725562929995536617412243481781316464734584979984129482695419058/9052376864271507412217585128452057051524899039142120020774166129*t^37 + 14676554509044845804596983829975200280562082902230908813695062350451613102073/2751922566738538253314145879049425343663569307899204486315346503216*t^35 - 11873551593737651731357006245967751767126969210192042749198003978109348037445/49141474406045325952038319268739738279706594783914365827059758986*t^33 + 6335308036349144922858234857959136768997246168404240287549894141524401266197465/786263590496725215232613108299835812475305516542629853232956143776*t^31 - 79330580697103707718690203420408912735719696200064976233861321845413284304446205/393131795248362607616306554149917906237652758271314926616478071888*t^29 + 12072006704789286902575708876040078623164625704072721784508531532595027049938931405/3145054361986900860930452433199343249901222066170519412931824575104*t^27 - 21910685330046320261753122836157870329210796387715757182491086788993487063276864765/393131795248362607616306554149917906237652758271314926616478071888*t^25 + 971355843046508637194993840207901148969849733293482066032621367546103858858012672125/1572527180993450430465226216599671624950611033085259706465912287552*t^23 - 16360620845475494050401781288833812026588471087581647023668756814323392087727431083875/3145054361986900860930452433199343249901222066170519412931824575104*t^21 + 1365324528788799833993490269468315299821866227690135676234944292104151607354421401375/41382294236669748170137532015780832235542395607506834380681902304*t^19 - 411723671840606523477413623750747216412481437793141194372288780758017069675219574050375/2648466831146863882888802049009973263074713318880437400363641747456*t^17 + 5655548944046286494952532265566443606471830969345793758114349249131268288707329807219125/10593867324587455531555208196039893052298853275521749601454566989824*t^15 - 6894339260222245258734201550013621543310460880974331707960147882717761607634144638734375/5296933662293727765777604098019946526149426637760874800727283494912*t^13 + 92105253599976559057282763803302338662449801889340034846303367635234888097542251591600625/42375469298349822126220832784159572209195413102086998405818267959296*t^11 - 200358846604990143497892619380591232239656237640034645430305291261545320999829746724350625/84750938596699644252441665568319144418390826204173996811636535918592*t^9 + 527121529945982154111338651304890275751722155494685909974547290759073631637303028845439375/339003754386798577009766662273276577673563304816695987246546143674368*t^7 - 23245829889147206192147203432818313240232752547443430725193749867983176285564775464668125/42375469298349822126220832784159572209195413102086998405818267959296*t^5 + 112191711225739870573554388775019421953290737099974799427061635688580606464122896226596875/1356015017547194308039066649093106310694253219266783948986184574697472*t^3 - 2030705825440907966568944460560334442951858787285077552838731387587942504018136378415625/678007508773597154019533324546553155347126609633391974493092287348736*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:   41 out of 43
Indefinite weights: 0 out of 43
Negative weights:   2 out of 43
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
