Starting with polynomial:
P : 16*t^4 - 48*t^2 + 12
Extension levels are: 4 33
-------------------------------------------------
Trying to find an order 33 Kronrod extension for:
P1 : 16*t^4 - 48*t^2 + 12
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 16*t^37 - 73074439482085130363568/14621279200179974225*t^35 + 294653687411165763670375356/424017096805219252525*t^33 - 24141654432541497639899336544/424017096805219252525*t^31 + 260123066842126161408383207988/84803419361043850505*t^29 - 335803614178362862375835951652/2924255840035994845*t^27 + 1800626417973463762314711489411/584851168007198969*t^25 - 35120008768438635303918685503474/584851168007198969*t^23 + 4010157841081322371363819503349743/4678809344057591752*t^21 - 41806496083995016672836453403232745/4678809344057591752*t^19 + 1261817325017333291122867946421632205/18715237376230367008*t^17 - 1694063067475863582860519175709635945/4678809344057591752*t^15 + 50456300599263373438648123080399923505/37430474752460734016*t^13 - 125235377789013325497162229589847033045/37430474752460734016*t^11 + 781597536174991577988635028178563699975/149721899009842936064*t^9 - 349285759145664089837700687230662682175/74860949504921468032*t^7 + 4858918359874475236023799959776897389425/2395550384157486977024*t^5 - 711729767426906450280311158484954650275/2395550384157486977024*t^3 + 1753871587251565821518467554878587275/9582201536629947908096*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:   36 out of 37
Indefinite weights: 0 out of 37
Negative weights:   1 out of 37
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
