Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 3 6 26
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Trying to find an order 6 Kronrod extension for:
P2 : t^5 - 7*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 26 Kronrod extension for:
P3 : t^11 - 6923/164*t^9 + 97479/164*t^7 - 566685/164*t^5 + 1313235/164*t^3 - 418635/82*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^37 - 9677760980250929714296375932722228873871700280671937713461681871189/17474911227006623643937863932476603781518266745687914025362038292*t^35 + 4758253990583310088300420805205125221782817719718150704171100527529559/34949822454013247287875727864953207563036533491375828050724076584*t^33 - 229234777374127007505224926849209154675634318525622975162685852375694989/11649940818004415762625242621651069187678844497125276016908025528*t^31 + 65253625553933673889995397200910576573130424381690190172965729366452050219/34949822454013247287875727864953207563036533491375828050724076584*t^29 - 4300458815499615342371391563519482204513922298263249873764201100892457663997/34949822454013247287875727864953207563036533491375828050724076584*t^27 + 7524989455853686842775325311007710540104296818468555925738891961706172306515/1294437868667157306958360291294563243075427166347252890767558392*t^25 - 259439269578128536074970937134006332882697872180627314726436491228408094815425/1294437868667157306958360291294563243075427166347252890767558392*t^23 + 598620211391254930114632391356492975019981880398222582863649847467550520968975/117676169878832482450760026481323931188675196940659353706141672*t^21 - 11206638068362490007645514260531605245985400453795530195227815676451109170223525/117676169878832482450760026481323931188675196940659353706141672*t^19 + 154112464093225887246182943756196193477098369620365432269436211663617593533807075/117676169878832482450760026481323931188675196940659353706141672*t^17 - 1540837870802419301094147570820648029903471172823255379651210957439283258635240125/117676169878832482450760026481323931188675196940659353706141672*t^15 + 11003084701740830138636680475523673759821042164652829730396288042659580505658985625/117676169878832482450760026481323931188675196940659353706141672*t^13 - 54582289403737741643258876392907662856437220924301990066139471451485209740426253375/117676169878832482450760026481323931188675196940659353706141672*t^11 + 180287208498045758760871504344841942462323148574314337395600107700943168942848183875/117676169878832482450760026481323931188675196940659353706141672*t^9 - 371336395763594672528826390866627300258911489568298582852048598150625703917687276625/117676169878832482450760026481323931188675196940659353706141672*t^7 + 428604813259731233285957779194655792624361589682719369257061341577092040887203168125/117676169878832482450760026481323931188675196940659353706141672*t^5 - 228241990123102841642641235412367136689065688287006547625134632025350034090034458125/117676169878832482450760026481323931188675196940659353706141672*t^3 + 17831462585522020446778732358198722830316435255985870577135054102541799038308230625/58838084939416241225380013240661965594337598470329676853070836*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:   35 out of 37
Indefinite weights: 0 out of 37
Negative weights:   2 out of 37
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
