Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 4 20
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P2 : 4*t^5 - 14*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Trying to find an order 20 Kronrod extension for:
P3 : 4*t^9 - 142/3*t^7 + 1399/9*t^5 - 2965/18*t^3 + 295/6*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^29 - 829139585937614978979402714277093090301/1378881628977837424165594577148926709*t^27 + 632302510632936902241048484301798821150373/16546579547734049089987134925787120508*t^25 - 133941471496856391029749088686875193827092575/99279477286404294539922809554722723048*t^23 + 5812003766304564296473156866518750037270263725/198558954572808589079845619109445446096*t^21 - 54025956642797691258910571666516932068374861975/132372636381872392719897079406296964064*t^19 + 603877569919164942461387778098031792605245475/162221368115039696960658185546932554*t^17 - 115443679327911227297664718666850498609700896675/5191083779681270302741061937501841728*t^15 + 298176834579103849366196347179886330112983716125/3460722519787513535160707958334561152*t^13 - 736090568044381600330446179331731487076992773875/3460722519787513535160707958334561152*t^11 + 9054463555436496086999528587909127093970502364125/27685780158300108281285663666676489216*t^9 - 5608227679638681641085999055889470249698464710875/18457186772200072187523775777784326144*t^7 + 5953200369555895740825743048514448396557188872625/36914373544400144375047551555568652288*t^5 - 3207017432282282361822130466316155679429127248125/73828747088800288750095103111137304576*t^3 + 325090183839808317978679153730322922234122320625/73828747088800288750095103111137304576*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 ***
**************************************
