Starting with polynomial:
P : 2*t
Extension levels are: 1 2 64
-------------------------------------------------
Trying to find an order 2 Kronrod extension for:
P1 : 2*t
Solvable: 1
-------------------------------------------------
Trying to find an order 64 Kronrod extension for:
P2 : 2*t^3 - 3*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 2*t^67 - 831261416000492318129199596114803363/387634576082751948649051473144961*t^65 + 418840647826650440453580120255170936600/387634576082751948649051473144961*t^63 - 4256966272996971192539752730571763306620/12504341163959740279001660424031*t^61 + 941559188897478293922494122898693019432525/12504341163959740279001660424031*t^59 - 311175238722208984108130078529986371443193095/25008682327919480558003320848062*t^57 + 39919806759492219172785694871137318887664625955/25008682327919480558003320848062*t^55 - 8157594364551715076699611801030411257782298122625/50017364655838961116006641696124*t^53 + 5406229451055712457131597134273161730410095810799025/400138917246711688928053133568992*t^51 - 735515821199166540409097912831819098096159997140501875/800277834493423377856106267137984*t^49 + 20731384622863950192101855210263244360896158779883571125/400138917246711688928053133568992*t^47 - 41480717668805935837459393728657560588054537618930627625/17027187967945178252257580151872*t^45 + 6536309135817896010086459882916175689548822635187275078125/68108751871780713009030320607488*t^43 - 432627290017183060316452629226560004269845218970434609854375/136217503743561426018060641214976*t^41 + 12043237254007207599775137280786120439422469395601363125678125/136217503743561426018060641214976*t^39 - 563983759838195989168538452459186818951979614497758777674819375/272435007487122852036121282429952*t^37 + 177499522576369162328425646041430582969430917203985802241399411875/4358960119793965632577940518879232*t^35 - 5851735859431667109230479559488318432974841797307627603097939015625/8717920239587931265155881037758464*t^33 + 20133624238531516302208892194264077027405205472411091135071961590625/2179480059896982816288970259439616*t^31 - 460371626394911459990331689038842563540249253943832089070259908296875/4358960119793965632577940518879232*t^29 + 17376771221201731800193792321769199833132298677415534604135443350053125/17435840479175862530311762075516928*t^27 - 268472452294299546285610544860240402232009412061606272552306446788659375/34871680958351725060623524151033856*t^25 + 1680713083674926325366110967269190828673687815199548961410821477030859375/34871680958351725060623524151033856*t^23 - 16840253918775913186633650415404168063420426029769606709615088985529453125/69743361916703450121247048302067712*t^21 + 531743237099467287798402806679653295400060013232046119529889960330180859375/557946895333627600969976386416541696*t^19 - 3242690695365758880202054485929899246689970989487547068887042354181123078125/1115893790667255201939952772833083392*t^17 + 3724644617885365053974736473915883784487695023381098274094141188843442640625/557946895333627600969976386416541696*t^15 - 12478851611393638165784510872950121300027946431894948063571609240254398046875/1115893790667255201939952772833083392*t^13 + 58349427425155725296908116601838155345935153782143720579186777204560130546875/4463575162669020807759811091332333568*t^11 - 89467598083401746862125487492302312452266617319389168717304022793919294140625/8927150325338041615519622182664667136*t^9 + 40963493388697995034620659202464184376655800272551734215483322257858866484375/8927150325338041615519622182664667136*t^7 - 19134676983046896161009243358080213126483362362028042297169962826667396328125/17854300650676083231039244365329334272*t^5 + 52599453513911236492828910475681506763257525922927774822481923844893931640625/571337620821634663393255819690538696704*t^3 - 865956555689817470964691287360177081281658185065030741737639414222807421875/1142675241643269326786511639381077393408*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
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 ***
**************************************
