Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 7 42
-------------------------------------------------
Trying to find an order 7 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 42 Kronrod extension for:
P2 : 16*t^11 - 328*t^9 + 2112*t^7 - 5040*t^5 + 4095*t^3 - 1575/2*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^53 - 63069332325501366950894327604172116588931432837956046688641135588015229195804/6086473267365702129997460815765956775861662767203642168363652970518867201*t^51 + 691584205402015640632614651548685408105412888093277908341786213945581084757717570/225199510892530978809906050183340400706881522386534760229455159909198086437*t^49 - 124748232133183720738742733067639866409745994106948604145051049179175820612771227314/225199510892530978809906050183340400706881522386534760229455159909198086437*t^47 + 15363094522379800363025724339352992881157304878289759464920368630977069822354959033235/225199510892530978809906050183340400706881522386534760229455159909198086437*t^45 - 1373269656610777920714164867249667074161974982434245762074108405334733815208706644412530/225199510892530978809906050183340400706881522386534760229455159909198086437*t^43 + 184919251097657171769046176243699730538408242291271049273426182563628021663515509518565735/450399021785061957619812100366680801413763044773069520458910319818396172874*t^41 - 38419260470448634277199514212340951805874203529857887322265027440125980776863115530599421875/1801596087140247830479248401466723205655052179092278081835641279273584691496*t^39 + 2224881147715211985500395836856093932859048024971369198497007083692670016404120044481073465/2562725586259243002104194027690929168783858007243638807732064408639523032*t^37 - 573929144964966403140732628991280119305534435707039647716409588853992675636997577320947449125/20501804690073944016833552221527433350270864057949110461856515269116184256*t^35 + 29507184643949478593601088125910514219904822933918704413658527166418048622568738486289559177275/41003609380147888033667104443054866700541728115898220923713030538232368512*t^33 - 303394147650032202383716714971034363869099139552137269931612100986326806083442991874620334534075/20501804690073944016833552221527433350270864057949110461856515269116184256*t^31 + 9990509566571535069772207927777847457106908362651259698827978831841887314516060954739989590137125/41003609380147888033667104443054866700541728115898220923713030538232368512*t^29 - 131504876485343772463587584664990534521510351014831067060368819690570721103151308684987616521165075/41003609380147888033667104443054866700541728115898220923713030538232368512*t^27 + 689376779883478396247057634161724350609957023131870386623673589634088298594003596020020588407430375/20501804690073944016833552221527433350270864057949110461856515269116184256*t^25 - 91555105694073396977527671084286950460836531781180710754535387061995682918401086923423149802123793125/328028875041183104269336835544438933604333824927185767389704244305858948096*t^23 + 2385863160057886703553802456629312463917108649839639423064829682212715313829651923772578683209402169375/1312115500164732417077347342177755734417335299708743069558816977223435792384*t^21 - 48227230054961722719503346358058833304230386585118466834553445495294945566136990076466750361234951284375/5248462000658929668309389368711022937669341198834972278235267908893743169536*t^19 + 372209852058176776776775450786136361523226364255206909916742824722562035559939855340148901447464700493125/10496924001317859336618778737422045875338682397669944556470535817787486339072*t^17 - 1074263969982152291758628224950542755917583329342234627127495841087224264317580559259049815560619510721875/10496924001317859336618778737422045875338682397669944556470535817787486339072*t^15 + 4511186473705371948525056930663075034737519006485668680390828153771449799361194357539995267765551303465625/20993848002635718673237557474844091750677364795339889112941071635574972678144*t^13 - 1659384579646606182934110416853563414445293135390916039707240427066421064571066490872304064128546967409375/5248462000658929668309389368711022937669341198834972278235267908893743169536*t^11 + 12998016847816959239743437287491040990981069643979086188824883685221697864338607366696076240166748745359375/41987696005271437346475114949688183501354729590679778225882143271149945356288*t^9 - 31469298621941054344308140001781725247221874412162703326519750530756819627235062541118762304502152432565625/167950784021085749385900459798752734005418918362719112903528573084599781425152*t^7 + 5267072055183813116704136126965932384718740239849806745304548657838141772401790838482291093302106746140625/83975392010542874692950229899376367002709459181359556451764286542299890712576*t^5 - 12918673252209893224754169300657155335519160085431261363622093361927833713060258528914584046427006499234375/1343606272168685995087203678390021872043351346901752903228228584676798251401216*t^3 + 1188482173252745613881830180639479086036271425257587123484695822918877507087761617344111972337554040390625/2687212544337371990174407356780043744086702693803505806456457169353596502802432*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:   51 out of 53
Indefinite weights: 0 out of 53
Negative weights:   2 out of 53
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
