f := (1-t)*(1-s)*(1-u)/(1-2*(s+t+u)+3*(s*t+t*u+u*s)-4*s*t*u):
F := normal(eval(f, {t=t/s, u=x/t})/s/t);

P2 :=
x*(x-1)*(64*x-1)*(3*x-2)*(6*x+1)*dx^2
+(4608*x^4-6372*x^3+813*x^2+514*x-4)*dx
+4*(576*x^3-801*x^2-108*x+74):

q := denom(F):
q1 := q/s/t:
disc := factor(discrim(q1, t));

U :=
93312*s^2*x^5*t^2+130974*t*x^3*s^4-32256*s^6*t^2*x^4+18432*x^3*s^7*t^2-972*x^3
*s*t-3312*s^8*x*t+71496*x^3*s^7*t-123732*t^2*x^4*s^2+25164*t^2*x^4*s+13542*t^2
*x^3*s^3-83858*t*x^3*s^3-9972*t^2*x^3*s+27054*x^4*s^2*t-4509*x^4*s*t+203904*s^
4*x^5*t-225504*s^3*x^5*t-20412*s*x^5*t+110808*s^2*x^5*t-7776*t^3*x^3*s-46656*s
*x^5*t^2-69120*t*x^5*s^5-82944*x^5*s^3*t^2+268140*x^4*s^3*t^2+27648*x^5*s^4*t^
2-292720*t^2*x^4*s^4+20148*t*x^3*s^2-54324*t*x^4*s^3-18096*t^2*x*s^7+10464*s^7
*x*t+24472*t^2*x*s^6+150736*t^2*x^3*s^5+88836*t^2*x^2*s^6-93528*t^3*x^3*s^3+
88128*t^3*x^3*s^4+37224*t^3*x*s^6-121536*t^3*x^2*s^5-67920*t^3*x*s^5-18432*t*x
^3*s^8-53272*x^3*s^5*t+23204*x^4*s^4*t-65872*t*x^3*s^6+22266*t^2*x^3*s^2+32256
*s^7*x^4*t-84096*t*x^4*s^6+60688*x^4*s^5*t+5184*t^2*x*s^8+10080*t*x^2*s^8-\
31104*t^3*x^3*s^5-30816*t^2*x^2*s^7-7776*t^3*x*s^7-87048*t^2*x^3*s^6+38880*t^3
*x^2*s^6+3168*t^2*x*s^3+11038*t^2*x^2*s^2-4864*s^4*t*x-14006*t*x^2*s^3-450*x*s
^4*t^2+11482*x*s^5*t-13230*s^5*x*t^2-14814*s^6*x*t-1620*x^2*s*t^2+1620*t*x^2*s
^2-72*t*x*s^2+1008*t*x*s^3+44064*t^3*x^3*s^2+72*x*s*t^2-3816*t^3*x^2*s+4240*t^
3*x*s^2-107748*t^2*x^2*s^5+81372*t*x^2*s^6-108928*t^2*x^3*s^4+152544*t^3*x^2*s
^4-96010*x^2*s^3*t^3-43764*t*x^2*s^7+75408*x^2*s^4*t^2-82428*x^2*s^5*t+47126*x
^2*s^4*t+30264*x^2*t^3*s^2+59684*t^3*x*s^4-56*s^2*t^2+56*s^3*t+616*s^3*t^2-\
152544*x^4*s^5-424*t^3*s^3-2343*s^4*t^2+2555*s^5*t-616*s^4*t+2968*s^4*t^3+3522
*s^5*t^2-7738*s^5*t^3-556*s^6*t^2+424*x^2*s^4-2968*x^2*s^5+7738*x^2*s^6-4240*x
^3*s^3+25456*x^3*s^4-59684*x^3*s^5+8904*s^6*t^3-3816*t^3*s^7+67920*x^3*s^6-\
37224*s^7*x^3-3568*s^7*t^2-8904*x^2*s^7-30264*x^4*s^3+7776*s^8*x^3-88128*x^5*s
^5+31104*x^5*s^6+3816*x^4*s^2+121536*x^4*s^6+3816*x^2*s^8+972*t^2*x^3-44064*x^
5*s^3+7776*x^5*s^2+2544*s^8*t^2-5112*t*s^6+5008*t*s^7-1944*s^8*t-1215*t^2*x^4+
93528*x^5*s^4-38880*x^4*s^7+8748*x^5*t^2+96010*x^4*s^4-35530*x^2*s^3*t^2+
156672*t^2*x^4*s^5-1008*t^2*x*s^2-25456*t^3*x*s^3
:

