Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 3 38
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Trying to find an order 38 Kronrod extension for:
P2 : t^5 - 7*t^3 + 6*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^43 - 13538790826894975698918133043106201220877/16490431217411995115346353257132075356*t^41 + 5023791792361870677802820803790254245787457/16490431217411995115346353257132075356*t^39 - 372469002459309004732526088760107147733226209/5496810405803998371782117752377358452*t^37 + 18512296044115847598350252455393392225511764629/1832270135267999457260705917459119484*t^35 - 980382441175174613373656618407243249627195433575/916135067633999728630352958729559742*t^33 + 38134282692972321006511099015851214870110432777225/458067533816999864315176479364779871*t^31 - 2222537707512782775144512388699729710751150702543015/458067533816999864315176479364779871*t^29 + 98125793794491892210931737999407051502733339600862315/458067533816999864315176479364779871*t^27 - 6595384843580320032199012139318305705821375425569350015/916135067633999728630352958729559742*t^25 + 168679028940576238039456860502846413774988645983683796375/916135067633999728630352958729559742*t^23 - 3267536592708051596862914385435597251301077779264037212125/916135067633999728630352958729559742*t^21 + 47505015657659265791461917760450352457800901649813670944875/916135067633999728630352958729559742*t^19 - 255596889836545429378610268543177616592094915940519831456500/458067533816999864315176479364779871*t^17 + 1996878894183585434068273480712932241394511529114593522525125/458067533816999864315176479364779871*t^15 - 11038395946094716623086447532106293222163105582003240115401875/458067533816999864315176479364779871*t^13 + 41736432900405481638909101591131480061651765977973198947072500/458067533816999864315176479364779871*t^11 - 413033826811243223127466192473359835332333449423217476712923125/1832270135267999457260705917459119484*t^9 + 630277541799102361891880440491596969650443660214147650712910625/1832270135267999457260705917459119484*t^7 - 544747462033753238361273889135041681063248387186664572957881875/1832270135267999457260705917459119484*t^5 + 228698445490860556809413789831786310962768746103255596990228125/1832270135267999457260705917459119484*t^3 - 15520386894389696408665506786559774420695104982384131697853125/916135067633999728630352958729559742*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:   41 out of 43
Indefinite weights: 0 out of 43
Negative weights:   2 out of 43
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
