Starting with polynomial:
P : 2*t
Extension levels are: 1 22 40
-------------------------------------------------
Trying to find an order 22 Kronrod extension for:
P1 : 2*t
Solvable: 1
-------------------------------------------------
Trying to find an order 40 Kronrod extension for:
P2 : 2*t^23 - 253*t^21 + 26565/2*t^19 - 1514205/4*t^17 + 25741485/4*t^15 - 540571185/8*t^13 + 7027425405/16*t^11 - 55215485325/32*t^9 + 496939367925/128*t^7 - 1159525191825/256*t^5 + 1159525191825/512*t^3 - 316234143225/1024*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 2*t^63 - 101576178119894402028670598122530462113/68193586028690041510290950788710897*t^61 + 1908278450767544297327510289326949028643137/3682453645549262241555711342590388438*t^59 - 10727602027881127741883004351727170784281204433/95743794784280818280448494907350099388*t^57 + 26965399612705452523011802586316673810771562193677/1595729913071346971340808248455834989800*t^55 - 6036619648667560182847948983620382234879275575250981/3191459826142693942681616496911669979600*t^53 + 208380889092568679341000092485319884140207298747917243/1276583930457077577072646598764667991840*t^51 - 9479187643929794922145583797699495962855326693451887269/851055953638051718048431065843111994560*t^49 + 23129054287045141339555982258356949452319079108524983259/37824709050580076357708047370804977536*t^47 - 31027016849414722096581023251168433850338896785081452132117/1134741271517402290731241421124149326080*t^45 + 84431468027332244047808845726595999856462992326266748141933/84054909001289058572684549712899950080*t^43 - 9227910751418192239078511104683158792809980839286115968235253/302597672404640610861664378966439820288*t^41 + 464787530040205749313032148933846630814433278352833746730652347/605195344809281221723328757932879640576*t^39 - 498901589749156105242442056211340637063793113836008697550016693/31035658708168267780683526047839981568*t^37 + 17365422298110295844929544862038984414519110949941117167860218727/62071317416336535561367052095679963136*t^35 - 502054692953474992100359126725820309136201943976286416538947525211/124142634832673071122734104191359926272*t^33 + 4009052286121965279938548246331886105318477918062644643511762774185/82761756555115380748489402794239950848*t^31 - 8808535840401325290629592355091904004220932959547370085954530925425/18391501456692306832997645065386655744*t^29 + 429071158380283692904851202177170348182880597474051330174884303556265/110349008740153840997985870392319934464*t^27 - 1893716925308936145367090963165837151293666398126306883336740443925375/73566005826769227331990580261546622976*t^25 + 20268431108929061603591301254911552234259884821147553474416596200995825/147132011653538454663981160523093245952*t^23 - 173443947202974478781259683225826377160540289832552158591097751287183625/294264023307076909327962321046186491904*t^21 + 1170543430789285315615223118089464006042026344799026321570971900909825875/588528046614153818655924642092372983808*t^19 - 6124323394678754124607400231337404265109120953816716349369186448913322375/1177056093228307637311849284184745967616*t^17 + 24307580658897131636795402970939372502316826605495970620429045692800184125/2354112186456615274623698568369491935232*t^15 - 71168844974628612351311108469936831385423971620235521036118637908590116125/4708224372913230549247397136738983870464*t^13 + 148131162606660819867922704156823534123270007645899012785803446311995784375/9416448745826461098494794273477967740928*t^11 - 208354537352068978708205876973364687655820538235457879348067394202966241875/18832897491652922196989588546955935481856*t^9 + 184055051774275561779045286426490164682047939389850504611743521998202288125/37665794983305844393979177093911870963712*t^7 - 91034982005097905145522440858992727834030191379812125195035188321904053125/75331589966611688787958354187823741927424*t^5 + 20520763577746853237416445346092614787121339481541213449796871073329984375/150663179933223377575916708375647483854848*t^3 - 1307886506810393190133249938351352539627413446813812509274544609814596875/301326359866446755151833416751294967709696*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 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: 0
  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:   61 out of 63
Indefinite weights: 0 out of 63
Negative weights:   2 out of 63
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
