Starting with polynomial:
P : 8*t^3 - 12*t
Extension levels are: 3 38
-------------------------------------------------
Trying to find an order 38 Kronrod extension for:
P1 : 8*t^3 - 12*t
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 8*t^41 - 797765011935897511/255717552955203*t^39 + 93461891597073053977/170478368636802*t^37 - 6541585512284644635567/113652245757868*t^35 + 917339918149900137429355/227304491515736*t^33 - 22746741371572927772398335/113652245757868*t^31 + 1648867440059108123541281595/227304491515736*t^29 - 89022020581636231993858149195/454608983031472*t^27 + 3615726887948163960079376252985/909217966062944*t^25 - 221707508191802549428548414002625/3636871864251776*t^23 + 5119873896832639121750668468498125/7273743728503552*t^21 - 88401367786060135092854821197569625/14547487457007104*t^19 + 1126600560423470889070101004859767125/29094974914014208*t^17 - 5196673140992290000658262686191027875/29094974914014208*t^15 + 33752690513655876669431516256059169375/58189949828028416*t^13 - 148357728843321807336415524301565274375/116379899656056832*t^11 + 208315021433119314985884188248101804375/116379899656056832*t^9 - 2738375092237201811784918111860695794375/1862078394496909312*t^7 + 2272256752385151884247725363869336876875/3724156788993818624*t^5 - 710390823066790344603357682755015084375/7448313577987637248*t^3 + 33728555942261954624607933994714771875/14896627155975274496*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:   40 out of 41
Indefinite weights: 0 out of 41
Negative weights:   1 out of 41
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
