Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 3 4 20
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P2 : t^5 - 7*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 20 Kronrod extension for:
P3 : t^9 - 71/3*t^7 + 1399/9*t^5 - 2965/9*t^3 + 590/3*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^29 - 829139585937614978979402714277093090301/2757763257955674848331189154297853418*t^27 + 632302510632936902241048484301798821150373/16546579547734049089987134925787120508*t^25 - 133941471496856391029749088686875193827092575/49639738643202147269961404777361361524*t^23 + 5812003766304564296473156866518750037270263725/49639738643202147269961404777361361524*t^21 - 54025956642797691258910571666516932068374861975/16546579547734049089987134925787120508*t^19 + 4831020559353319539691102224784254340841963800/81110684057519848480329092773466277*t^17 - 115443679327911227297664718666850498609700896675/162221368115039696960658185546932554*t^15 + 298176834579103849366196347179886330112983716125/54073789371679898986886061848977518*t^13 - 736090568044381600330446179331731487076992773875/27036894685839949493443030924488759*t^11 + 9054463555436496086999528587909127093970502364125/108147578743359797973772123697955036*t^9 - 5608227679638681641085999055889470249698464710875/36049192914453265991257374565985012*t^7 + 5953200369555895740825743048514448396557188872625/36049192914453265991257374565985012*t^5 - 3207017432282282361822130466316155679429127248125/36049192914453265991257374565985012*t^3 + 325090183839808317978679153730322922234122320625/18024596457226632995628687282992506*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:   25 out of 29
Indefinite weights: 0 out of 29
Negative weights:   4 out of 29
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
