Starting with polynomial:
P : 2*t
Extension levels are: 1 12 20
-------------------------------------------------
Trying to find an order 12 Kronrod extension for:
P1 : 2*t
Solvable: 1
-------------------------------------------------
Trying to find an order 20 Kronrod extension for:
P2 : 2*t^13 - 78*t^11 + 2145/2*t^9 - 6435*t^7 + 135135/8*t^5 - 135135/8*t^3 + 135135/32*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 2*t^33 - 4771770576/12466867*t^31 + 795155832225/24933734*t^29 - 38121634507995/24933734*t^27 + 4685568128093385/99734936*t^25 - 48658025107134945/49867468*t^23 + 5617377226822139865/398939744*t^21 - 8147548125094995675/56991392*t^19 + 233210999957340189825/227965568*t^17 - 291870099691216611975/56991392*t^15 + 16081634307687532274925/911862272*t^13 - 37041387403224459993075/911862272*t^11 + 218661779755027380754125/3647449088*t^9 - 96984031590666791517375/1823724544*t^7 + 377382794865165680716125/14589796352*t^5 - 88380880665300855757125/14589796352*t^3 + 14942089480824877746375/29179592704*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:   31 out of 33
Indefinite weights: 0 out of 33
Negative weights:   2 out of 33
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
