Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 5 8 18
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 8 Kronrod extension for:
P2 : 16*t^9 - 168*t^7 + 432*t^5 - 270*t^3 + 45*t
Solvable: 1
-------------------------------------------------
Trying to find an order 18 Kronrod extension for:
P3 : 16*t^17 - 7832664/11003*t^15 + 652667928/55015*t^13 - 5229229734/55015*t^11 + 107801282178/275075*t^9 - 454972876533/550150*t^7 + 461002317867/550150*t^5 - 157900293621/440120*t^3 + 44369803107/880240*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^35 - 36890036899075169605030571972955213602296542390122951635364996693759358799981325652117008/11615349195169249864339020252241967790286614071155670645859947248410514583036436453807*t^33 + 5349773236554237678242719479008062357970804649472711680587651761241512524748297321028463084/19358915325282083107231700420403279650477690118592784409766578747350857638394060756345*t^31 - 2969987286618827114640689214129513459352493950185647222025420776323964826290552602261821957786/212948068578102914179548704624436076155254591304520628507432366220859434022334668319795*t^29 + 484859858783784729722036735381749238605173306663164609299911354741665683957780635248902666863639/1064740342890514570897743523122180380776272956522603142537161831104297170111673341598975*t^27 - 1966826001421326146543763277013887878503646153808590188203791605158701169615328568084876820696137/193589153252820831072317004204032796504776901185927844097665787473508576383940607563450*t^25 + 679344208665675067461488098512686296467354970819941658290246094071562642581712352951301726827749761/4258961371562058283590974092488721523105091826090412570148647324417188680446693366395900*t^23 - 609327259271967798440820667946764178863360449399765893656842635822017686491767890019584125831490837/340716909724964662687277927399097721848407346087233005611891785953375094435735469311672*t^21 + 1225075220972547914067455178664035586754131245884640616347468148666848018134420622442149105452070690333/85179227431241165671819481849774430462101836521808251402972946488343773608933867327918000*t^19 - 14078483908471315022170044053866508483779753460892215762733881044109361036702530666900527739033595320343/170358454862482331343638963699548860924203673043616502805945892976687547217867734655836000*t^17 + 114241815754912778470127735766425102961378283441391449282919974790408608222074768410325516669881231707299/340716909724964662687277927399097721848407346087233005611891785953375094435735469311672000*t^15 - 9873815573056117224285258718987195268345579079388596716123625552950884865547147993142236104688813007551/10483597222306605005762397766126083749181764494991784788058208798565387521099552901897600*t^13 + 3394518967459127572896589739891854511517497160978959130214009128123840984095814772445400422954449616307/1906108585873928182865890502932015227123957180907597234192401599739161367472645982163200*t^11 - 8327003471487652011939800015761518235262405973667930602776925124257973165138608137863931965275421809927/3812217171747856365731781005864030454247914361815194468384803199478322734945291964326400*t^9 + 12622462720716675192626879293623510252506256956924117314511829305133167144754828914915929817494251164037/7624434343495712731463562011728060908495828723630388936769606398956645469890583928652800*t^7 - 11037162954748057744100226216261469925345729811602134229162966491436372904192636394656248545968119455761/15248868686991425462927124023456121816991657447260777873539212797913290939781167857305600*t^5 + 249610307466812188902665616211245219538161165270983346479861967963286531628014947859721269464927787191/1524886868699142546292712402345612181699165744726077787353921279791329093978116785730560*t^3 - 178673726219503798365779220983697533486024342516968460230689457975035601491132623980437401698229039253/12199094949593140370341699218764897453593325957808622298831370238330632751824934285844480*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: 1
  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 ***
**************************************
