Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 4 22
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P2 : 4*t^5 - 14*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 22 Kronrod extension for:
P3 : 4*t^9 - 142/3*t^7 + 1399/9*t^5 - 2965/18*t^3 + 295/6*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^31 - 24747738563437975468285027669966887760383013/33556620219730893971779786997400739842237*t^29 + 17725417157318966622701995809882101681630819078/302009581977578045746018082976606658580133*t^27 - 38563209336510252181855187499909817888828268266835/14496459934923746195808867982877119611846384*t^25 + 6640251448466817785130490905029652852531582609451525/86978759609542477174853207897262717671078304*t^23 - 253961358105313632491565957461907925890836179010183575/173957519219084954349706415794525435342156608*t^21 + 116458771764497610811399109415608112648408076504397825/6103772604178419450866891782264050362882688*t^19 - 175144226296048893742324036140191647073942952514072925/1017295434029736575144481963710675060480448*t^17 + 4361975814607064495233822396398462498771985286596135375/4069181736118946300577927854842700241921792*t^15 - 12366749513046126558299303385104007030854306247171723625/2712787824079297533718618569895133494614528*t^13 + 70363915337526784742963560241662641666019914636387081625/5425575648158595067437237139790266989229056*t^11 - 516905761537828875556797479328819236449994876601158794625/21702302592634380269748948559161067956916224*t^9 + 42762151387960858368773252338570284822158787898373742875/1607577969824768908870292485863782811623424*t^7 - 471257905744955351842683326880370425812594563493359800625/28936403456845840359665264745548090609221632*t^5 + 260227047861899491324338498760047735475599167584956454375/57872806913691680719330529491096181218443264*t^3 - 6847833317295372070523864713987475840910366583407053125/19290935637897226906443509830365393739481088*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: 1
  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:   29 out of 31
Indefinite weights: 0 out of 31
Negative weights:   2 out of 31
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
