Starting with polynomial:
P : 1/40320*t^8 - 1/630*t^7 + 7/180*t^6 - 7/15*t^5 + 35/12*t^4 - 28/3*t^3 + 14*t^2 - 8*t + 1
Extension levels are: 8 15
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : 1/40320*t^8 - 1/630*t^7 + 7/180*t^6 - 7/15*t^5 + 35/12*t^4 - 28/3*t^3 + 14*t^2 - 8*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/40320*t^23 - 1321458971878463728431158868211448749/140131152830662810231760351321960373120*t^22 + 113871244980250909905941313642883557769/70065576415331405115880175660980186560*t^21 - 80345375877803163060610066996383149249/476636574253955136842722283408028480*t^20 + 280844563176884013299687231953543657795/23831828712697756842136114170401424*t^19 - 14047034325612775419336962114804054457719/23831828712697756842136114170401424*t^18 + 260423314868753149611211114799838335738833/11915914356348878421068057085200712*t^17 - 7320023410165999821121062033256652878262551/11915914356348878421068057085200712*t^16 + 276841775271862841979273492511623546768160151/20852850123610537236869099899101246*t^15 - 1546376904377501519852879194031853141845284925/6950950041203512412289699966367082*t^14 + 1441128566016433858398261410015811805660397995/496496431514536600877835711883363*t^13 - 14645863887865592863408825396021425982640502305/496496431514536600877835711883363*t^12 + 115588099165521645425387145645829745857478740260/496496431514536600877835711883363*t^11 - 703798998621542164133228154543030150027328064820/496496431514536600877835711883363*t^10 + 3271612763428312963362077304873232331580821283000/496496431514536600877835711883363*t^9 - 11435488443061831970333746273288728594507090184200/496496431514536600877835711883363*t^8 + 29427441556725205882484968885114482849779153428800/496496431514536600877835711883363*t^7 - 54154583731401962247286958945527268814321893409600/496496431514536600877835711883363*t^6 + 68455807797807017866670233106175031786072731523200/496496431514536600877835711883363*t^5 - 56155486588075780950284407233779310060337995120000/496496431514536600877835711883363*t^4 + 27573272606112534018663738621163346115636307776000/496496431514536600877835711883363*t^3 - 7278695005170707842092158613933704312490636864000/496496431514536600877835711883363*t^2 + 926367569936047771524321550095925546976608128000/496496431514536600877835711883363*t - 44215032982302456894422836662435388543817856000/496496431514536600877835711883363
-------------------------------------------------
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:   21 out of 23
Indefinite weights: 0 out of 23
Negative weights:   2 out of 23
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : 1/40320*t^8 - 1/630*t^7 + 7/180*t^6 - 7/15*t^5 + 35/12*t^4 - 28/3*t^3 + 14*t^2 - 8*t + 1
Extension levels are: 8 15
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : 1/40320*t^8 - 1/630*t^7 + 7/180*t^6 - 7/15*t^5 + 35/12*t^4 - 28/3*t^3 + 14*t^2 - 8*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/40320*t^23 - 1321458971878463728431158868211448749/140131152830662810231760351321960373120*t^22 + 113871244980250909905941313642883557769/70065576415331405115880175660980186560*t^21 - 80345375877803163060610066996383149249/476636574253955136842722283408028480*t^20 + 280844563176884013299687231953543657795/23831828712697756842136114170401424*t^19 - 14047034325612775419336962114804054457719/23831828712697756842136114170401424*t^18 + 260423314868753149611211114799838335738833/11915914356348878421068057085200712*t^17 - 7320023410165999821121062033256652878262551/11915914356348878421068057085200712*t^16 + 276841775271862841979273492511623546768160151/20852850123610537236869099899101246*t^15 - 1546376904377501519852879194031853141845284925/6950950041203512412289699966367082*t^14 + 1441128566016433858398261410015811805660397995/496496431514536600877835711883363*t^13 - 14645863887865592863408825396021425982640502305/496496431514536600877835711883363*t^12 + 115588099165521645425387145645829745857478740260/496496431514536600877835711883363*t^11 - 703798998621542164133228154543030150027328064820/496496431514536600877835711883363*t^10 + 3271612763428312963362077304873232331580821283000/496496431514536600877835711883363*t^9 - 11435488443061831970333746273288728594507090184200/496496431514536600877835711883363*t^8 + 29427441556725205882484968885114482849779153428800/496496431514536600877835711883363*t^7 - 54154583731401962247286958945527268814321893409600/496496431514536600877835711883363*t^6 + 68455807797807017866670233106175031786072731523200/496496431514536600877835711883363*t^5 - 56155486588075780950284407233779310060337995120000/496496431514536600877835711883363*t^4 + 27573272606112534018663738621163346115636307776000/496496431514536600877835711883363*t^3 - 7278695005170707842092158613933704312490636864000/496496431514536600877835711883363*t^2 + 926367569936047771524321550095925546976608128000/496496431514536600877835711883363*t - 44215032982302456894422836662435388543817856000/496496431514536600877835711883363
-------------------------------------------------
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:   21 out of 23
Indefinite weights: 0 out of 23
Negative weights:   2 out of 23
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
