Starting with polynomial:
P : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Extension levels are: 4 9
-------------------------------------------------
Trying to find an order 9 Kronrod extension for:
P1 : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/24*t^13 - 92255858219/15195499752*t^12 + 234956819931/633145823*t^11 - 7910839170545/633145823*t^10 + 810412191929011/3165729115*t^9 - 10542996563222691/3165729115*t^8 + 88290146644674912/3165729115*t^7 - 473063163332520096/3165729115*t^6 + 1583350190436201264/3165729115*t^5 - 632947895657817264/633145823*t^4 + 700106893536242304/633145823*t^3 - 375097820355070848/633145823*t^2 + 74591604197437824/633145823*t - 2683048736382336/633145823
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 current precision for weights: 53
Linear system for weights solvable: 1
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   13 out of 13
Indefinite weights: 0 out of 13
Negative weights:   0 out of 13
Extension rule has valid weights: 1
-------------------------------------------------
The nodes are:
| (28.831596047715042181 - 2.4027124631625739785e-182j)  +/-  (8.88e-58, 8.88e-58j)
| (9.3950709123011331292 + 7.6324061874910214011e-188j)  +/-  (9.92e-58, 9.92e-58j)
| (6.6767432919830175281 + 2.5114621475540125392e-196j)  +/-  (3.72e-58, 3.72e-58j)
| (22.132878485645788047 - 3.2361488567223582274e-201j)  +/-  (2e-57, 2e-57j)
| (38.494566312818068994 + 6.9865115061347123514e-210j)  +/-  (1.82e-58, 1.82e-58j)
| (4.5366202969211279833 + 8.9853191789374433899e-207j)  +/-  (1.34e-58, 1.34e-58j)
| (12.772127396039979147 - 4.1098415835412589277e-218j)  +/-  (1.95e-57, 1.95e-57j)
| (16.940223135136416536 + 1.6966872161189545699e-224j)  +/-  (2.45e-57, 2.45e-57j)
| (0.3225476896193923118 + 1.8073863447489556063e-228j)  +/-  (2.73e-62, 2.73e-62j)
| (2.9182976256199762345 - 7.4302802578970837113e-233j)  +/-  (2.53e-59, 2.53e-59j)
| (0.89829910955426358892 + 4.0281856421236647446e-238j)  +/-  (4.4e-61, 4.4e-61j)
| (1.7457611011583465757 + 8.5002346756350020134e-241j)  +/-  (4.4e-60, 4.4e-60j)
| (0.045553442458632768853 - 5.4777515384867349214e-244j)  +/-  (9.95e-64, 9.95e-64j)
-------------------------------------------------
The weights are:
| (2.3352092841754025889e-12 + 2.8714213565378284478e-194j)  +/-  (3.1e-24, 1.67e-52j)
| (0.00025197210653818855305 + 5.7833305438190857889e-191j)  +/-  (5.9e-19, 3.17e-47j)
| (0.0030473140655879663243 - 2.6028068078295339495e-190j)  +/-  (1.25e-17, 6.71e-46j)
| (1.4238426419233491629e-09 - 2.3742709214697974251e-193j)  +/-  (2.72e-23, 1.46e-51j)
| (2.4184764421833707589e-16 + 6.0480466609742534167e-197j)  +/-  (1.47e-26, 7.91e-55j)
| (0.020029265022740384633 + 9.3066925109336668653e-190j)  +/-  (2.34e-18, 1.26e-46j)
| (1.0629912971504027905e-05 - 1.3899434448972702502e-191j)  +/-  (1.68e-21, 9e-50j)
| (2.034290304349123363e-07 + 1.963339353474802318e-192j)  +/-  (1.48e-22, 7.98e-51j)
| (0.31118164628596590162 + 5.5655929113499585408e-189j)  +/-  (3.24e-18, 1.67e-46j)
| (0.074444017615538454688 - 2.4946920857515586024e-189j)  +/-  (5.54e-19, 2.97e-47j)
| (0.29076067127153305837 - 6.2463250098314004161e-189j)  +/-  (1.36e-18, 7.07e-47j)
| (0.17279821926409442904 + 4.7559030847744321505e-189j)  +/-  (6.79e-19, 3.68e-47j)
| (0.12747605959982158477 - 2.2965560287964229303e-189j)  +/-  (8.69e-19, 4.22e-47j)
Starting with polynomial:
P : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Extension levels are: 4 9
-------------------------------------------------
Trying to find an order 9 Kronrod extension for:
P1 : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/24*t^13 - 92255858219/15195499752*t^12 + 234956819931/633145823*t^11 - 7910839170545/633145823*t^10 + 810412191929011/3165729115*t^9 - 10542996563222691/3165729115*t^8 + 88290146644674912/3165729115*t^7 - 473063163332520096/3165729115*t^6 + 1583350190436201264/3165729115*t^5 - 632947895657817264/633145823*t^4 + 700106893536242304/633145823*t^3 - 375097820355070848/633145823*t^2 + 74591604197437824/633145823*t - 2683048736382336/633145823
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 current precision for weights: 53
Linear system for weights solvable: 1
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   13 out of 13
Indefinite weights: 0 out of 13
Negative weights:   0 out of 13
Extension rule has valid weights: 1
-------------------------------------------------
The nodes are:
| (28.831596047715042181 - 2.4027124631625739785e-182j)  +/-  (8.88e-58, 8.88e-58j)
| (9.3950709123011331292 + 7.6324061874910214011e-188j)  +/-  (9.92e-58, 9.92e-58j)
| (6.6767432919830175281 + 2.5114621475540125392e-196j)  +/-  (3.72e-58, 3.72e-58j)
| (22.132878485645788047 - 3.2361488567223582274e-201j)  +/-  (2e-57, 2e-57j)
| (38.494566312818068994 + 6.9865115061347123514e-210j)  +/-  (1.82e-58, 1.82e-58j)
| (4.5366202969211279833 + 8.9853191789374433899e-207j)  +/-  (1.34e-58, 1.34e-58j)
| (12.772127396039979147 - 4.1098415835412589277e-218j)  +/-  (1.95e-57, 1.95e-57j)
| (16.940223135136416536 + 1.6966872161189545699e-224j)  +/-  (2.45e-57, 2.45e-57j)
| (0.3225476896193923118 + 1.8073863447489556063e-228j)  +/-  (2.73e-62, 2.73e-62j)
| (2.9182976256199762345 - 7.4302802578970837113e-233j)  +/-  (2.53e-59, 2.53e-59j)
| (0.89829910955426358892 + 4.0281856421236647446e-238j)  +/-  (4.4e-61, 4.4e-61j)
| (1.7457611011583465757 + 8.5002346756350020134e-241j)  +/-  (4.4e-60, 4.4e-60j)
| (0.045553442458632768853 - 5.4777515384867349214e-244j)  +/-  (9.95e-64, 9.95e-64j)
-------------------------------------------------
The weights are:
| (2.3352092841754025889e-12 + 2.8714213565378284478e-194j)  +/-  (3.1e-24, 1.67e-52j)
| (0.00025197210653818855305 + 5.7833305438190857889e-191j)  +/-  (5.9e-19, 3.17e-47j)
| (0.0030473140655879663243 - 2.6028068078295339495e-190j)  +/-  (1.25e-17, 6.71e-46j)
| (1.4238426419233491629e-09 - 2.3742709214697974251e-193j)  +/-  (2.72e-23, 1.46e-51j)
| (2.4184764421833707589e-16 + 6.0480466609742534167e-197j)  +/-  (1.47e-26, 7.91e-55j)
| (0.020029265022740384633 + 9.3066925109336668653e-190j)  +/-  (2.34e-18, 1.26e-46j)
| (1.0629912971504027905e-05 - 1.3899434448972702502e-191j)  +/-  (1.68e-21, 9e-50j)
| (2.034290304349123363e-07 + 1.963339353474802318e-192j)  +/-  (1.48e-22, 7.98e-51j)
| (0.31118164628596590162 + 5.5655929113499585408e-189j)  +/-  (3.24e-18, 1.67e-46j)
| (0.074444017615538454688 - 2.4946920857515586024e-189j)  +/-  (5.54e-19, 2.97e-47j)
| (0.29076067127153305837 - 6.2463250098314004161e-189j)  +/-  (1.36e-18, 7.07e-47j)
| (0.17279821926409442904 + 4.7559030847744321505e-189j)  +/-  (6.79e-19, 3.68e-47j)
| (0.12747605959982158477 - 2.2965560287964229303e-189j)  +/-  (8.69e-19, 4.22e-47j)
