Starting with polynomial:
P : t^3 - 3*t
Extension levels are: 3 38
-------------------------------------------------
Trying to find an order 38 Kronrod extension for:
P1 : t^3 - 3*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^41 - 797765011935897511/1022870211820812*t^39 + 93461891597073053977/340956737273604*t^37 - 6541585512284644635567/113652245757868*t^35 + 917339918149900137429355/113652245757868*t^33 - 22746741371572927772398335/28413061439467*t^31 + 1648867440059108123541281595/28413061439467*t^29 - 89022020581636231993858149195/28413061439467*t^27 + 3615726887948163960079376252985/28413061439467*t^25 - 221707508191802549428548414002625/56826122878934*t^23 + 5119873896832639121750668468498125/56826122878934*t^21 - 88401367786060135092854821197569625/56826122878934*t^19 + 1126600560423470889070101004859767125/56826122878934*t^17 - 5196673140992290000658262686191027875/28413061439467*t^15 + 33752690513655876669431516256059169375/28413061439467*t^13 - 148357728843321807336415524301565274375/28413061439467*t^11 + 416630042866238629971768376496203608750/28413061439467*t^9 - 2738375092237201811784918111860695794375/113652245757868*t^7 + 2272256752385151884247725363869336876875/113652245757868*t^5 - 710390823066790344603357682755015084375/113652245757868*t^3 + 33728555942261954624607933994714771875/113652245757868*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:   40 out of 41
Indefinite weights: 0 out of 41
Negative weights:   1 out of 41
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
