Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 4 32
-------------------------------------------------
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 32 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^41 - 40082150283660036350745047326023784937669980246003286647533752489372206/29244707524374122511034934906912935209344674454314263475326945859459*t^39 + 129415633377040605398195384614683189046207386183887171985235055291087635529/614138858011856572731733633045171639396238163540599532981865863048639*t^37 - 213044631207018688989069814934794267566016771400506562904122188009529271055555/11054499444213418309171205394813089509132286943730791593673585534875502*t^35 + 12955311683062905386078917105350557845550995289852008636934475076857344620139105/11054499444213418309171205394813089509132286943730791593673585534875502*t^33 - 184931200729075464125558423965983041412172568872655303698847873367307873591070185/3684833148071139436390401798271029836377428981243597197891195178291834*t^31 + 20919966003237075054085922898878807056243435265438722344753537758627889758589745/13375074947626640422469697997354010295380867445530298358951706636268*t^29 - 138204182828468620531679004294780564815094501089515455219244791728552659072728805/3821449985036182977848485142101145798680247841580085245414773324648*t^27 + 20233139337026658326806017936892878124577448279914043571838277887756817272763277725/32270022095861100701831652311076342299966537328898497627946974741472*t^25 - 528294656298116264476672959732723643732309753282121280674241327475176883412928202125/64540044191722201403663304622152684599933074657796995255893949482944*t^23 + 10379840619088235057247028547661487688294029007917402512511548472908977323990032135375/129080088383444402807326609244305369199866149315593990511787898965888*t^21 - 152669581434789467205447317208859488984092838641096482169322845398020494382544090480125/258160176766888805614653218488610738399732298631187981023575797931776*t^19 + 5476634741357387881974942225879144058459384705103937001081151249497063831822353903375/1698422215571636879043771174267175910524554596257815664628788144288*t^17 - 349179121758274463514397268370431886710111852733682687645524581554457185998242169658125/27174755449146190064700338788274814568392873540125050634060610308608*t^15 + 1993196741067191998762592690251568299854767427215125719094410264697755956793735698926875/54349510898292380129400677576549629136785747080250101268121220617216*t^13 - 7926956768793421288102576164204965649553366848736728345638339442235059552612605331530625/108699021796584760258801355153099258273571494160500202536242441234432*t^11 + 84537444403092745956036447486519269725609452142091858430360661599485986246510141031923125/869592174372678082070410841224794066188571953284001620289939529875456*t^9 - 142774270193978988620589571052160837132962420945333689703987839906329840007564777258925625/1739184348745356164140821682449588132377143906568003240579879059750912*t^7 + 139260873768401161875385398001801206071136765436129737916616693811246280820069296927246875/3478368697490712328281643364899176264754287813136006481159758119501824*t^5 - 65711645242755198784747544597407153585456180055463753625885990188387714297909981164690625/6956737394981424656563286729798352529508575626272012962319516239003648*t^3 + 4829566479592857518072119536020752299306240358233807055596919057895176860064269966890625/6956737394981424656563286729798352529508575626272012962319516239003648*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:   39 out of 41
Indefinite weights: 0 out of 41
Negative weights:   2 out of 41
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
