Starting with polynomial:
P : 8*t^3 - 12*t
Extension levels are: 3 64
-------------------------------------------------
Trying to find an order 64 Kronrod extension for:
P1 : 8*t^3 - 12*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 8*t^67 - 3325045664001969272516798384459213452/387634576082751948649051473144961*t^65 + 1675362591306601761814320481020683746400/387634576082751948649051473144961*t^63 - 17027865091987884770159010922287053226480/12504341163959740279001660424031*t^61 + 3766236755589913175689976491594772077730100/12504341163959740279001660424031*t^59 - 622350477444417968216260157059972742886386190/12504341163959740279001660424031*t^57 + 79839613518984438345571389742274637775329251910/12504341163959740279001660424031*t^55 - 8157594364551715076699611801030411257782298122625/12504341163959740279001660424031*t^53 + 5406229451055712457131597134273161730410095810799025/100034729311677922232013283392248*t^51 - 735515821199166540409097912831819098096159997140501875/200069458623355844464026566784496*t^49 + 20731384622863950192101855210263244360896158779883571125/100034729311677922232013283392248*t^47 - 41480717668805935837459393728657560588054537618930627625/4256796991986294563064395037968*t^45 + 6536309135817896010086459882916175689548822635187275078125/17027187967945178252257580151872*t^43 - 432627290017183060316452629226560004269845218970434609854375/34054375935890356504515160303744*t^41 + 12043237254007207599775137280786120439422469395601363125678125/34054375935890356504515160303744*t^39 - 563983759838195989168538452459186818951979614497758777674819375/68108751871780713009030320607488*t^37 + 177499522576369162328425646041430582969430917203985802241399411875/1089740029948491408144485129719808*t^35 - 5851735859431667109230479559488318432974841797307627603097939015625/2179480059896982816288970259439616*t^33 + 20133624238531516302208892194264077027405205472411091135071961590625/544870014974245704072242564859904*t^31 - 460371626394911459990331689038842563540249253943832089070259908296875/1089740029948491408144485129719808*t^29 + 17376771221201731800193792321769199833132298677415534604135443350053125/4358960119793965632577940518879232*t^27 - 268472452294299546285610544860240402232009412061606272552306446788659375/8717920239587931265155881037758464*t^25 + 1680713083674926325366110967269190828673687815199548961410821477030859375/8717920239587931265155881037758464*t^23 - 16840253918775913186633650415404168063420426029769606709615088985529453125/17435840479175862530311762075516928*t^21 + 531743237099467287798402806679653295400060013232046119529889960330180859375/139486723833406900242494096604135424*t^19 - 3242690695365758880202054485929899246689970989487547068887042354181123078125/278973447666813800484988193208270848*t^17 + 3724644617885365053974736473915883784487695023381098274094141188843442640625/139486723833406900242494096604135424*t^15 - 12478851611393638165784510872950121300027946431894948063571609240254398046875/278973447666813800484988193208270848*t^13 + 58349427425155725296908116601838155345935153782143720579186777204560130546875/1115893790667255201939952772833083392*t^11 - 89467598083401746862125487492302312452266617319389168717304022793919294140625/2231787581334510403879905545666166784*t^9 + 40963493388697995034620659202464184376655800272551734215483322257858866484375/2231787581334510403879905545666166784*t^7 - 19134676983046896161009243358080213126483362362028042297169962826667396328125/4463575162669020807759811091332333568*t^5 + 52599453513911236492828910475681506763257525922927774822481923844893931640625/142834405205408665848313954922634674176*t^3 - 865956555689817470964691287360177081281658185065030741737639414222807421875/285668810410817331696627909845269348352*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 ***
**************************************
