Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 43
-------------------------------------------------
Trying to find an order 43 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^47 - 1156379411247783200682284697198667/1168105513201322315212421425050*t^45 + 3393718425758820041585990862461213248/7592685835808595048880739262825*t^43 - 618456921662192744869180450518646546901/5061790557205730032587159508550*t^41 + 11458738581924292860634415391381013722751/506179055720573003258715950855*t^39 - 234879704550295910624245805628832279042703/77873700880088154347494761670*t^37 + 11651012870685711898224508241209024645497474/38936850440044077173747380835*t^35 - 1758727453019977349469175844855605820910752943/77873700880088154347494761670*t^33 + 51158441645594609602741987752722165727782846502/38936850440044077173747380835*t^31 - 462142722687646787918109473789989541469056548653/7787370088008815434749476167*t^29 + 16249847064290381534875620023732528714124607213176/7787370088008815434749476167*t^27 - 444277583777458432644535452757080330712721458167165/7787370088008815434749476167*t^25 + 9399732704297581447616938461783916220921668127901270/7787370088008815434749476167*t^23 - 152604258010384370199036006747554672625681176242642635/7787370088008815434749476167*t^21 + 1877566912194866198651347741556737975938441908415366300/7787370088008815434749476167*t^19 - 17208391421277724094713052736064704602099818179744674475/7787370088008815434749476167*t^17 + 114815568885628042551534892106676954409667890475823285675/7787370088008815434749476167*t^15 - 1081734201956281562154991754030473482718682296563542764725/15574740176017630869498952334*t^13 + 1727166565239907792446128973616677771755221769466777593400/7787370088008815434749476167*t^11 - 7081871297037039805985077776124887570603989877070326445125/15574740176017630869498952334*t^9 + 4334921788493153830146311367925789273886377251313406548875/7787370088008815434749476167*t^7 - 5766319406827420812997055415222563751926923979828148252375/15574740176017630869498952334*t^5 + 917453596406820706565099553440398463534020502347862060250/7787370088008815434749476167*t^3 - 206399574846289241973958730964257727903619754592933648375/15574740176017630869498952334*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 ***
**************************************
