Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 10 23
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 23 Kronrod extension for:
P2 : 4*t^12 - 8477/76*t^10 + 155745/152*t^8 - 563535/152*t^6 + 1500975/304*t^4 - 2132865/1216*t^2 + 110565/2432
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^35 - 87831838483004721172497261052311145174474953329557/85234197309576834168121491413625209611480810988*t^33 + 330160321281965263939728981404654588857847177567137077/2897962708525612361716130708063257126790347573592*t^31 - 41562525783158140029842358092122133390747595146556558675/5795925417051224723432261416126514253580695147184*t^29 + 23282701522672331249466521994835054036722622004392985589855/81142955838717146128051659825771199550129732060576*t^27 - 178748345971783060462267701080839460580635393327183443576095/23183701668204898893729045664506057014322780588736*t^25 + 46478103318336452119582769678051486794453310216189159586510195/324571823354868584512206639303084798200518928242304*t^23 - 172819000466514476203622334958166112195892320769769450873590155/92734806672819595574916182658024228057291122354944*t^21 + 3161611611675967210588641194216256574998006115984074079021847025/185469613345639191149832365316048456114582244709888*t^19 - 2127867094249190507622389874239412190275913891497153384522438075/19523117194277809594719196349057732222587604706304*t^17 + 1103546319452758578773421162727814801667276412139807598582096525/2296837316973859952319905452830321437951482906624*t^15 - 6557634813306287837798832824369238217848292987034154793472767275/4593674633947719904639810905660642875902965813248*t^13 + 25402123650516251192238570101935041647141509762484167378255455825/9187349267895439809279621811321285751805931626496*t^11 - 61205267201423971693659221335495600186660601260168226337481377375/18374698535790879618559243622642571503611863252992*t^9 + 85981214363605155272889912466336366834316787276086682915916489125/36749397071581759237118487245285143007223726505984*t^7 - 63961412666440002918388375946288503688243234452574380427984980875/73498794143163518474236974490570286014447453011968*t^5 + 20307084658707043834465430148286508319890465031133838662266839625/146997588286327036948473948981140572028894906023936*t^3 - 476879449806310210796004990029132812063040705802943023196579125/146997588286327036948473948981140572028894906023936*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:   32 out of 35
Indefinite weights: 0 out of 35
Negative weights:   3 out of 35
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
