Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 15 22
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 22 Kronrod extension for:
P2 : 16*t^19 - 748536/667*t^17 + 226304664/7337*t^15 - 3155515020/7337*t^13 + 24226003620/7337*t^11 - 9496214910/667*t^9 + 1965071745/58*t^7 - 112008278655/2668*t^5 + 250467132825/10672*t^3 - 83438061525/21344*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^41 - 732162665114791791752253947376667905478782925822585029108367615457648376710924/163457559805901088531342226033401427370951376520220744896767205238813178587*t^39 + 263507786995560508558307016963452473324762913701782581696787678449007207629570011958/469286654202742025173483530941895497982001401989553758598618646240632635723277*t^37 - 225494958840358900776734287397376728765848138176297225843747465890679265970686914508/5394099473594735921534293459102247103241395425167284581593317772880834893371*t^35 + 323383255009501980081327789326410666156083975435118099596820013559770247671105183571350/156428884734247341724494510313965165994000467329851252866206215413544211907759*t^33 - 682226906166276488636253913006635816545639685552578247629919561295143931985114868397465/9480538468742263134817849109937282787515179838172803204012497903851164358046*t^31 + 1503051193658546550001899698718711356117530015698239063021920679300253477913559741321715/824394649455848968245030357385850677175233029406330713392391122074014292004*t^29 - 1300538826657401457510873101229717483504590133387998802388914720914895383434368840347653505/37922153874969052539271396439749131150060719352691212816049991615404657432184*t^27 + 36725778838815430088543712696811316215379267146831925489809306156898828977611381718168711695/75844307749938105078542792879498262300121438705382425632099983230809314864368*t^25 - 48876759392480072729871272007788934704892834633470403619012025430228301331839088528767719375/9480538468742263134817849109937282787515179838172803204012497903851164358046*t^23 + 272760665149737615430611836041276464882277757189656327537964042746980484318929366350671604625/6595157195646791745960242859086805417401864235250645707139128976592114336032*t^21 - 6556881556600740928702442739267996011770890793189586987562678284722049345525126824766473614375/26380628782587166983840971436347221669607456941002582828556515906368457344128*t^19 + 58398058658121003568500432283802839076448087207902657835331864436011861032223289056343898309375/52761257565174333967681942872694443339214913882005165657113031812736914688256*t^17 - 378925477926550738125437459628792575665608415061382580312491795301784023884403020317074591130625/105522515130348667935363885745388886678429827764010331314226063625473829376512*t^15 + 1747838337748157610016370956544304929899039075575752672445216150173405648817336528407458688803125/211045030260697335870727771490777773356859655528020662628452127250947658753024*t^13 - 5533942295728277665493992681751419002342864186322740056288225082165856518107746774063969133533125/422090060521394671741455542981555546713719311056041325256904254501895317506048*t^11 + 5716189935110162327316703785586319759719685800963419556886783083699431591257977144852815879500625/422090060521394671741455542981555546713719311056041325256904254501895317506048*t^9 - 28543465795458005955802612900979454740140648881596524852892939456132389313371574105616583629069375/3376720484171157373931644343852444373709754488448330602055234036015162540048384*t^7 + 18951588781225363003861505836017108751177662967203375203421956878430809593829633306057105914118125/6753440968342314747863288687704888747419508976896661204110468072030325080096768*t^5 - 2575476936845141656464107290263634995322968591301152525002254573778780524950415447119987537796875/6753440968342314747863288687704888747419508976896661204110468072030325080096768*t^3 + 113630886351313560313702913668001205548410336746780884618663576403986952880387544198909303221875/13506881936684629495726577375409777494839017953793322408220936144060650160193536*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
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 ***
**************************************
