Starting with polynomial:
P : 4*t^2 - 2
Extension levels are: 2 10 24
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P1 : 4*t^2 - 2
Solvable: 1
-------------------------------------------------
Trying to find an order 24 Kronrod extension for:
P2 : 4*t^12 - 8477/76*t^10 + 155745/152*t^8 - 563535/152*t^6 + 1500975/304*t^4 - 2132865/1216*t^2 + 110565/2432
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 4*t^36 - 619179436373860848095672558382032774976633302247114653/641549688605694251299955452916483418969722860603852*t^34 + 2250012651262999248254419438345249194038905076552240006661/21812689412593604544198485399160436244970577260530968*t^32 - 35265080163156161422753858254839628099475959769361266036991/5453172353148401136049621349790109061242644315132742*t^30 + 723804960193785572280560014466693353301329271715931729789250/2726586176574200568024810674895054530621322157566371*t^28 - 658047079296742342877958970451276742993869462002591221387020385/87250757650374418176793941596641744979882309042123872*t^26 + 26671837959354889968758453624558739116213570884047305426794403745/174501515300748836353587883193283489959764618084247744*t^24 - 391584749778064160214509649201853884119107532940533438135549267685/174501515300748836353587883193283489959764618084247744*t^22 + 8374466589973009560107383134525589744140227735311179990879461120055/349003030601497672707175766386566979919529236168495488*t^20 - 427866407228848240678176261358408511236497144884807238002870490225/2296072569746695215178787936753730131049534448476944*t^18 + 561899764584178924424939300013268565523371908935798272365107614325/540252369352163580042067749824407089658713987876928*t^16 - 8850125497449793651555407244695249384582192631289727731422383663975/2161009477408654320168270999297628358634855951507712*t^14 + 95614816945912870365488742479853548694499967173410908523127218018075/8644037909634617280673083997190513434539423806030848*t^12 - 1360751389525879788793994468898987466701880000942475305333139691413025/69152303277076938245384671977524107476315390448246784*t^10 + 3007555328531040215462578388397362345811577617267378700123982664656625/138304606554153876490769343955048214952630780896493568*t^8 - 1893801866888139972066605487381974553746554365611084074856445832297875/138304606554153876490769343955048214952630780896493568*t^6 + 1187035703232164479346694431861135612920224311378783104330414810960875/276609213108307752981538687910096429905261561792987136*t^4 - 1157672053069521303911573171855782067033878191696522519905202205241625/2212873704866462023852309503280771439242092494343897088*t^2 + 51343280423676617037392209644506418116345669675531636300087968388625/4425747409732924047704619006561542878484184988687794176
-------------------------------------------------
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:   34 out of 36
Indefinite weights: 0 out of 36
Negative weights:   2 out of 36
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