V :=
-20736*s^2*x^5*t^2+67820753*s^6*t^2*x^4-37410855*x^3*s^7*t^2+5392*s^8*x*t-\
821280*x^3*s^7*t+448416*s^4*x^5*t+18144*s^3*x^5*t-14396808*t*x^5*s^5-587448*x^
5*s^3*t^2+57168*x^4*s^3*t^2+18156314*x^5*s^4*t^2+219008*t^2*x^4*s^4-40472*t^2*
x*s^7-192*s^7*x*t+1856*t^2*x*s^6-349488*t^2*x^3*s^5+47752*t^2*x^2*s^6+2400*t^3
*x^3*s^3+895456*t^3*x^3*s^4+72672*t^3*x*s^6-197296*t^3*x^2*s^5-2880*t^3*x*s^5+
9742394*t*x^3*s^8+30560*x^3*s^5*t-48096*x^4*s^4*t-151104*t*x^3*s^6-38767002*s^
7*x^4*t+3476972*t*x^4*s^6+190032*x^4*s^5*t+372478*t^2*x*s^8-178116*t*x^2*s^8-\
10061060*t^3*x^3*s^5-896666*t^2*x^2*s^7-718972*t^3*x*s^7+6515086*t^2*x^3*s^6+
2190592*t^3*x^2*s^6+2528*t^2*x^2*s^5-5536*t*x^2*s^6-30656*t^2*x^3*s^4+5408*t^3
*x^2*s^4+54752*t*x^2*s^7+13248*x^4*s^5-480*s^6*t^3+7920*t^3*s^7-8704*x^3*s^6+
93120*s^7*x^3+80*s^7*t^2+1728*x^2*s^7-371744*s^8*x^3-117504*x^5*s^5+3744352*x^
5*s^6-103968*x^4*s^6-24064*x^2*s^8-1360*s^8*t^2-5184*x^5*s^4-289352*x^4*s^7+
589968*s^15*x^2-5936*s^10*x+126787359*x^4*s^10-256785448*x^4*s^11+345225806*x^
4*s^12-25480008*x^9*s^5+2116916*s^13*x^2-452232*t^4*s^8+54720*s^15*x-543324*s^
10*x^2+21791298*s^12*x^3+149416*x^2*s^9+10298*s^9*t^2-33558944*x^5*s^7+
155242684*x^5*s^8+104976*x^7*t^3-672300*s^10*t^3-231196*s^12*t^2+268432*s^13*t
^2+126814*s^11*t^2-45324*s^10*t^2-9799372*s^11*x^3-433247480*x^5*s^9+768768404
*s^10*x^5-859225456*s^11*x^5-2007001*s^12*x^2-29599544*s^13*x^3-1447932*s^14*x
^2-64*x*s^8-51872*s^12*x-131220*x^8*t^3+419904*x^7*t^5-306739992*s^13*x^4+
1139766*t^5*s^9-694204*t^5*s^8-2014932*t^4*s^10+1184886*t^4*s^9-1323552*t^3*s^
12+1183902*t^3*s^11+273976*t^5*s^7+83959740*x^9*s^6+414272*s^9*x^3+248250*t^3*
s^9+1275802*s^11*x^2+55240704*x^7*s^14-117198792*s^14*x^5+120619528*x^8*s^7-\
1405529912*x^7*s^10+1964896*s^10*x^3+2168946*t^4*s^11-1181364*t^5*s^10+46656*x
^5*t^5-58320*x^6*t^5-66744*s^13*t^5+31104*s^14*t^5+123120*s^14*t^4-62208*s^15*
t^4-75168*s^15*t^3+41472*s^16*t^3-482580648*x^7*s^12+1138485312*x^7*s^11+
31235328*x^7*s^13-116640*s^16*x^2+286200*s^13*t^4-1328796*s^12*t^4+928*s^9*x-\
135432*s^12*t^5-1259712*x^8*t^4+147744*x^6*s^4-163866130*x^6*s^7+38029828*x^6*
s^6-4347320*x^6*s^5+397680709*x^6*s^8-69984*x^7*s^3+6414844*x^7*s^6-7758456*x^
7*s^5+1424880*x^7*s^4-15360*t^4*s^6+960*t^4*s^5-179872*s^14*t^2+46176*s^15*t^2
-199872*s^14*t^3+692082*s^11*t^5+848016*s^13*t^3-139968*x^6*t^4+8833536*s^15*x
^6+109416*t^4*s^7-68464*t^5*s^6+240660236*x^6*s^10-530714924*x^6*s^9+6955340*x
^4*s^8-39893818*x^4*s^9+20361834*x^8*s^5+15168*s^16*t^2-58188*t^3*s^8-9216*s^
17*t^2-83392*s^14*x+542785440*x^5*s^12+378323176*x^6*s^11-739064412*x^6*s^12+
550269792*x^6*s^13-182423232*x^6*s^14+80920*s^13*x+4490640*x^9*s^4+21976*s^11*
x+93321116*x^7*s^7-177177888*x^9*s^7-3321108*x^8*s^4+84478464*s^15*x^5-\
14514768*s^15*x^3+4716576*s^16*x^3+171508140*s^14*x^4-52577856*s^15*x^4+
5091984*s^16*x^4+808704*s^17*x^4-684288*s^17*x^3-93658800*s^13*x^5+5184*s^17*x
^2-18006624*s^16*x^5+224856*x^8*s^3-349920*x^9*s^3+3456*s^17*x-20736*s^16*x+
6469632*s^16*x^6-15925248*s^15*x^7+13934592*s^14*x^8+1038033008*x^7*s^9-\
231679872*x^9*s^9+138578688*x^9*s^10-48273408*x^9*s^11+7464960*x^9*s^12-\
113210768*x^8*s^9+354358704*x^8*s^10+248467176*x^9*s^8-416092608*x^8*s^11-\
93975552*x^8*s^13+268704000*x^8*s^12-452289642*x^7*s^8-84725430*x^8*s^8-640*t^
5*s^4+25998048*s^14*x^3+9920*s^5*t^5+944784*x^9*t^3+174960*x^7*t^4-66878643*x^
8*s^6-8988850*t^2*x^4*s^5+8511416*t^3*x^4*s^4+429357672*x^9*s^4*t^2+6912*t^4*x
^3*s^2-5427432*x^7*s^3*t-56528*s^9*x*t+80375422*s^12*x^2*t^2-76224428*s^11*x^2
*t^2+43588055*s^8*x^2*t^3+113154042*s^8*x^3*t^2-116206136*s^7*x^3*t^3+16920576
*s^14*x^4*t^4+174637080*s^11*x^3*t^5+116951040*x^6*s^10*t^5-14929920*x^6*s^11*
t^5-101101608*x^7*s^3*t^5+1401624*x^6*s*t^4-39612105*x^7*s^3*t^2+13625838*x^7*
s^4*t^2-140138762*s^11*t*x^3-539057642*s^9*t*x^4+131349966*s^12*t*x^3-\
1298753048*s^11*t*x^4-17076428*t*s^13*x^2+94593578*s^10*t*x^3+186902404*t*x^4*
s^8+1018920823*s^10*t*x^4-40216081*s^9*x^3*t+23750820*x^9*t^2*s^2-470795620*x^
6*s^9*t+254664*x^6*s^2*t^2+18963284*t^5*x*s^10-28959120*s^13*x^4*t^3-21143208*
s^13*x*t^3-5626152*s^13*x*t^4-662256*s^14*x*t^4+59832*s^13*x*t^5+84478032*s^12
*x^2*t^4-22322304*s^13*x^2*t^4-70568652*t*x^3*s^13+510621984*s^9*x^4*t^5+
31916592*s^11*x^4*t^5-245033424*s^10*x^4*t^5-569026872*s^8*x^4*t^5+152355840*s
^9*x^3*t^5-269949072*x^4*s^7*t^2+125216*s^16*x*t^2+113280*s^17*x*t^2-1933509*t
^2*x*s^9-50158*t*x^2*s^9+3882066*s^8*x*t^3+5857043*s^8*x^2*t^2+182612174*s^10*
x^3*t^2-1132553748*s^9*x^4*t^2+579946468*x^4*s^9*t^3+997296816*x^5*s^11*t^3-\
8957952*x^7*s^9*t^5+312749186*x^6*s^5*t^4-811800576*x^7*s^11*t^3-550001132*x^6
*s^5*t^3-50587558*t^4*x^2*s^7-2113512*t^4*x^2*s^5-3642084*x^7*t^3*s+17421642*x
^7*s^2*t^3+2860596*x^7*s*t^4-39900274*x^4*s^5*t^3-142560*x^5*s*t^4+1536*t^5*x*
s^3-521083584*x^6*s^5*t^5+1640853822*x^6*s^6*t^2+1489776*x^4*s^2*t^5+5221260*x
^6*s^2*t^5+5749704*x^6*s^2*t^3+872995968*x^9*s^8*t-15925248*x^9*t^3*s^9+
47283218*s^6*t^3*x^3+90701633*t^3*x^4*s^6+104841216*x^9*s^8*t^3+35831808*x^9*s
^10*t^2-893761776*x^9*s^5*t^2-132357240*x^9*s^3*t^2+131863880*t^3*x^3*s^8+
675842526*t^2*x^4*s^8-233720496*s^10*x^3*t^5-15261696*s^15*x^4*t^3+7776*s*x^5*
t^3-12504506*s^7*t^3*x^2-3991153088*x^8*s^7*t^3+3825413376*x^8*s^8*t^3+
2624273664*x^8*s^6*t^3-199065600*x^8*s^9*t^4+535154688*x^8*s^8*t^4+31850496*x^
8*s^10*t^4+814068708*s^11*x^3*t^3+42209838*x^6*s^3*t^4-46992654*x^6*s^3*t^5-\
145039512*x^6*s^4*t^4+3701784*t*s^14*x-41472*t^4*x*s^5-92067840*x^6*s^13*t^3-\
8654040*x^6*s^2*t^4-17826966*x^6*s^3*t^2-728335152*x^6*s^5*t^2+171105693*x^6*s
^4*t^2+278254521*x^6*s^4*t^3+121061262*s^12*x^2*t^3+12525480*s^14*x^2*t^3-\
54470688*s^13*x^2*t^3+111693792*s^10*x^2*t^5+16573680*s^12*x^2*t^5-56226204*s^
11*x^2*t^5+1824768*s^14*x^2*t^4-2179872*s^13*x^2*t^5-184896*s^15*x^2*t^3-\
56958128*s^13*x^2*t^2-6290432*s^15*x^2*t^2+25688576*s^14*x^2*t^2-200512776*s^
12*x^3*t^2-174825152*s^14*x^3*t^2+265100100*s^13*x^3*t^2-796984164*s^12*x^3*t^
3+478185552*s^13*x^3*t^3+62136240*s^15*x^3*t^2-136418958*x^8*t^2*s^4-\
1649146186*x^6*s^8*t^3-1413411508*x^7*s^6*t^4+338405824*x^6*s^6*t^3+700594226*
x^6*s^7*t^3+1303571964*x^7*s^5*t^4+567473976*s^11*x^4*t^4-769712580*s^10*x^3*t
^4+21617280*s^12*x^4*t^5+10727472*s^14*x*t^2+22937724*s^12*x*t^4+765571754*s^7
*x^4*t^4+34219370*s^5*x^4*t^4+7148144*s^4*x^4*t^4+21348276*s^4*x^4*t^5-6312826
*s^5*x^4*t^5-251086160*s^6*x^4*t^4+153653760*x^5*s^12*t^4-32348160*x^5*s^13*t^
4+1238410944*x^9*s^6*t^2-1142484480*x^9*s^7*t^2+676823040*x^9*s^8*t^2-\
233680896*x^9*s^9*t^2-31542284*t^4*x^3*s^5+124416*s^17*x^2*t^2+76182288*s^14*x
^4*t^2+349536*s^16*x^2*t^2-1920*x^2*s^2*t^5-137883540*x^5*s^5*t^3+450720*x^4*s
^2*t^4-99802904*x^5*s^4*t^5-331776*x^5*s*t^5-1034928*x^5*s^2*t^5-660960*t^3*x^
4*s^3-22464*t^3*x^4*s^2-2880*x^2*s^3*t^4-11087742*s^11*x*t^5-793506816*x^8*s^7
*t^4-277277184*x^8*s^5*t^4-32967216*x^8*s^4*t^4-1011430476*x^8*s^5*t^3-\
2284996608*x^8*s^9*t^3+675348480*x^8*s^6*t^4+780447744*x^8*s^10*t^3-116785152*
x^8*s^11*t^3+5312336688*x^8*s^8*t^2-7131708*x^5*s^3*t^3-577152*x^5*s^2*t^4+
95256*x^6*s*t^5-66184506*x^6*s^3*t^3-3164496*s^15*x*t^2-21300952*t^2*x^2*s^9+
598718377*x^5*s^5*t^4+1217644944*x^8*s^6*t^2-18516052*s^13*t^2*x+19618718*s^12
*t^2*x-13621854*s^11*t^2*x+6317522*s^10*t^2*x+6856704*s^16*x^4*t^2-3570260*t^4
*x*s^7+1356048*t^5*x*s^6-109569112*t^5*x^3*s^7+14534368*t^5*x^3*s^4-7132344*t^
5*x^2*s^5+167424*t^5*x^3*s^2-5351896*t^5*x*s^7-12965108*s^9*t^3*x+12865392*x^8
*s*t^4-22894245*x^8*s^2*t^3+59461290*x^8*s^3*t^2+3542940*x^8*s*t^3+43086038*t^
4*x*s^10+13376072*s^14*t*x^2-165317760*s^14*x^3*t^3-9543168*s^16*x^3*t^2+
25411968*s^15*x^3*t^3-373248*s^16*x^2*t^3+46369746*x^5*s^4*t^3+662537650*x^5*s
^6*t^2-154562283*x^5*s^5*t^2+7290810*x^7*t^2*s^2-10433205*x^8*t^2*s^2-\
695010240*x^6*s^11*t^3+437690304*x^6*s^12*t^3-277724160*x^7*s^9*t^4-33841152*x
^7*s^11*t^4+168376320*x^7*s^10*t^4-142193232*x^5*s^12*t^3+27703296*x^5*s^14*t^
3-77759136*x^5*s^13*t^3-5073248768*x^8*t^2*s^9+128*t^4*x*s^4-5578405336*x^7*s^
8*t^2-167405876*x^4*s^8*t^3-1419687572*x^4*s^8*t^4-116557536*x^4*s^6*t^5+
365907334*x^4*s^7*t^5-1432844222*x^5*s^6*t^4+318814737*x^5*s^7*t^3+265843798*x
^5*s^5*t^5+2249913384*x^5*s^7*t^4-1361036814*x^5*s^8*t^3-416684492*x^5*s^6*t^5
+430049004*x^3*s^9*t^4+2497626178*x^5*s^8*t^2-2018621216*x^5*s^9*t^2-\
1808470572*x^6*s^7*t^2+40200550*x^6*s^8*t^2+2488758768*x^6*s^9*t^2-3000073068*
x^6*s^10*t^2-2055447328*x^5*s^10*t^3+352625526*x^5*s^7*t^5-2293649524*x^5*s^8*
t^4+2249792480*x^5*s^9*t^3-53775072*x^5*s^8*t^5-1035606420*x^6*s^7*t^5+
127233350*t*x^5*s^6+141119226*x^5*s^6*t^3+2714242096*x^7*s^9*t^2+1161097372*x^
5*s^11*t^2-402884928*x^6*s^9*t^5-470263048*x^3*s^10*t^3+891599832*x^7*s^10*t^2
-1997497344*x^7*s^11*t^2+3101112*s^12*x*t^5+5025629982*x^7*s^7*t^2-7464960*s^
13*x^4*t^5-176256*s^14*x*t^5+1364688*x^9*t*s^2+594413288*x^6*s^6*t-1392427476*
x^6*s^7*t+188196138*x^8*s^5*t-63691812*x^8*s^4*t-573462985*x^5*s^7*t+39813120*
x^6*s^12*t^4-204038352*x^9*t^3*s^3+63851652*x^9*t^3*s^2+152515764*x^8*t^3*s^4+
1711511315*x^6*s^8*t+419017536*x^9*t^3*s^4+523127808*x^9*t^3*s^6-573495552*x^9
*t^3*s^5-306671616*x^9*t^3*s^7+10048024*t^5*x^3*s^8-143467856*t^5*x^2*s^9+
12748864*t^5*x*s^8-73065934*t^5*x^2*s^7+61120755*t^3*x^3*s^9-19446462*t^5*x*s^
9+28714396*t^5*x^2*s^6-47040*t^5*x^2*s^3+448*t^5*x*s^4+979536*t^5*x^2*s^4-\
168768*t^5*x*s^5-205632866*t^4*x^2*s^9+6734784*t^4*x^3*s^4-642080*t^4*x^3*s^3+
124103700*t^4*x^2*s^8+162080*t^4*x^2*s^4+13397776*t^4*x^2*s^6-70966248*t^4*x^3
*s^8+610891200*x^6*s^10*t^4-240340608*x^6*s^11*t^4-1708904912*x^6*s^10*t-\
8401944*s^3*x^4*t^5+41197572*x^8*t^3*s^3-53125632*x^8*t^4*s^2+101983212*x^8*t^
4*s^3-103680*x^4*s*t^5+12807312*t^4*x*s^8-29100153*t^4*x*s^9+1542181924*t*x^5*
s^8-1320043416*s^10*x^4*t^4+1714395336*s^9*x^4*t^4+792719244*s^11*x^3*t^4-\
834981268*s^10*x^4*t^3+5233944*s^14*x*t^3+517392*s^15*x*t^3-418176*s^16*x*t^3+
58650912*s^14*x^4*t^3+97895952*x^9*s^4*t+1630950336*x^7*s^10*t^3+1056198528*x^
7*s^12*t^2+200470038*x^6*s^4*t^5-300406320*x^7*s^5*t^5-1063700448*x^7*s^9*t^3+
45644132*x^6*s^7*t^4-242958504*s^12*x^4*t^3-1660553422*x^5*s^7*t^2+318182*t*x*
s^10+2484584*t*x*s^12-1100879*t*x*s^11+2129464*t*x^2*s^10-7488668*t*x^2*s^11+
14229277*t*x^2*s^12-3733324*t*x*s^13-86986433*t^4*x^3*s^7+78497268*t^4*x^3*s^6
-49845584*t^5*x^3*s^5+101210088*t^5*x^3*s^6-129024*s^17*t*x+661548928*s^11*x^4
*t^3-52381728*s^13*x^4*t^4-59320512*s^12*x^4*t^4+163296*x^6*s*t^3-1006295040*x
^8*s^11*t^2+147529728*x^8*s^12*t^2-3439356592*x^8*s^7*t^2+489888*s^15*x*t^4+
124159766*t^5*x^2*s^8-168318346*t^3*x^2*s^11+232313214*t^4*x^2*s^10-175900596*
t^4*x^2*s^11+659016*x^8*t^2*s-31369248*s^15*x^4*t^2+38052214*t^3*x*s^12-\
40896312*t^4*x*s^11-476748288*x^7*s^13*t+636261696*x^7*s^12*t+2628471024*s^11*
t*x^6-1605823920*s^12*t*x^6+1109285364*t*x^4*s^12+4727351688*x^7*s^9*t-\
3194249776*x^7*s^10*t+638374512*x^7*s^11*t+1285632*s^17*x^3*t+4817664*s^16*x^4
*t-1327104*s^17*x^4*t-27869184*x^9*s^11*t+291513600*s^13*t*x^6+127083168*s^14*
t*x^6-233125119*x^8*s^6*t-320653080*x^9*s^5*t+2544550080*x^8*s^10*t-1545329664
*x^8*s^11*t-520418304*x^9*s^9*t+180734976*x^9*s^10*t-227026864*x^8*s^7*t+
1380709836*x^8*s^8*t+673184844*x^9*s^6*t-939862656*x^9*s^7*t+101357568*s^14*x^
7*t-2595031948*t*x^5*s^9+2658060220*t*x^5*s^10-1362377428*t*x^5*s^11+524980224
*x^8*s^12*t-76972032*x^8*s^13*t+5308416*s^16*x^5*t-50761728*s^15*x^6*t+
48147120*x^6*s^10*t^3+151621632*x^7*s^12*t^3-201609216*x^7*s^13*t^2-1889568*x^
9*t^2*s+1812034209*x^7*s^5*t^3+3563145972*x^7*s^7*t^3+806825472*x^7*s^7*t^4+
1243402368*x^6*s^9*t^3+246818745*x^7*s^3*t^4-45317232*x^7*s^2*t^4+30340656*x^7
*s^3*t^3+2995183872*x^8*s^10*t^2-492697044*x^7*s^4*t^3+30618000*x^7*s^2*t^5-\
5388768*x^7*s*t^5+580164162*x^7*s^5*t^2+29316474*x^7*s^4*t+392950464*x^5*s^13*
t^2-17307648*x^5*s^15*t^2-12455136*x^5*s^14*t^2+831264*s^16*t*x+575568*t^4*x*s
^6-2371136*t^5*x^3*s^3-2321312*s^15*t*x-361980070*x^6*s^6*t^4+893318808*x^6*s^
6*t^5+213827688*x^7*s^4*t^5-3445384976*x^7*s^6*t^3+285551040*x^6*s^12*t^2+
109320192*x^6*s^14*t^2-428834880*x^6*s^13*t^2-729203400*x^7*s^4*t^4-198326702*
x^3*s^9*t^2-69211022*x^4*s^7*t^3+279936*s^15*x^2*t^4-499847760*s^12*x^3*t^4-\
28693440*s^14*x^3*t^4+180383760*s^13*x^3*t^4-812400696*x^6*s^9*t^4+515847096*x
^6*s^8*t^4-67064436*x^8*s^5*t^2+28262558*s^10*t^3*x+49224862*s^10*t^2*x^2-\
100145592*s^9*t^3*x^2+10721646*x^8*t*s^3-139327894*x^6*s^5*t-312852240*s^14*x^
5*t+1966032*s^16*x^2*t+11248584*s^14*x^3*t+10364112*s^15*x^3*t-69009408*s^12*x
^3*t^5+11562912*s^13*x^3*t^5+58226688*x^7*s^8*t^5-1001151536*s^11*x^4*t^2-\
197139368*s^13*x^4*t^2+520453244*s^12*x^4*t^2+198478896*s^14*x^4*t+607035936*s
^13*x^5*t-6695712*s^15*x^2*t-2502292448*x^8*s^9*t-156184876*x^5*s^4*t^4-\
17373528*x^9*s^3*t-6718464*s^16*x^3*t-260928*s^17*x^2*t+44622144*s^15*x^5*t-\
33993216*s^15*x^4*t-126787456*s^12*x^5*t-610127048*s^13*x^4*t-423792*s^3*x^6*t
-718308*s^2*x^8*t+244944*s^2*x^7*t-279936*s*x^7*t^2+1761108418*x^7*s^7*t-\
3811632454*x^7*s^8*t+15475740*x^6*s^4*t-388666390*x^7*s^6*t-17294271*x^7*s^5*t
+156824352*t^3*x^2*s^10-3659928*x^4*s^3*t^4-201055392*x^5*s^11*t^4-101539008*x
^5*s^11*t^5+17915904*x^5*s^12*t^5+225978336*x^5*s^10*t^5+351216*x^5*s^2*t^3-\
40772661*t^3*x*s^11-11652336*x^9*s*t^3+1293722252*s^10*t^2*x^4-8519034*s^11*x^
3*t^2+21520332*x^5*s^3*t^4+20057640*x^5*s^3*t^5+1247495720*x^6*s^11*t^2-\
1113327512*x^5*s^12*t^2-1388393812*x^7*s^8*t^3-167588352*x^7*s^7*t^5-29131200*
x^7*s^8*t^4+280350720*x^7*s^6*t^5+1376933724*x^5*s^9*t^4+245065008*x^5*s^10*t^
2-2471345190*x^7*s^6*t^2-209299680*x^5*s^9*t^5+805499424*x^6*s^8*t^5-283939056
*x^5*s^10*t^4
:

