Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 5 8 18
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Trying to find an order 8 Kronrod extension for:
P2 : t^9 - 21*t^7 + 108*t^5 - 135*t^3 + 45*t
Solvable: 1
-------------------------------------------------
Trying to find an order 18 Kronrod extension for:
P3 : t^17 - 979083/11003*t^15 + 163166982/55015*t^13 - 2614614867/55015*t^11 + 107801282178/275075*t^9 - 454972876533/275075*t^7 + 922004635734/275075*t^5 - 157900293621/55015*t^3 + 44369803107/55015*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^35 - 4611254612384396200628821496619401700287067798765368954420624586719919849997665706514626/11615349195169249864339020252241967790286614071155670645859947248410514583036436453807*t^33 + 1337443309138559419560679869752015589492701162368177920146912940310378131187074330257115771/19358915325282083107231700420403279650477690118592784409766578747350857638394060756345*t^31 - 1484993643309413557320344607064756729676246975092823611012710388161982413145276301130910978893/212948068578102914179548704624436076155254591304520628507432366220859434022334668319795*t^29 + 484859858783784729722036735381749238605173306663164609299911354741665683957780635248902666863639/1064740342890514570897743523122180380776272956522603142537161831104297170111673341598975*t^27 - 1966826001421326146543763277013887878503646153808590188203791605158701169615328568084876820696137/96794576626410415536158502102016398252388450592963922048832893736754288191970303781725*t^25 + 679344208665675067461488098512686296467354970819941658290246094071562642581712352951301726827749761/1064740342890514570897743523122180380776272956522603142537161831104297170111673341598975*t^23 - 609327259271967798440820667946764178863360449399765893656842635822017686491767890019584125831490837/42589613715620582835909740924887215231050918260904125701486473244171886804466933663959*t^21 + 1225075220972547914067455178664035586754131245884640616347468148666848018134420622442149105452070690333/5323701714452572854488717615610901903881364782613015712685809155521485850558366707994875*t^19 - 14078483908471315022170044053866508483779753460892215762733881044109361036702530666900527739033595320343/5323701714452572854488717615610901903881364782613015712685809155521485850558366707994875*t^17 + 114241815754912778470127735766425102961378283441391449282919974790408608222074768410325516669881231707299/5323701714452572854488717615610901903881364782613015712685809155521485850558366707994875*t^15 - 9873815573056117224285258718987195268345579079388596716123625552950884865547147993142236104688813007551/81903103299270351607518732547860029290482535117123318656704756238792090008590257046075*t^13 + 3394518967459127572896589739891854511517497160978959130214009128123840984095814772445400422954449616307/7445736663570031964319884777078184480952957737920301696064068748981099091690023367825*t^11 - 8327003471487652011939800015761518235262405973667930602776925124257973165138608137863931965275421809927/7445736663570031964319884777078184480952957737920301696064068748981099091690023367825*t^9 + 12622462720716675192626879293623510252506256956924117314511829305133167144754828914915929817494251164037/7445736663570031964319884777078184480952957737920301696064068748981099091690023367825*t^7 - 11037162954748057744100226216261469925345729811602134229162966491436372904192636394656248545968119455761/7445736663570031964319884777078184480952957737920301696064068748981099091690023367825*t^5 + 998441229867248755610662464844980878152644661083933385919447871853146126512059791438885077859711148764/1489147332714006392863976955415636896190591547584060339212813749796219818338004673565*t^3 - 178673726219503798365779220983697533486024342516968460230689457975035601491132623980437401698229039253/1489147332714006392863976955415636896190591547584060339212813749796219818338004673565*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
Sufficient bits for target precision reached
Positive weights:   29 out of 35
Indefinite weights: 0 out of 35
Negative weights:   6 out of 35
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
