Starting with polynomial:
P : t
Extension levels are: 1 2 64
-------------------------------------------------
Trying to find an order 2 Kronrod extension for:
P1 : t
Solvable: 1
-------------------------------------------------
Trying to find an order 64 Kronrod extension for:
P2 : t^3 - 3*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : t^67 - 831261416000492318129199596114803363/387634576082751948649051473144961*t^65 + 837681295653300880907160240510341873200/387634576082751948649051473144961*t^63 - 17027865091987884770159010922287053226480/12504341163959740279001660424031*t^61 + 7532473511179826351379952983189544155460200/12504341163959740279001660424031*t^59 - 2489401909777671872865040628239890971545544760/12504341163959740279001660424031*t^57 + 638716908151875506764571117938197102202634015280/12504341163959740279001660424031*t^55 - 130521509832827441227193788816486580124516769962000/12504341163959740279001660424031*t^53 + 21624917804222849828526388537092646921640383243196100/12504341163959740279001660424031*t^51 - 2942063284796666161636391651327276392384639988562007500/12504341163959740279001660424031*t^49 + 331702153965823203073629683364211909774338540478137138000/12504341163959740279001660424031*t^47 - 663691482700894973399350299658520969408872601902890042000/266049811999143410191524689873*t^45 + 52290473086543168080691679063329405516390581081498200625000/266049811999143410191524689873*t^43 - 3461018320137464482531621033812480034158761751763476878835000/266049811999143410191524689873*t^41 + 192691796064115321596402196492577927030759510329621810010850000/266049811999143410191524689873*t^39 - 9023740157411135826696615239346989103231673831964140442797110000/266049811999143410191524689873*t^37 + 354999045152738324656851292082861165938861834407971604482798823750/266049811999143410191524689873*t^35 - 11703471718863334218460959118976636865949683594615255206195878031250/266049811999143410191524689873*t^33 + 322137987816504260835342275108225232438483287558577458161151385450000/266049811999143410191524689873*t^31 - 7365946022318583359845307024621481016643988063101313425124158532750000/266049811999143410191524689873*t^29 + 139014169769613854401550338574153598665058389419324276833083546800425000/266049811999143410191524689873*t^27 - 2147779618354396370284884358881923217856075296492850180418451574309275000/266049811999143410191524689873*t^25 + 26891409338798821205857775476307053258779005043192783382573143632493750000/266049811999143410191524689873*t^23 - 269444062700414610986138406646466689014726816476313707353841423768471250000/266049811999143410191524689873*t^21 + 2126972948397869151193611226718613181600240052928184478119559841320723437500/266049811999143410191524689873*t^19 - 12970762781463035520808217943719596986759883957950188275548169416724492312500/266049811999143410191524689873*t^17 + 59594313886165840863595783582654140551803120374097572385506259021495082250000/266049811999143410191524689873*t^15 - 199661625782298210652552173967201940800447142910319169017145747844070368750000/266049811999143410191524689873*t^13 + 466795419401245802375264932814705242767481230257149764633494217636481044375000/266049811999143410191524689873*t^11 - 715740784667213974897003899938418499618132938555113349738432182351354353125000/266049811999143410191524689873*t^9 + 655415894219167920553930547239426950026492804360827747447733156125741863750000/266049811999143410191524689873*t^7 - 306154831728750338576147893729283410023733797792448676754719405226678341250000/266049811999143410191524689873*t^5 + 52599453513911236492828910475681506763257525922927774822481923844893931640625/266049811999143410191524689873*t^3 - 865956555689817470964691287360177081281658185065030741737639414222807421875/266049811999143410191524689873*t
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 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
  current precision for roots: 848
  current precision for roots: 1696
 current precision for weights: 848
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   66 out of 67
Indefinite weights: 0 out of 67
Negative weights:   1 out of 67
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