S :=
1/2*(156672*t^2*x^4*s^5-56*s^2*t^2-1008*t^2*x*s^2+1620*t*x^2*s^2-1620*x^2*s*t^
2+1008*t*x*s^3-72*t*x*s^2+72*x*s*t^2+56*s^3*t+616*s^3*t^2-152544*x^4*s^5+44064
*t^3*x^3*s^2+4240*t^3*x*s^2-3816*t^3*x^2*s+11038*t^2*x^2*s^2+3168*t^2*x*s^3-\
14006*t*x^2*s^3-424*t^3*s^3-2343*s^4*t^2+2555*s^5*t-4864*s^4*t*x-616*s^4*t+
2968*s^4*t^3+11482*x*s^5*t-450*x*s^4*t^2-14814*s^6*x*t-13230*s^5*x*t^2-25456*t
^3*x*s^3+59684*t^3*x*s^4-35530*x^2*s^3*t^2+47126*x^2*s^4*t+30264*x^2*t^3*s^2+
75408*x^2*s^4*t^2-82428*x^2*s^5*t-96010*x^2*s^3*t^3+3522*s^5*t^2-7738*s^5*t^3-\
556*s^6*t^2+424*x^2*s^4-2968*x^2*s^5+7738*x^2*s^6-4240*x^3*s^3+25456*x^3*s^4-\
59684*x^3*s^5+8904*s^6*t^3-3816*t^3*s^7+67920*x^3*s^6-37224*s^7*x^3-43764*t*x^
2*s^7+152544*t^3*x^2*s^4-108928*t^2*x^3*s^4-107748*t^2*x^2*s^5+81372*t*x^2*s^6
-121536*t^3*x^2*s^5-67920*t^3*x*s^5+37224*t^3*x*s^6-93528*t^3*x^3*s^3+88128*t^
3*x^3*s^4+150736*t^2*x^3*s^5+88836*t^2*x^2*s^6+24472*t^2*x*s^6-18096*t^2*x*s^7
-3568*s^7*t^2-8904*x^2*s^7+10464*s^7*x*t-30264*x^4*s^3+38880*t^3*x^2*s^6-7776*
t^3*x*s^7-87048*t^2*x^3*s^6-31104*t^3*x^3*s^5-30816*t^2*x^2*s^7+5184*t^2*x*s^8
+10080*t*x^2*s^8+7776*s^8*x^3-84096*t*x^4*s^6+60688*x^4*s^5*t+22266*t^2*x^3*s^
2+32256*s^7*x^4*t+23204*x^4*s^4*t-65872*t*x^3*s^6-18432*t*x^3*s^8-53272*x^3*s^
5*t+27054*x^4*s^2*t-4509*x^4*s*t-83858*t*x^3*s^3-9972*t^2*x^3*s+13542*t^2*x^3*
s^3+25164*t^2*x^4*s+71496*x^3*s^7*t-123732*t^2*x^4*s^2-88128*x^5*s^5+31104*x^5
*s^6+3816*x^4*s^2+121536*x^4*s^6+3816*x^2*s^8+972*t^2*x^3-44064*x^5*s^3+7776*x
^5*s^2-972*x^3*s*t+2544*s^8*t^2-3312*s^8*x*t-32256*s^6*t^2*x^4+18432*x^3*s^7*t
^2+130974*t*x^3*s^4-54324*t*x^4*s^3+20148*t*x^3*s^2-292720*t^2*x^4*s^4+268140*
x^4*s^3*t^2+27648*x^5*s^4*t^2-5112*t*s^6+5008*t*s^7-1944*s^8*t-1215*t^2*x^4-\
69120*t*x^5*s^5-82944*x^5*s^3*t^2+93528*x^5*s^4-38880*x^4*s^7-7776*t^3*x^3*s-\
46656*s*x^5*t^2-20412*s*x^5*t+110808*s^2*x^5*t+203904*s^4*x^5*t-225504*s^3*x^5
*t+93312*s^2*x^5*t^2+8748*x^5*t^2+96010*x^4*s^4)*(s-t)/(-s*t+2*s^2*t+2*t^2+2*x
*s-3*s*t^2-3*x*t-3*x*s^2+4*x*s*t)^2/t/s/(24*x*s-16*x*s^2-9*x+s-4*s^2+4*s^3)/(s
-x)
:

