Starting with polynomial:
P : t
Extension levels are: 1 16 30
-------------------------------------------------
Trying to find an order 16 Kronrod extension for:
P1 : t
Solvable: 1
-------------------------------------------------
Trying to find an order 30 Kronrod extension for:
P2 : t^17 - 136*t^15 + 7140*t^13 - 185640*t^11 + 2552550*t^9 - 18378360*t^7 + 64324260*t^5 - 91891800*t^3 + 34459425*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^47 - 1023366470095438168087/1290748828758126367*t^45 + 368849091521700651190065/1290748828758126367*t^43 - 217867230480452181784448705/3503461106629200139*t^41 + 32068009887953432128165809125/3503461106629200139*t^39 - 3389898970750755239297664032565/3503461106629200139*t^37 + 266742239502836088302738792454115/3503461106629200139*t^35 - 15981668250943364593093227088287775/3503461106629200139*t^33 + 739698438889707585165035315034027150/3503461106629200139*t^31 - 26681186316598464660782809396304694750/3503461106629200139*t^29 + 753375216383984766318262795599585515250/3503461106629200139*t^27 - 16666159250088227759866798056375574694250/3503461106629200139*t^25 + 288130467316212751602501971779491810506250/3503461106629200139*t^23 - 3870144917922404936728286444623435940306250/3503461106629200139*t^21 + 2105578451752097854691754622840692210581250/184392689822589481*t^19 - 16522338172805116260065405178914467199666250/184392689822589481*t^17 + 96573074869579123947049772372395424360938125/184392689822589481*t^15 - 409781280126511221725875022674781568495103125/184392689822589481*t^13 + 1218671924375982261668243000464769639291071875/184392689822589481*t^11 - 2418481713655284021243430868330434195014234375/184392689822589481*t^9 + 2983605045727731212356793091297762649288846875/184392689822589481*t^7 - 2055427184313199842889421875481912116711096875/184392689822589481*t^5 + 662826147624291975137671238917029035745328125/184392689822589481*t^3 - 68466195912714957451185730923507542084390625/184392689822589481*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:   45 out of 47
Indefinite weights: 0 out of 47
Negative weights:   2 out of 47
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
