Starting with polynomial:
P : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Extension levels are: 4 20
-------------------------------------------------
Trying to find an order 20 Kronrod extension for:
P1 : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/24*t^24 - 36460779972381514189483596866260184512935031/1755824032118495530019523335416138678722384*t^23 + 141214171976040521194355093311265958089858797859/29849008546014424010331896702074357538280528*t^22 - 19531344603447273232591121774137111769857593352387/29849008546014424010331896702074357538280528*t^21 + 612319393985924868609865250055036092476229450501551/9949669515338141336777298900691452512760176*t^20 - 2598379071456968363350024535725684345473303071586505/621854344708633833548581181293215782047511*t^19 + 131974190268146835673632280472508628074174439456478855/621854344708633833548581181293215782047511*t^18 - 10256263992674018606612994181983874371051153332211942495/1243708689417267667097162362586431564095022*t^17 + 18192500674853488498447364414055121981136784944404632405/73159334671603980417480138975672444946766*t^16 - 214720200043291767569304865193488056978093087193315635360/36579667335801990208740069487836222473383*t^15 + 3985797524527430578348030811096021491355861759750930445600/36579667335801990208740069487836222473383*t^14 - 58251804751911928231675860304542729725841874175828988885600/36579667335801990208740069487836222473383*t^13 + 669129367094822792453712306175073471403709632831575607511200/36579667335801990208740069487836222473383*t^12 - 6014307698258418434113346820725331168231989195081374237593600/36579667335801990208740069487836222473383*t^11 + 41996175696276850510919121578500095416893678799448638590694400/36579667335801990208740069487836222473383*t^10 - 225511536301137974794371066438280648232917273366630580227296000/36579667335801990208740069487836222473383*t^9 + 918683981699759165121834315734133002297110825865732791778976000/36579667335801990208740069487836222473383*t^8 - 2789159393513635180195893171446674093824102372968827953061632000/36579667335801990208740069487836222473383*t^7 + 6164714518423756673400808574440770611208159540446004400601856000/36579667335801990208740069487836222473383*t^6 - 9609997618785284807372605053645368593350839835863397424783104000/36579667335801990208740069487836222473383*t^5 + 10100624737040602872320181433774074038047249403399332200218880000/36579667335801990208740069487836222473383*t^4 - 6681574198984780353971585654939602624444865929182514148167680000/36579667335801990208740069487836222473383*t^3 + 2476704466216494126394635107483694297726856142254965478748160000/36579667335801990208740069487836222473383*t^2 - 410843574158458048690634712704236258209136217469723584686080000/36579667335801990208740069487836222473383*t + 17256103529595147657522061297666610887990222684712138373120000/36579667335801990208740069487836222473383
-------------------------------------------------
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:   23 out of 24
Indefinite weights: 0 out of 24
Negative weights:   1 out of 24
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Extension levels are: 4 20
-------------------------------------------------
Trying to find an order 20 Kronrod extension for:
P1 : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/24*t^24 - 36460779972381514189483596866260184512935031/1755824032118495530019523335416138678722384*t^23 + 141214171976040521194355093311265958089858797859/29849008546014424010331896702074357538280528*t^22 - 19531344603447273232591121774137111769857593352387/29849008546014424010331896702074357538280528*t^21 + 612319393985924868609865250055036092476229450501551/9949669515338141336777298900691452512760176*t^20 - 2598379071456968363350024535725684345473303071586505/621854344708633833548581181293215782047511*t^19 + 131974190268146835673632280472508628074174439456478855/621854344708633833548581181293215782047511*t^18 - 10256263992674018606612994181983874371051153332211942495/1243708689417267667097162362586431564095022*t^17 + 18192500674853488498447364414055121981136784944404632405/73159334671603980417480138975672444946766*t^16 - 214720200043291767569304865193488056978093087193315635360/36579667335801990208740069487836222473383*t^15 + 3985797524527430578348030811096021491355861759750930445600/36579667335801990208740069487836222473383*t^14 - 58251804751911928231675860304542729725841874175828988885600/36579667335801990208740069487836222473383*t^13 + 669129367094822792453712306175073471403709632831575607511200/36579667335801990208740069487836222473383*t^12 - 6014307698258418434113346820725331168231989195081374237593600/36579667335801990208740069487836222473383*t^11 + 41996175696276850510919121578500095416893678799448638590694400/36579667335801990208740069487836222473383*t^10 - 225511536301137974794371066438280648232917273366630580227296000/36579667335801990208740069487836222473383*t^9 + 918683981699759165121834315734133002297110825865732791778976000/36579667335801990208740069487836222473383*t^8 - 2789159393513635180195893171446674093824102372968827953061632000/36579667335801990208740069487836222473383*t^7 + 6164714518423756673400808574440770611208159540446004400601856000/36579667335801990208740069487836222473383*t^6 - 9609997618785284807372605053645368593350839835863397424783104000/36579667335801990208740069487836222473383*t^5 + 10100624737040602872320181433774074038047249403399332200218880000/36579667335801990208740069487836222473383*t^4 - 6681574198984780353971585654939602624444865929182514148167680000/36579667335801990208740069487836222473383*t^3 + 2476704466216494126394635107483694297726856142254965478748160000/36579667335801990208740069487836222473383*t^2 - 410843574158458048690634712704236258209136217469723584686080000/36579667335801990208740069487836222473383*t + 17256103529595147657522061297666610887990222684712138373120000/36579667335801990208740069487836222473383
-------------------------------------------------
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:   23 out of 24
Indefinite weights: 0 out of 24
Negative weights:   1 out of 24
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
