Starting with polynomial:
P : t^2 - 1
Extension levels are: 2 59
-------------------------------------------------
Trying to find an order 59 Kronrod extension for:
P1 : t^2 - 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^61 - 260091737486205446841488965384642191193/146996893367385334241715463617070179*t^59 + 214883771474186898743656349975464314345088/146996893367385334241715463617070179*t^57 - 1934417907603300352001242973934094185162602/2578892866094479548100271291527547*t^55 + 691733028237392907214153655481081083277502065/2578892866094479548100271291527547*t^53 - 183360375321157889990906318158644145406369770695/2578892866094479548100271291527547*t^51 + 37416814712769187635138276384174248155560244108650/2578892866094479548100271291527547*t^49 - 6026084344525110372731105306818951389260841206694900/2578892866094479548100271291527547*t^47 + 779150183313337749725307196970682005568369234598833075/2578892866094479548100271291527547*t^45 - 81842829152999195636885616829319852512915403125731956625/2578892866094479548100271291527547*t^43 + 7041516174180270864000066011865381002521910197236982432500/2578892866094479548100271291527547*t^41 - 498904763472060525166479625065037004087690798510972975367750/2578892866094479548100271291527547*t^39 + 29201359063379655294547202558186291180948275176369289233404625/2578892866094479548100271291527547*t^37 - 1413730955557805824969447383607073887801136507750836473877581375/2578892866094479548100271291527547*t^35 + 56586787507878022575313906959719513395654993245964736298708423750/2578892866094479548100271291527547*t^33 - 1868768331040135275147805764088071206903611308920666070508211295000/2578892866094479548100271291527547*t^31 + 50733875621148645773420083217826076697517349240391790114711064025625/2578892866094479548100271291527547*t^29 - 1126212275194470835636468643249299357730928758529549962202503431756875/2578892866094479548100271291527547*t^27 + 20295214421252960908165406566985672056550641939347636623652487139055000/2578892866094479548100271291527547*t^25 - 294146675940216955601363283009631683747602732958458668174044589876593750/2578892866094479548100271291527547*t^23 + 3388208862937226521636190116895753943308576188068778989710633982156046875/2578892866094479548100271291527547*t^21 - 30554622752307085549151347037196670872099778042130558270196039023731828125/2578892866094479548100271291527547*t^19 + 211629264803016632082357981219523736145475400400501766181902783483156593750/2578892866094479548100271291527547*t^17 - 1098441134098019653853293345692854267377415726973941315614282950251584312500/2578892866094479548100271291527547*t^15 + 4136602855627459097781403782394360795789002252835092995180099459376224765625/2578892866094479548100271291527547*t^13 - 10818680338677376495058505433433350616021649384496681331788858355573516671875/2578892866094479548100271291527547*t^11 + 18469761047263055126044104177646009815576486373389730327841128918620256312500/2578892866094479548100271291527547*t^9 - 18738469529765290221850031712756832129681362834305051476889820215985123656250/2578892866094479548100271291527547*t^7 + 9637943247384880206730943391489238378945557878067846887493601405357429171875/2578892866094479548100271291527547*t^5 - 1800701499119238878301504482210638848493135734623070747351668154733108828125/2578892866094479548100271291527547*t^3 + 27797429224369147841992503632154032493607909749860808522278410072227656250/2578892866094479548100271291527547*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: 0
  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:   60 out of 61
Indefinite weights: 0 out of 61
Negative weights:   1 out of 61
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
