Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 3 4 8
-------------------------------------------------
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 8 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^17 - 3059628507938/16753860777*t^15 + 159113012962007/50261582331*t^13 - 8081473967104151/301569493986*t^11 + 71537082906692561/603138987972*t^9 - 36627085158415339/134030886216*t^7 + 83781328830792607/268061772432*t^5 - 88756606077394045/536123544864*t^3 + 5750035763152135/178707848288*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: 1
  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:   15 out of 17
Indefinite weights: 0 out of 17
Negative weights:   2 out of 17
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
