Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 10 23
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Trying to find an order 23 Kronrod extension for:
P2 : t^12 - 8477/152*t^10 + 155745/152*t^8 - 563535/76*t^6 + 1500975/76*t^4 - 2132865/152*t^2 + 110565/152
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^35 - 87831838483004721172497261052311145174474953329557/170468394619153668336242982827250419222961621976*t^33 + 330160321281965263939728981404654588857847177567137077/2897962708525612361716130708063257126790347573592*t^31 - 41562525783158140029842358092122133390747595146556558675/2897962708525612361716130708063257126790347573592*t^29 + 23282701522672331249466521994835054036722622004392985589855/20285738959679286532012914956442799887532433015144*t^27 - 178748345971783060462267701080839460580635393327183443576095/2897962708525612361716130708063257126790347573592*t^25 + 46478103318336452119582769678051486794453310216189159586510195/20285738959679286532012914956442799887532433015144*t^23 - 172819000466514476203622334958166112195892320769769450873590155/2897962708525612361716130708063257126790347573592*t^21 + 3161611611675967210588641194216256574998006115984074079021847025/2897962708525612361716130708063257126790347573592*t^19 - 2127867094249190507622389874239412190275913891497153384522438075/152524353080295387458743721477013532988965661768*t^17 + 1103546319452758578773421162727814801667276412139807598582096525/8972020769429140438749630675118443116997980104*t^15 - 6557634813306287837798832824369238217848292987034154793472767275/8972020769429140438749630675118443116997980104*t^13 + 25402123650516251192238570101935041647141509762484167378255455825/8972020769429140438749630675118443116997980104*t^11 - 61205267201423971693659221335495600186660601260168226337481377375/8972020769429140438749630675118443116997980104*t^9 + 85981214363605155272889912466336366834316787276086682915916489125/8972020769429140438749630675118443116997980104*t^7 - 63961412666440002918388375946288503688243234452574380427984980875/8972020769429140438749630675118443116997980104*t^5 + 20307084658707043834465430148286508319890465031133838662266839625/8972020769429140438749630675118443116997980104*t^3 - 476879449806310210796004990029132812063040705802943023196579125/4486010384714570219374815337559221558498990052*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:   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 ***
**************************************
