Starting with polynomial:
P : t^5 - 10*t^3 + 15*t
Extension levels are: 5 8
-------------------------------------------------
Trying to find an order 8 Kronrod extension for:
P1 : t^5 - 10*t^3 + 15*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^13 - 170/3*t^11 + 3251/3*t^9 - 8652*t^7 + 29631*t^5 - 41790*t^3 + 19215*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
Sufficient bits for target precision reached
Positive weights:   11 out of 13
Indefinite weights: 0 out of 13
Negative weights:   2 out of 13
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
