Starting with polynomial:
P : 2*t
Extension levels are: 1 14 30
-------------------------------------------------
Trying to find an order 14 Kronrod extension for:
P1 : 2*t
Solvable: 1
-------------------------------------------------
Trying to find an order 30 Kronrod extension for:
P2 : 2*t^15 - 105*t^13 + 4095/2*t^11 - 75075/4*t^9 + 675675/8*t^7 - 2837835/16*t^5 + 4729725/32*t^3 - 2027025/64*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 2*t^45 - 550629093772008855/697360773473122*t^43 + 197784449861096282695/1394721546946244*t^41 - 128729168455176283047725/8368329281677464*t^39 + 119622956296494199863034175/105998837567914544*t^37 - 3148825292271888371304475495/52999418783957272*t^35 + 1570626272548404655068578745925/675742589495455218*t^33 - 2380924899048905426491396438225/34487660069943488*t^31 + 2066978079179319956476760635372125/1310531082657852544*t^29 - 571499753876575689146185804179125/20477048166528946*t^27 + 502476581961854431266195968889907125/1310531082657852544*t^25 - 21400141231949727487090454270777053125/5242124330631410176*t^23 + 87814516066877790428625652432712146875/2621062165315705088*t^21 - 463423815220866362067122659265882596875/2207210244476383232*t^19 + 257341551381347878452359428518807421875/259671793467809792*t^17 - 1795390169041168642642665080429510844375/519343586935619584*t^15 + 4510945788551249273082680779233156571875/519343586935619584*t^13 - 63052527533084922191305725448382853196875/4154748695484956672*t^11 + 145878750311630257193266171345207336171875/8309497390969913344*t^9 - 207987495270228335527795184857486243734375/16618994781939826688*t^7 + 163240501644024033538445231932894673240625/33237989563879653376*t^5 - 28835277637464415939462756324775300109375/33237989563879653376*t^3 + 2888447515571841983999462024328605203125/66475979127759306752*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:   43 out of 45
Indefinite weights: 0 out of 45
Negative weights:   2 out of 45
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
