Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 43
-------------------------------------------------
Trying to find an order 43 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^47 - 4625517644991132802729138788794668/584052756600661157606210712525*t^45 + 13574873703035280166343963449844852992/7592685835808595048880739262825*t^43 - 618456921662192744869180450518646546901/2530895278602865016293579754275*t^41 + 11458738581924292860634415391381013722751/506179055720573003258715950855*t^39 - 234879704550295910624245805628832279042703/155747401760176308694989523340*t^37 + 5825506435342855949112254120604512322748737/77873700880088154347494761670*t^35 - 1758727453019977349469175844855605820910752943/622989607040705234779958093360*t^33 + 25579220822797304801370993876361082863891423251/311494803520352617389979046680*t^31 - 462142722687646787918109473789989541469056548653/249195842816282093911983237344*t^29 + 2031230883036297691859452502966566089265575901647/62298960704070523477995809336*t^27 - 444277583777458432644535452757080330712721458167165/996783371265128375647932949376*t^25 + 4699866352148790723808469230891958110460834063950635/996783371265128375647932949376*t^23 - 152604258010384370199036006747554672625681176242642635/3987133485060513502591731797504*t^21 + 469391728048716549662836935389184493984610477103841575/1993566742530256751295865898752*t^19 - 17208391421277724094713052736064704602099818179744674475/15948533940242054010366927190016*t^17 + 114815568885628042551534892106676954409667890475823285675/31897067880484108020733854380032*t^15 - 1081734201956281562154991754030473482718682296563542764725/127588271521936432082935417520128*t^13 + 215895820654988474055766121702084721469402721183347199175/15948533940242054010366927190016*t^11 - 7081871297037039805985077776124887570603989877070326445125/510353086087745728331741670080512*t^9 + 4334921788493153830146311367925789273886377251313406548875/510353086087745728331741670080512*t^7 - 5766319406827420812997055415222563751926923979828148252375/2041412344350982913326966680322048*t^5 + 458726798203410353282549776720199231767010251173931030125/1020706172175491456663483340161024*t^3 - 206399574846289241973958730964257727903619754592933648375/8165649377403931653307866721288192*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:   45 out of 47
Indefinite weights: 0 out of 47
Negative weights:   2 out of 47
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