T :=
1/2*t*(589968*s^15*x^2-5936*s^10*x+8511416*t^3*x^4*s^4-8988850*t^2*x^4*s^5+
126787359*x^4*s^10-256785448*x^4*s^11+345225806*x^4*s^12+13248*x^4*s^5+
429357672*x^9*s^4*t^2+6912*t^4*x^3*s^2-5427432*x^7*s^3*t-25480008*x^9*s^5-\
56528*s^9*x*t+80375422*s^12*x^2*t^2-76224428*s^11*x^2*t^2+2116916*s^13*x^2+
43588055*s^8*x^2*t^3+113154042*s^8*x^3*t^2-116206136*s^7*x^3*t^3-452232*t^4*s^
8-480*s^6*t^3+7920*t^3*s^7-8704*x^3*s^6+93120*s^7*x^3+16920576*s^14*x^4*t^4+
174637080*s^11*x^3*t^5+54752*t*x^2*s^7+5408*t^3*x^2*s^4-30656*t^2*x^3*s^4+2528
*t^2*x^2*s^5-5536*t*x^2*s^6-197296*t^3*x^2*s^5-2880*t^3*x*s^5+72672*t^3*x*s^6+
2400*t^3*x^3*s^3+895456*t^3*x^3*s^4-349488*t^2*x^3*s^5+47752*t^2*x^2*s^6+1856*
t^2*x*s^6-40472*t^2*x*s^7+80*s^7*t^2+1728*x^2*s^7+116951040*x^6*s^10*t^5-\
14929920*x^6*s^11*t^5-192*s^7*x*t+2190592*t^3*x^2*s^6-718972*t^3*x*s^7+6515086
*t^2*x^3*s^6-10061060*t^3*x^3*s^5-896666*t^2*x^2*s^7+372478*t^2*x*s^8-178116*t
*x^2*s^8-371744*s^8*x^3-101101608*x^7*s^3*t^5+1401624*x^6*s*t^4-39612105*x^7*s
^3*t^2+13625838*x^7*s^4*t^2+54720*s^15*x-140138762*s^11*t*x^3-539057642*s^9*t*
x^4+3476972*t*x^4*s^6+131349966*s^12*t*x^3-1298753048*s^11*t*x^4-17076428*t*s^
13*x^2+190032*x^4*s^5*t+94593578*s^10*t*x^3-38767002*s^7*x^4*t-48096*x^4*s^4*t
-151104*t*x^3*s^6+9742394*t*x^3*s^8+186902404*t*x^4*s^8+30560*x^3*s^5*t+
1018920823*s^10*t*x^4-40216081*s^9*x^3*t-821280*x^3*s^7*t+23750820*x^9*t^2*s^2
-470795620*x^6*s^9*t+254664*x^6*s^2*t^2-543324*s^10*x^2+21791298*s^12*x^3+
18963284*t^5*x*s^10+149416*x^2*s^9+10298*s^9*t^2-28959120*s^13*x^4*t^3-\
21143208*s^13*x*t^3-5626152*s^13*x*t^4-662256*s^14*x*t^4+59832*s^13*x*t^5+
84478032*s^12*x^2*t^4-22322304*s^13*x^2*t^4-70568652*t*x^3*s^13-117504*x^5*s^5
+3744352*x^5*s^6-33558944*x^5*s^7+155242684*x^5*s^8+104976*x^7*t^3+510621984*s
^9*x^4*t^5+31916592*s^11*x^4*t^5-245033424*s^10*x^4*t^5-569026872*s^8*x^4*t^5+
152355840*s^9*x^3*t^5-672300*s^10*t^3-231196*s^12*t^2+268432*s^13*t^2+126814*s
^11*t^2-45324*s^10*t^2-269949072*x^4*s^7*t^2-9799372*s^11*x^3-433247480*x^5*s^
9+768768404*s^10*x^5-859225456*s^11*x^5+125216*s^16*x*t^2+113280*s^17*x*t^2-\
2007001*s^12*x^2-1933509*t^2*x*s^9-50158*t*x^2*s^9-29599544*s^13*x^3-1447932*s
^14*x^2+3882066*s^8*x*t^3+5857043*s^8*x^2*t^2-64*x*s^8+182612174*s^10*x^3*t^2-\
1132553748*s^9*x^4*t^2+579946468*x^4*s^9*t^3+997296816*x^5*s^11*t^3-8957952*x^
7*s^9*t^5+312749186*x^6*s^5*t^4-811800576*x^7*s^11*t^3-550001132*x^6*s^5*t^3-\
51872*s^12*x-103968*x^4*s^6-50587558*t^4*x^2*s^7-2113512*t^4*x^2*s^5-24064*x^2
*s^8-3642084*x^7*t^3*s-131220*x^8*t^3+17421642*x^7*s^2*t^3+2860596*x^7*s*t^4+
419904*x^7*t^5-39900274*x^4*s^5*t^3-142560*x^5*s*t^4-306739992*s^13*x^4+1536*t
^5*x*s^3-521083584*x^6*s^5*t^5+1640853822*x^6*s^6*t^2+1489776*x^4*s^2*t^5+
5221260*x^6*s^2*t^5+5749704*x^6*s^2*t^3+1139766*t^5*s^9-694204*t^5*s^8-2014932
*t^4*s^10+1184886*t^4*s^9-1323552*t^3*s^12+1183902*t^3*s^11+273976*t^5*s^7+
83959740*x^9*s^6+414272*s^9*x^3+248250*t^3*s^9+1275802*s^11*x^2-1360*s^8*t^2+
5392*s^8*x*t+872995968*x^9*s^8*t+55240704*x^7*s^14-117198792*s^14*x^5+
120619528*x^8*s^7-1405529912*x^7*s^10-15925248*x^9*t^3*s^9+1964896*s^10*x^3+
47283218*s^6*t^3*x^3+67820753*s^6*t^2*x^4+90701633*t^3*x^4*s^6+104841216*x^9*s
^8*t^3+35831808*x^9*s^10*t^2-893761776*x^9*s^5*t^2-132357240*x^9*s^3*t^2+
131863880*t^3*x^3*s^8+675842526*t^2*x^4*s^8-233720496*s^10*x^3*t^5-15261696*s^
15*x^4*t^3+7776*s*x^5*t^3-12504506*s^7*t^3*x^2-37410855*x^3*s^7*t^2+2168946*t^
4*s^11-1181364*t^5*s^10+46656*x^5*t^5-58320*x^6*t^5-66744*s^13*t^5+31104*s^14*
t^5+123120*s^14*t^4-62208*s^15*t^4-75168*s^15*t^3+41472*s^16*t^3-3991153088*x^
8*s^7*t^3+3825413376*x^8*s^8*t^3+2624273664*x^8*s^6*t^3-199065600*x^8*s^9*t^4+
535154688*x^8*s^8*t^4+31850496*x^8*s^10*t^4+814068708*s^11*x^3*t^3+42209838*x^
6*s^3*t^4-46992654*x^6*s^3*t^5-145039512*x^6*s^4*t^4+3701784*t*s^14*x-41472*t^
4*x*s^5-92067840*x^6*s^13*t^3-8654040*x^6*s^2*t^4-17826966*x^6*s^3*t^2-\
728335152*x^6*s^5*t^2+171105693*x^6*s^4*t^2+278254521*x^6*s^4*t^3+121061262*s^
12*x^2*t^3+12525480*s^14*x^2*t^3-54470688*s^13*x^2*t^3+111693792*s^10*x^2*t^5+
16573680*s^12*x^2*t^5-56226204*s^11*x^2*t^5+1824768*s^14*x^2*t^4-2179872*s^13*
x^2*t^5-184896*s^15*x^2*t^3-482580648*x^7*s^12+1138485312*x^7*s^11+31235328*x^
7*s^13-56958128*s^13*x^2*t^2-6290432*s^15*x^2*t^2+25688576*s^14*x^2*t^2-\
200512776*s^12*x^3*t^2-174825152*s^14*x^3*t^2+265100100*s^13*x^3*t^2-796984164
*s^12*x^3*t^3+478185552*s^13*x^3*t^3+62136240*s^15*x^3*t^2-136418958*x^8*t^2*s
^4-1649146186*x^6*s^8*t^3-1413411508*x^7*s^6*t^4+338405824*x^6*s^6*t^3+
700594226*x^6*s^7*t^3+1303571964*x^7*s^5*t^4+567473976*s^11*x^4*t^4-769712580*
s^10*x^3*t^4+21617280*s^12*x^4*t^5+10727472*s^14*x*t^2+22937724*s^12*x*t^4+
765571754*s^7*x^4*t^4+34219370*s^5*x^4*t^4+7148144*s^4*x^4*t^4+21348276*s^4*x^
4*t^5-6312826*s^5*x^4*t^5-251086160*s^6*x^4*t^4+153653760*x^5*s^12*t^4-\
32348160*x^5*s^13*t^4+1238410944*x^9*s^6*t^2-1142484480*x^9*s^7*t^2+676823040*
x^9*s^8*t^2-233680896*x^9*s^9*t^2-116640*s^16*x^2-31542284*t^4*x^3*s^5+124416*
s^17*x^2*t^2+76182288*s^14*x^4*t^2+349536*s^16*x^2*t^2-1920*x^2*s^2*t^5-\
137883540*x^5*s^5*t^3+450720*x^4*s^2*t^4-99802904*x^5*s^4*t^5-331776*x^5*s*t^5
-1034928*x^5*s^2*t^5+219008*t^2*x^4*s^4-660960*t^3*x^4*s^3-22464*t^3*x^4*s^2-\
2880*x^2*s^3*t^4+57168*x^4*s^3*t^2-11087742*s^11*x*t^5-793506816*x^8*s^7*t^4-\
277277184*x^8*s^5*t^4-32967216*x^8*s^4*t^4-1011430476*x^8*s^5*t^3-2284996608*x
^8*s^9*t^3+675348480*x^8*s^6*t^4+780447744*x^8*s^10*t^3-116785152*x^8*s^11*t^3
+5312336688*x^8*s^8*t^2-7131708*x^5*s^3*t^3-577152*x^5*s^2*t^4+18156314*x^5*s^
4*t^2+95256*x^6*s*t^5-66184506*x^6*s^3*t^3+286200*s^13*t^4-1328796*s^12*t^4-\
3164496*s^15*x*t^2-21300952*t^2*x^2*s^9+598718377*x^5*s^5*t^4+1217644944*x^8*s
^6*t^2+928*s^9*x-18516052*s^13*t^2*x+19618718*s^12*t^2*x-13621854*s^11*t^2*x+
6317522*s^10*t^2*x+6856704*s^16*x^4*t^2-3570260*t^4*x*s^7+1356048*t^5*x*s^6-\
109569112*t^5*x^3*s^7+14534368*t^5*x^3*s^4-7132344*t^5*x^2*s^5+167424*t^5*x^3*
s^2-5351896*t^5*x*s^7-12965108*s^9*t^3*x-135432*s^12*t^5+12865392*x^8*s*t^4-\
22894245*x^8*s^2*t^3+59461290*x^8*s^3*t^2-1259712*x^8*t^4+3542940*x^8*s*t^3+
43086038*t^4*x*s^10+13376072*s^14*t*x^2-165317760*s^14*x^3*t^3-9543168*s^16*x^
3*t^2+25411968*s^15*x^3*t^3-373248*s^16*x^2*t^3+46369746*x^5*s^4*t^3+662537650
*x^5*s^6*t^2-154562283*x^5*s^5*t^2+147744*x^6*s^4-163866130*x^6*s^7+38029828*x
^6*s^6-4347320*x^6*s^5+397680709*x^6*s^8-69984*x^7*s^3+6414844*x^7*s^6-7758456
*x^7*s^5+1424880*x^7*s^4+7290810*x^7*t^2*s^2-10433205*x^8*t^2*s^2-695010240*x^
6*s^11*t^3+437690304*x^6*s^12*t^3-277724160*x^7*s^9*t^4-33841152*x^7*s^11*t^4+
168376320*x^7*s^10*t^4-142193232*x^5*s^12*t^3+27703296*x^5*s^14*t^3-77759136*x
^5*s^13*t^3-5073248768*x^8*t^2*s^9+128*t^4*x*s^4-5578405336*x^7*s^8*t^2-\
167405876*x^4*s^8*t^3-1419687572*x^4*s^8*t^4-116557536*x^4*s^6*t^5+365907334*x
^4*s^7*t^5-1432844222*x^5*s^6*t^4+318814737*x^5*s^7*t^3+265843798*x^5*s^5*t^5+
2249913384*x^5*s^7*t^4-1361036814*x^5*s^8*t^3-416684492*x^5*s^6*t^5+430049004*
x^3*s^9*t^4+2497626178*x^5*s^8*t^2-2018621216*x^5*s^9*t^2-1808470572*x^6*s^7*t
^2+40200550*x^6*s^8*t^2+2488758768*x^6*s^9*t^2-3000073068*x^6*s^10*t^2-\
2055447328*x^5*s^10*t^3+352625526*x^5*s^7*t^5-2293649524*x^5*s^8*t^4+
2249792480*x^5*s^9*t^3-53775072*x^5*s^8*t^5-1035606420*x^6*s^7*t^5+127233350*t
*x^5*s^6-14396808*t*x^5*s^5+141119226*x^5*s^6*t^3+2714242096*x^7*s^9*t^2+
1161097372*x^5*s^11*t^2-402884928*x^6*s^9*t^5-470263048*x^3*s^10*t^3+891599832
*x^7*s^10*t^2-1997497344*x^7*s^11*t^2+3101112*s^12*x*t^5-15360*t^4*s^6+
5025629982*x^7*s^7*t^2+960*t^4*s^5-7464960*s^13*x^4*t^5-176256*s^14*x*t^5+
1364688*x^9*t*s^2+594413288*x^6*s^6*t-1392427476*x^6*s^7*t+188196138*x^8*s^5*t
-63691812*x^8*s^4*t-179872*s^14*t^2+46176*s^15*t^2-573462985*x^5*s^7*t-199872*
s^14*t^3+692082*s^11*t^5+848016*s^13*t^3-139968*x^6*t^4+39813120*x^6*s^12*t^4+
8833536*s^15*x^6-204038352*x^9*t^3*s^3+63851652*x^9*t^3*s^2+152515764*x^8*t^3*
s^4+1711511315*x^6*s^8*t+109416*t^4*s^7-68464*t^5*s^6+240660236*x^6*s^10+
419017536*x^9*t^3*s^4+523127808*x^9*t^3*s^6-573495552*x^9*t^3*s^5-306671616*x^
9*t^3*s^7+10048024*t^5*x^3*s^8-143467856*t^5*x^2*s^9+12748864*t^5*x*s^8-\
73065934*t^5*x^2*s^7+61120755*t^3*x^3*s^9-19446462*t^5*x*s^9+28714396*t^5*x^2*
s^6-47040*t^5*x^2*s^3+448*t^5*x*s^4+979536*t^5*x^2*s^4-168768*t^5*x*s^5-\
205632866*t^4*x^2*s^9+6734784*t^4*x^3*s^4-642080*t^4*x^3*s^3+124103700*t^4*x^2
*s^8+162080*t^4*x^2*s^4+13397776*t^4*x^2*s^6-70966248*t^4*x^3*s^8+610891200*x^
6*s^10*t^4-240340608*x^6*s^11*t^4-1708904912*x^6*s^10*t-587448*x^5*s^3*t^2-\
530714924*x^6*s^9-8401944*s^3*x^4*t^5+41197572*x^8*t^3*s^3-53125632*x^8*t^4*s^
2+101983212*x^8*t^4*s^3-103680*x^4*s*t^5-5184*x^5*s^4-289352*x^4*s^7+6955340*x
^4*s^8-39893818*x^4*s^9+12807312*t^4*x*s^8-29100153*t^4*x*s^9+20361834*x^8*s^5
+1542181924*t*x^5*s^8-1320043416*s^10*x^4*t^4+1714395336*s^9*x^4*t^4+792719244
*s^11*x^3*t^4-834981268*s^10*x^4*t^3+5233944*s^14*x*t^3+517392*s^15*x*t^3-\
418176*s^16*x*t^3+58650912*s^14*x^4*t^3+15168*s^16*t^2-58188*t^3*s^8+97895952*
x^9*s^4*t-9216*s^17*t^2+1630950336*x^7*s^10*t^3+1056198528*x^7*s^12*t^2+
200470038*x^6*s^4*t^5-300406320*x^7*s^5*t^5-1063700448*x^7*s^9*t^3+45644132*x^
6*s^7*t^4-242958504*s^12*x^4*t^3-1660553422*x^5*s^7*t^2+318182*t*x*s^10+
2484584*t*x*s^12-1100879*t*x*s^11+2129464*t*x^2*s^10-7488668*t*x^2*s^11+
14229277*t*x^2*s^12-3733324*t*x*s^13-86986433*t^4*x^3*s^7+78497268*t^4*x^3*s^6
-49845584*t^5*x^3*s^5+101210088*t^5*x^3*s^6+156824352*t^3*x^2*s^10-40772661*t^
3*x*s^11-11652336*x^9*s*t^3-83392*s^14*x+1293722252*s^10*t^2*x^4-8519034*s^11*
x^3*t^2+21520332*x^5*s^3*t^4+20057640*x^5*s^3*t^5-3659928*x^4*s^3*t^4+
542785440*x^5*s^12+378323176*x^6*s^11-739064412*x^6*s^12+550269792*x^6*s^13-\
182423232*x^6*s^14+80920*s^13*x-201055392*x^5*s^11*t^4-101539008*x^5*s^11*t^5+
17915904*x^5*s^12*t^5+225978336*x^5*s^10*t^5+351216*x^5*s^2*t^3+1376933724*x^5
*s^9*t^4+245065008*x^5*s^10*t^2-2471345190*x^7*s^6*t^2-209299680*x^5*s^9*t^5+
805499424*x^6*s^8*t^5-283939056*x^5*s^10*t^4+1247495720*x^6*s^11*t^2-\
1113327512*x^5*s^12*t^2-1388393812*x^7*s^8*t^3-167588352*x^7*s^7*t^5-29131200*
x^7*s^8*t^4+280350720*x^7*s^6*t^5-812400696*x^6*s^9*t^4+515847096*x^6*s^8*t^4-\
67064436*x^8*s^5*t^2+4490640*x^9*s^4+28262558*s^10*t^3*x+49224862*s^10*t^2*x^2
-100145592*s^9*t^3*x^2-198326702*x^3*s^9*t^2-69211022*x^4*s^7*t^3+21976*s^11*x
+279936*s^15*x^2*t^4-499847760*s^12*x^3*t^4-28693440*s^14*x^3*t^4+180383760*s^
13*x^3*t^4-69009408*s^12*x^3*t^5+11562912*s^13*x^3*t^5+58226688*x^7*s^8*t^5-\
1001151536*s^11*x^4*t^2-197139368*s^13*x^4*t^2+520453244*s^12*x^4*t^2+10721646
*x^8*t*s^3-139327894*x^6*s^5*t-312852240*s^14*x^5*t+1966032*s^16*x^2*t+
11248584*s^14*x^3*t+10364112*s^15*x^3*t-6718464*s^16*x^3*t-260928*s^17*x^2*t+
44622144*s^15*x^5*t-33993216*s^15*x^4*t-126787456*s^12*x^5*t-610127048*s^13*x^
4*t+198478896*s^14*x^4*t+607035936*s^13*x^5*t-6695712*s^15*x^2*t-2502292448*x^
8*s^9*t+93321116*x^7*s^7-156184876*x^5*s^4*t^4-177177888*x^9*s^7-3321108*x^8*s
^4+84478464*s^15*x^5-14514768*s^15*x^3+4716576*s^16*x^3+171508140*s^14*x^4-\
52577856*s^15*x^4+5091984*s^16*x^4+808704*s^17*x^4-684288*s^17*x^3-93658800*s^
13*x^5+5184*s^17*x^2-18006624*s^16*x^5-17373528*x^9*s^3*t+1761108418*x^7*s^7*t
-3811632454*x^7*s^8*t+15475740*x^6*s^4*t-388666390*x^7*s^6*t-17294271*x^7*s^5*
t+224856*x^8*s^3-349920*x^9*s^3+3456*s^17*x-20736*s^16*x+448416*s^4*x^5*t-\
423792*s^3*x^6*t+18144*s^3*x^5*t-718308*s^2*x^8*t-20736*s^2*x^5*t^2+244944*s^2
*x^7*t-279936*s*x^7*t^2-227026864*x^8*s^7*t+1380709836*x^8*s^8*t+673184844*x^9
*s^6*t-939862656*x^9*s^7*t+2544550080*x^8*s^10*t-1545329664*x^8*s^11*t-\
520418304*x^9*s^9*t+180734976*x^9*s^10*t+524980224*x^8*s^12*t-76972032*x^8*s^
13*t+6469632*s^16*x^6+5308416*s^16*x^5*t-50761728*s^15*x^6*t-15925248*s^15*x^7
+101357568*s^14*x^7*t+13934592*s^14*x^8-2595031948*t*x^5*s^9+2658060220*t*x^5*
s^10-1362377428*t*x^5*s^11+1109285364*t*x^4*s^12+1038033008*x^7*s^9-231679872*
x^9*s^9+138578688*x^9*s^10-48273408*x^9*s^11+7464960*x^9*s^12-113210768*x^8*s^
9+354358704*x^8*s^10+248467176*x^9*s^8-416092608*x^8*s^11-93975552*x^8*s^13+
268704000*x^8*s^12-452289642*x^7*s^8+4727351688*x^7*s^9*t-3194249776*x^7*s^10*
t+638374512*x^7*s^11*t-476748288*x^7*s^13*t+636261696*x^7*s^12*t+2628471024*s^
11*t*x^6-1605823920*s^12*t*x^6+291513600*s^13*t*x^6+127083168*s^14*t*x^6-\
84725430*x^8*s^8-233125119*x^8*s^6*t-320653080*x^9*s^5*t+1285632*s^17*x^3*t+
4817664*s^16*x^4*t-1327104*s^17*x^4*t-27869184*x^9*s^11*t-640*t^5*s^4+831264*s
^16*t*x+575568*t^4*x*s^6-2371136*t^5*x^3*s^3-2321312*s^15*t*x+29316474*x^7*s^4
*t+25998048*s^14*x^3+392950464*x^5*s^13*t^2-17307648*x^5*s^15*t^2-12455136*x^5
*s^14*t^2+285551040*x^6*s^12*t^2+109320192*x^6*s^14*t^2-428834880*x^6*s^13*t^2
-729203400*x^7*s^4*t^4-361980070*x^6*s^6*t^4+893318808*x^6*s^6*t^5+213827688*x
^7*s^4*t^5-3445384976*x^7*s^6*t^3+1812034209*x^7*s^5*t^3+3563145972*x^7*s^7*t^
3+806825472*x^7*s^7*t^4+1243402368*x^6*s^9*t^3+48147120*x^6*s^10*t^3+9920*s^5*
t^5+151621632*x^7*s^12*t^3-201609216*x^7*s^13*t^2-1889568*x^9*t^2*s+944784*x^9
*t^3+174960*x^7*t^4-492697044*x^7*s^4*t^3+30618000*x^7*s^2*t^5-5388768*x^7*s*t
^5+580164162*x^7*s^5*t^2+246818745*x^7*s^3*t^4-45317232*x^7*s^2*t^4+30340656*x
^7*s^3*t^3+2995183872*x^8*s^10*t^2-1006295040*x^8*s^11*t^2+147529728*x^8*s^12*
t^2-3439356592*x^8*s^7*t^2+489888*s^15*x*t^4+661548928*s^11*x^4*t^3-52381728*s
^13*x^4*t^4-59320512*s^12*x^4*t^4+163296*x^6*s*t^3+659016*x^8*t^2*s-31369248*s
^15*x^4*t^2-66878643*x^8*s^6+38052214*t^3*x*s^12-40896312*t^4*x*s^11+124159766
*t^5*x^2*s^8-168318346*t^3*x^2*s^11+232313214*t^4*x^2*s^10-175900596*t^4*x^2*s
^11-129024*s^17*t*x)/(3*s-2)^2/(-s*t+2*s^2*t+2*t^2+2*x*s-3*s*t^2-3*x*t-3*x*s^2
+4*x*s*t)^3/s^2/(24*x*s-16*x*s^2-9*x+s-4*s^2+4*s^3)^2/(s-x)^2/x
:

S := (s-t) * U / (2 * s*t * q1^2 * disc):
T := t * V / (2 * x * s^2 * q1^3 * disc^2 * (3*s-2)^2):

with(Ore_algebra):
Alg := diff_algebra([dx, x]):

P := skew_product(P2, dx, Alg):

normal( applyopr(P, F, Alg) - diff(S, s) - diff(T, t) );