Starting with polynomial:
P : t^3 - 3*t
Extension levels are: 3 6 26
-------------------------------------------------
Trying to find an order 6 Kronrod extension for:
P1 : t^3 - 3*t
Solvable: 1
-------------------------------------------------
Trying to find an order 26 Kronrod extension for:
P2 : t^9 - 117/4*t^7 + 945/4*t^5 - 2205/4*t^3 + 945/4*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^35 - 290697708258522989004080931821/599634363318125150367149292*t^33 + 3765175490117101671802713294925/36341476564734857598009048*t^31 - 5163604061077454135245186661266739/399756242212083433578099528*t^29 + 1256805400737228573606089585726811031/1199268726636250300734298584*t^27 - 2596188494765740681609590180974264125/44417360245787048175344392*t^25 + 102526940774678510281832126147751403275/44417360245787048175344392*t^23 - 264506466412973194947735213321176239525/4037941840526095288667672*t^21 + 13310989224423175302394787916432742725/9921233023405639529896*t^19 - 79724345682880297261467398447163295305975/4037941840526095288667672*t^17 + 831694491688574974955376740619163680561375/4037941840526095288667672*t^15 - 6006479197812439372482655158331641183061875/4037941840526095288667672*t^13 + 2631069359300418656618132235241130357742375/367085621866008662606152*t^11 - 8003658380864455962810141255411397948065375/367085621866008662606152*t^9 + 155676040108256963714564075056674000041554875/4037941840526095288667672*t^7 - 141080780245798380617120080422583950881784375/4037941840526095288667672*t^5 + 53751834892663314539541725817696059768255625/4037941840526095288667672*t^3 - 6038866703595855320517922290826257435001875/4037941840526095288667672*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: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 1
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   33 out of 35
Indefinite weights: 0 out of 35
Negative weights:   2 out of 35
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
