Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 6 26
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 6 Kronrod extension for:
P2 : 4*t^5 - 14*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 26 Kronrod extension for:
P3 : 4*t^11 - 6923/82*t^9 + 97479/164*t^7 - 566685/328*t^5 + 1313235/656*t^3 - 418635/656*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^37 - 9677760980250929714296375932722228873871700280671937713461681871189/8737455613503311821968931966238301890759133372843957012681019146*t^35 + 4758253990583310088300420805205125221782817719718150704171100527529559/34949822454013247287875727864953207563036533491375828050724076584*t^33 - 229234777374127007505224926849209154675634318525622975162685852375694989/23299881636008831525250485243302138375357688994250552033816051056*t^31 + 65253625553933673889995397200910576573130424381690190172965729366452050219/139799289816052989151502911459812830252146133965503312202896306336*t^29 - 4300458815499615342371391563519482204513922298263249873764201100892457663997/279598579632105978303005822919625660504292267931006624405792612672*t^27 + 7524989455853686842775325311007710540104296818468555925738891961706172306515/20711005898674516911333764660713011889206834661556046252280934272*t^25 - 259439269578128536074970937134006332882697872180627314726436491228408094815425/41422011797349033822667529321426023778413669323112092504561868544*t^23 + 598620211391254930114632391356492975019981880398222582863649847467550520968975/7531274872245278876848641694804731596075212604202198637193067008*t^21 - 11206638068362490007645514260531605245985400453795530195227815676451109170223525/15062549744490557753697283389609463192150425208404397274386134016*t^19 + 154112464093225887246182943756196193477098369620365432269436211663617593533807075/30125099488981115507394566779218926384300850416808794548772268032*t^17 - 1540837870802419301094147570820648029903471172823255379651210957439283258635240125/60250198977962231014789133558437852768601700833617589097544536064*t^15 + 11003084701740830138636680475523673759821042164652829730396288042659580505658985625/120500397955924462029578267116875705537203401667235178195089072128*t^13 - 54582289403737741643258876392907662856437220924301990066139471451485209740426253375/241000795911848924059156534233751411074406803334470356390178144256*t^11 + 180287208498045758760871504344841942462323148574314337395600107700943168942848183875/482001591823697848118313068467502822148813606668940712780356288512*t^9 - 371336395763594672528826390866627300258911489568298582852048598150625703917687276625/964003183647395696236626136935005644297627213337881425560712577024*t^7 + 428604813259731233285957779194655792624361589682719369257061341577092040887203168125/1928006367294791392473252273870011288595254426675762851121425154048*t^5 - 228241990123102841642641235412367136689065688287006547625134632025350034090034458125/3856012734589582784946504547740022577190508853351525702242850308096*t^3 + 17831462585522020446778732358198722830316435255985870577135054102541799038308230625/3856012734589582784946504547740022577190508853351525702242850308096*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:   35 out of 37
Indefinite weights: 0 out of 37
Negative weights:   2 out of 37
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
