Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4 10 19
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P1 : t^4 - 6*t^2 + 3
Solvable: 1
-------------------------------------------------
Trying to find an order 19 Kronrod extension for:
P2 : t^14 - 477/7*t^12 + 11241/7*t^10 - 112815/7*t^8 + 68715*t^6 - 108945*t^4 + 46845*t^2 - 2835
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^33 - 872360169437103021091115023/2495856217653108003195383*t^31 + 658938700460338068546872737143/12479281088265540015976915*t^29 - 624959668593623264474362082924343/137272091970920940175746065*t^27 + 34219750611530818721219158999289259/137272091970920940175746065*t^25 - 250654077180855141828633011491865145/27454418394184188035149213*t^23 + 900308297364693042806082770570484435/3922059770597741147878459*t^21 - 15704757515709116263320063828337714977/3922059770597741147878459*t^19 + 189898734204661971894897774788765528067/3922059770597741147878459*t^17 - 143093424272692843545447606337655841771/356550888236158286170769*t^15 + 8743611889380386209892869759276280665485/3922059770597741147878459*t^13 - 31339865344802557315448172883482762568695/3922059770597741147878459*t^11 + 6194946759310778915531538349515120163545/356550888236158286170769*t^9 - 7387845987458637803702228754706664432895/356550888236158286170769*t^7 + 4141897815661356296102379763005147426435/356550888236158286170769*t^5 - 937953319370154974082928714110788757825/356550888236158286170769*t^3 + 48681266265163995186847505999767891650/356550888236158286170769*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:   28 out of 33
Indefinite weights: 0 out of 33
Negative weights:   5 out of 33
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
