Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 5 22
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Trying to find an order 22 Kronrod extension for:
P2 : 16*t^9 - 168*t^7 + 432*t^5 - 270*t^3 + 45*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^31 - 1141095506714148484381618599808/394334649438902047439291999*t^29 + 88927831384329774079403741250856/394334649438902047439291999*t^27 - 3939055914409646359068550287760842/394334649438902047439291999*t^25 + 110202597553555404630830260160458875/394334649438902047439291999*t^23 - 2047816122068785856533145189035785000/394334649438902047439291999*t^21 + 2725584358776060213320359628104395525/41508910467252847098872842*t^19 - 94578798240134650855030604178268882575/166035641869011388395491368*t^17 + 1121582156113366272255712317195171533175/332071283738022776790982736*t^15 - 1119240266993390896154782462223483461875/83017820934505694197745684*t^13 + 23394531832116920082065031908230295524125/664142567476045553581965472*t^11 - 153086331990136240261409846974659930367125/2656570269904182214327861888*t^9 + 293927126963706132256150583662299207652875/5313140539808364428655723776*t^7 - 38026238313645153455146941321463075381125/1328285134952091107163930944*t^5 + 76932632729582873183696265897062685384375/10626281079616728857311447552*t^3 - 29620971981452253508004310914218154563125/42505124318466915429245790208*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
Sufficient bits for target precision reached
Positive weights:   29 out of 31
Indefinite weights: 0 out of 31
Negative weights:   2 out of 31
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
