Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 38
-------------------------------------------------
Trying to find an order 38 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^42 - 32367057756501387767271185768/5151895684408414257614025*t^40 + 97507240530938716238452566235408/87582226634943042379438425*t^38 - 10342099639862360125510871105004032/87582226634943042379438425*t^36 + 6993083893890325790949689527087983/834116444142314689327985*t^34 - 41434643274003584747363943829412943/98131346369684081097410*t^32 + 33277162902879147022596246825265752/2133290138471393067335*t^30 - 21160668227866393409073547270094489778/49065673184842040548705*t^28 + 3542824764995802554384970640785531656541/392525385478736324389640*t^26 - 1736132561206550994824849549047000679865/12077704168576502288912*t^24 + 457667971765786010535696012757511211615/262558786273402223672*t^22 - 4210031745963006900953294784742127140095/262558786273402223672*t^20 + 466433748041870287259939897369291850158385/4200940580374435578752*t^18 - 4804053862734541224215125826432587980700905/8401881160748871157504*t^16 + 565131444356370737972723357829688145601075/262558786273402223672*t^14 - 24286269700167102552018969433317954912965325/4200940580374435578752*t^12 + 1438933380059224246865362547936364112519732275/134430098571981938520064*t^10 - 18270911670714842390722255008176392046555025/1407645011224941764608*t^8 + 1277641035952745447270866565233136734600815675/134430098571981938520064*t^6 - 245291429071364164255073727580914972477307125/67215049285990969260032*t^4 + 1186701471380143445471422752077936261452171125/2150881577151711016321024*t^2 - 58966886019780348627966223500001232220043125/4301763154303422032642048
-------------------------------------------------
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
Sufficient bits for target precision reached
Positive weights:   40 out of 42
Indefinite weights: 0 out of 42
Negative weights:   2 out of 42
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
