Starting with polynomial:
P : 256*t^8 - 3584*t^6 + 13440*t^4 - 13440*t^2 + 1680
Extension levels are: 8 11 18
-------------------------------------------------
Trying to find an order 11 Kronrod extension for:
P1 : 256*t^8 - 3584*t^6 + 13440*t^4 - 13440*t^2 + 1680
Solvable: 1
-------------------------------------------------
Trying to find an order 18 Kronrod extension for:
P2 : 256*t^19 - 19308928/1347*t^17 + 418651520/1347*t^15 - 1521292480/449*t^13 + 9071700160/449*t^11 - 30031939520/449*t^9 + 52723966680/449*t^7 - 43021232100/449*t^5 + 12604959675/449*t^3 - 2144332575/898*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 256*t^37 - 361348630291589558025130458092279134914123559031960208703398831004192/6086396488736756248129170056954142823553589469301862889801776963*t^35 + 37020860223623584606917800538457650113909363235359460886538749146247760/6086396488736756248129170056954142823553589469301862889801776963*t^33 - 739745345501520955152456609998493499047636775238254484569394435193776080/2028798829578918749376390018984714274517863156433954296600592321*t^31 + 28974302201217152118437347188212643218192679047342950780176059035231107160/2028798829578918749376390018984714274517863156433954296600592321*t^29 - 8628525691603346383012225712582249824721064165448626109551009660297958159780/22316787125368106243140290208831857019696494720773497262606515531*t^27 + 166617302286983614015365184705778363564429530931876139008764403952616336591470/22316787125368106243140290208831857019696494720773497262606515531*t^25 - 2335196384712973146251174172777758462565471846367404890412550409237328260991375/22316787125368106243140290208831857019696494720773497262606515531*t^23 + 47897479796205894770471646411670141301733160150396185958195652650811802442162125/44633574250736212486280580417663714039392989441546994525213031062*t^21 - 3957852781830687342968334488967282203458176633906135224344024212990006120629324625/490969316758098337349086384594300854433322883857016939777343341682*t^19 + 10830470681390932122726779000783355376860102259575553733585176636912918871740199250/245484658379049168674543192297150427216661441928508469888671670841*t^17 - 682693149228428373282399882109892758258801975413004707314352648510240629184556146375/3927754534064786698792691076754406835466583070856135518218746733456*t^15 + 3795477602075744905884307235214320431005721314694108575561406398511069168601989520625/7855509068129573397585382153508813670933166141712271036437493466912*t^13 - 14439883570906114430421076575827521064673141678783488683542559745594097651783928108125/15711018136259146795170764307017627341866332283424542072874986933824*t^11 + 3265110533663939699935565832935589186067759658326158453511921103508392211869997200625/2856548752047117599121957146730477698521151324259007649613633987968*t^9 - 4962719609134735081201140504029663586670977523965663523058305315553319376519906228125/5713097504094235198243914293460955397042302648518015299227267975936*t^7 + 4173485951684908680097005473058900880876177418734785098285860052698911279207772640625/11426195008188470396487828586921910794084605297036030598454535951872*t^5 - 3348283196191046197741570341260572703168391386529911268849086741186441377042367596875/45704780032753881585951314347687643176338421188144122393818143807488*t^3 + 470179289136458950100707945007493694221888075272893083462419014468259838491513221875/91409560065507763171902628695375286352676842376288244787636287614976*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 ***
**************************************
