Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 15 22
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Trying to find an order 22 Kronrod extension for:
P2 : t^19 - 93567/667*t^17 + 56576166/7337*t^15 - 1577757510/7337*t^13 + 24226003620/7337*t^11 - 18992429820/667*t^9 + 3930143490/29*t^7 - 224016557310/667*t^5 + 250467132825/667*t^3 - 83438061525/667*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^41 - 183040666278697947938063486844166976369695731455646257277091903864412094177731/326915119611802177062684452066802854741902753040441489793534410477626357174*t^39 + 131753893497780254279153508481726236662381456850891290848393839224503603814785005979/938573308405484050346967061883790995964002803979107517197237292481265271446554*t^37 - 112747479420179450388367143698688364382924069088148612921873732945339632985343457254/5394099473594735921534293459102247103241395425167284581593317772880834893371*t^35 + 323383255009501980081327789326410666156083975435118099596820013559770247671105183571350/156428884734247341724494510313965165994000467329851252866206215413544211907759*t^33 - 682226906166276488636253913006635816545639685552578247629919561295143931985114868397465/4740269234371131567408924554968641393757589919086401602006248951925582179023*t^31 + 1503051193658546550001899698718711356117530015698239063021920679300253477913559741321715/206098662363962242061257589346462669293808257351582678348097780518503573001*t^29 - 1300538826657401457510873101229717483504590133387998802388914720914895383434368840347653505/4740269234371131567408924554968641393757589919086401602006248951925582179023*t^27 + 36725778838815430088543712696811316215379267146831925489809306156898828977611381718168711695/4740269234371131567408924554968641393757589919086401602006248951925582179023*t^25 - 782028150279681163677940352124622955278285354135526457904192406883652821309425416460283510000/4740269234371131567408924554968641393757589919086401602006248951925582179023*t^23 + 545521330299475230861223672082552929764555514379312655075928085493960968637858732701343209250/206098662363962242061257589346462669293808257351582678348097780518503573001*t^21 - 6556881556600740928702442739267996011770890793189586987562678284722049345525126824766473614375/206098662363962242061257589346462669293808257351582678348097780518503573001*t^19 + 58398058658121003568500432283802839076448087207902657835331864436011861032223289056343898309375/206098662363962242061257589346462669293808257351582678348097780518503573001*t^17 - 378925477926550738125437459628792575665608415061382580312491795301784023884403020317074591130625/206098662363962242061257589346462669293808257351582678348097780518503573001*t^15 + 1747838337748157610016370956544304929899039075575752672445216150173405648817336528407458688803125/206098662363962242061257589346462669293808257351582678348097780518503573001*t^13 - 5533942295728277665493992681751419002342864186322740056288225082165856518107746774063969133533125/206098662363962242061257589346462669293808257351582678348097780518503573001*t^11 + 11432379870220324654633407571172639519439371601926839113773566167398863182515954289705631759001250/206098662363962242061257589346462669293808257351582678348097780518503573001*t^9 - 28543465795458005955802612900979454740140648881596524852892939456132389313371574105616583629069375/412197324727924484122515178692925338587616514703165356696195561037007146002*t^7 + 18951588781225363003861505836017108751177662967203375203421956878430809593829633306057105914118125/412197324727924484122515178692925338587616514703165356696195561037007146002*t^5 - 2575476936845141656464107290263634995322968591301152525002254573778780524950415447119987537796875/206098662363962242061257589346462669293808257351582678348097780518503573001*t^3 + 113630886351313560313702913668001205548410336746780884618663576403986952880387544198909303221875/206098662363962242061257589346462669293808257351582678348097780518503573001*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:   40 out of 41
Indefinite weights: 0 out of 41
Negative weights:   1 out of 41
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
