Starting with polynomial:
P : t
Extension levels are: 1 2 6 12
-------------------------------------------------
Trying to find an order 2 Kronrod extension for:
P1 : t
Solvable: 1
-------------------------------------------------
Trying to find an order 6 Kronrod extension for:
P2 : t^3 - 3*t
Solvable: 1
-------------------------------------------------
Trying to find an order 12 Kronrod extension for:
P3 : t^9 - 117/4*t^7 + 945/4*t^5 - 2205/4*t^3 + 945/4*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^21 - 20774971893/133201492*t^19 + 653412876723/66600746*t^17 - 86530745663355/266402984*t^15 + 1652267603793375/266402984*t^13 - 18783353149157025/266402984*t^11 + 127015854640073685/266402984*t^9 - 497343697084550745/266402984*t^7 + 1061381742497601525/266402984*t^5 - 1073644320567443625/266402984*t^3 + 341241276683382075/266402984*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:   19 out of 21
Indefinite weights: 0 out of 21
Negative weights:   2 out of 21
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
