Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 10 25
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 25 Kronrod extension for:
P2 : 16*t^14 - 3816/7*t^12 + 44964/7*t^10 - 225630/7*t^8 + 68715*t^6 - 108945/2*t^4 + 46845/4*t^2 - 2835/8
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^39 - 136109209028890579673992462132015181838459816/31953937920019321059559451508016970375107*t^37 + 4965051083577738069834042818977672073552056428/9850462065569865890540883547584178837439*t^35 - 782413006078681058071613995629375849307736101028010/22271894730253466778512937701087828351449579*t^33 + 2110996793586087228755617176622671948871383453163530/1310111454720792163441937511828695785379387*t^31 - 1146680146210652341214831601006425155595172422441265015/22271894730253466778512937701087828351449579*t^29 + 40315338811584764627713297741156332502029746468485805535/34062897822740596249490375307546090419864062*t^27 - 23089142487749139959525072362667784933688929107481944622585/1158138525973180272482672760456567074275378108*t^25 + 71901376142372336460294322436459855757672003041678006436375/289534631493295068120668190114141768568844527*t^23 - 379279335148713331861072334369751503383769313011028717010875/165448360853311467497524680065223867753625444*t^21 + 252142725096811659953748557704696554198736304095072379299875/16141303497884045609514602933192572463768336*t^19 - 5418875854159221527862735745886421809057245553119631933755125/69662467727710091577905128448515312738368608*t^17 + 4562931799259913851518401809722105606816290166114706252857875/16391168877108256841860030223180073585498496*t^15 - 22895348242002229883931092048209013967403669796960057836250625/32782337754216513683720060446360147170996992*t^13 + 5980141704531580164605660232774835121819077591706900476355625/5043436577571771335956932376363099564768768*t^11 - 13065454211761395134187273335053026692772390500977921621539375/10086873155143542671913864752726199129537536*t^9 + 34085073498241368907951010743537937692511276969577753356900625/40347492620574170687655459010904796518150144*t^7 - 23488796508238121512286769755164174390988520706906161175989375/80694985241148341375310918021809593036300288*t^5 + 6699307328947459913648224063952737677502852871353954934990625/161389970482296682750621836043619186072600576*t^3 - 372829467881574034182337011699076919358056582095430286496875/322779940964593365501243672087238372145201152*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:   37 out of 39
Indefinite weights: 0 out of 39
Negative weights:   2 out of 39
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
