Re: GroebnerBasis never finishes
- To: mathgroup at smc.vnet.net
- Subject: [mg95119] Re: GroebnerBasis never finishes
- From: Daniel Lichtblau <danl at wolfram.com>
- Date: Wed, 7 Jan 2009 04:06:58 -0500 (EST)
- References: <gjv794$p4h$1@smc.vnet.net>
On Jan 6, 3:12 am, AndrewTamra <AndrewTa... at yahoo.com> wrote:
> Following groebner basis took more than an hour and did not complete. I h=
ad to abort it. Any ideas? Thanks.
>
> GroebnerBasis[
> {
> 2401*t1*t3 + 2401*t2*t3 - 2401*t3^2 - 245*t1*v2 - 245*t2*v2 + 490*t3*v2 -=
25*v2^2,
> 4802*t1*t3 - 2401*t3^2 - 490*t1*v2 + 490*t3*v2 - 25*v2^2,
> -49*t*t3 + 49*t1*t3 + 5*t*v2 - 5*t1*v2,
> 10*H - 49*t3^2 - 49*t4^2 + 98*t4*t5 - 49*t5^2 - 10*t4*v2 + 10*t5*v2 - 10*=
w1,
> -10*H - 49*t3^2 - 49*t4^2 + 98*t4*t6 - 49*t6^2 + 10*t3*v2 - 10*t4*v2 + 10=
*t6*v2 - 10*w2},
>
> {t1,t2,t3,t4,t5,t6,v2,w1,w2,H},
> MonomialOrder -> Lexicographic]
If we keep the coefficient growth in check via a prime modulus, it
will finish in 38 minutes or so.
Timing[gb = GroebnerBasis[{
2401*t1*t3 + 2401*t2*t3 - 2401*t3^2 - 245*t1*v2 -
245*t2*v2 + 490*t3*v2 - 25*v2^2,
4802*t1*t3 - 2401*t3^2 - 490*t1*v2 + 490*t3*v2 - 25*v2^2,
-49*t*t3 + 49*t1*t3 + 5*t*v2 - 5*t1*v2,
10*H - 49*t3^2 - 49*t4^2 + 98*t4*t5 - 49*t5^2 - 10*t4*v2 + 10*t5*v2 -
10*w1,
-10*H - 49*t3^2 - 49*t4^2 + 98*t4*t6 - 49*t6^2 + 10*t3*v2 - 10*t4*v2
+
10*t6*v2 - 10*w2},
{t1,t2,t3,t4,t5,t6,v2,w1,w2,H},
Modulus->Prime[111]];]
Out[5]= {2226.18, Null}
The basis is fairly large, in that some elements are polynomials of
many thousands of terms.
In[6]:= Length[gb]
Out[6]= 67
In[7]:= LeafCount[gb]
Out[7]= 9904305
In[8]:= Map[Length,gb]
Out[8]= {296, 1149, 332, 13028, 95350, 82706, 70760, 59782, 49596,
40683,
32475, 25340, 25947, 19701, 19706, 14284, 14282, 10279, 9793,
9803,
6693, 7033, 6681, 4352, 4341, 4371, 4352, 2493, 2545, 2475, 1296,
1296,
1576, 1552, 702, 560, 552, 233, 311, 80, 169, 381, 198, 217, 18,
123,
61, 170, 90, 52, 10, 10, 86, 82, 40, 38, 8, 48, 40, 20, 16, 10,
48, 40,
20, 16, 10}
Lifting the coefficient modulus I can still get a full result in
around 51 minutes (I don't show below, but it has the same length and
leaf count as the modular case). I note that this is on a machine with
considerable RAM, and using a current version of the Mathematica
kernel.
In[9]:= Timing[gbfull = GroebnerBasis[{
2401*t1*t3 + 2401*t2*t3 - 2401*t3^2 - 245*t1*v2 -
245*t2*v2 + 490*t3*v2 - 25*v2^2,
4802*t1*t3 - 2401*t3^2 - 490*t1*v2 + 490*t3*v2 - 25*v2^2,
-49*t*t3 + 49*t1*t3 + 5*t*v2 - 5*t1*v2,
10*H - 49*t3^2 - 49*t4^2 + 98*t4*t5 - 49*t5^2 - 10*t4*v2 + 10*t5*v2 -
10*w1,
-10*H - 49*t3^2 - 49*t4^2 + 98*t4*t6 - 49*t6^2 + 10*t3*v2 - 10*t4*v2
+
10*t6*v2 - 10*w2},
{t1,t2,t3,t4,t5,t6,v2,w1,w2,H} ];]
Out[9]= {3071.29, Null}
I've been looking in a debugger at the progress of the Groebner walk,
which used in this case. I do not see anything that strikes me as
obviously misguided, so I am tentatively guessing it is simply a
difficult basis to compute. But I will look a bit more because there
is a term order perturbation step that might need some more thought.
I notice you have five polynomials. Do you really require a basis with
respect to all 11 variables? Or can some be regarded as parameters?
If, say, your interest is only in the t1,...,t6 variables, you can
treat the rest as coefficient parameters and get a basis quite fast,
as below.
In[5]:= InputForm[Timing[gbrat = GroebnerBasis[{
2401*t1*t3 + 2401*t2*t3 - 2401*t3^2 - 245*t1*v2 -
245*t2*v2 + 490*t3*v2 - 25*v2^2,
4802*t1*t3 - 2401*t3^2 - 490*t1*v2 + 490*t3*v2 - 25*v2^2,
-49*t*t3 + 49*t1*t3 + 5*t*v2 - 5*t1*v2,
10*H - 49*t3^2 - 49*t4^2 + 98*t4*t5 - 49*t5^2 - 10*t4*v2 + 10*t5*v2 -
10*w1,
-10*H - 49*t3^2 - 49*t4^2 + 98*t4*t6 - 49*t6^2 + 10*t3*v2 - 10*t4*v2
+
10*t6*v2 - 10*w2},
{t1,t2,t3,t4,t5,t6}, CoefficientDomain->RationalFunctions]]]
Out[5]//InputForm=
{0.7360459999999998, {-922368160000*H^4 - 33232930569601*t5^8 +
265863444556808*t5^7*t6 - 930522055948828*t5^6*t6^2 +
1861044111897656*t5^5*t6^3 - 2326305139872070*t5^4*t6^4 +
1861044111897656*t5^3*t6^5 - 930522055948828*t5^2*t6^6 +
265863444556808*t5*t6^7 - 33232930569601*t6^8 +
1844736320000*H^3*t*v2 +
188238400000*H^3*v2^2 - 922368160000*H^2*t^2*v2^2 -
282357600000*H^2*t*v2^3 - 14406000000*H^2*v2^4 +
94119200000*H*t^2*v2^4 +
14406000000*H*t*v2^5 + 490000000*H*v2^6 - 2401000000*t^2*v2^6 -
245000000*t*v2^7 - 6250000*v2^8 + 1844736320000*H^3*w1 -
2767104480000*H^2*t*v2*w1 - 282357600000*H^2*v2^2*w1 +
922368160000*H*t^2*v2^2*w1 + 282357600000*H*t*v2^3*w1 +
14406000000*H*v2^4*w1 - 47059600000*t^2*v2^4*w1 -
7203000000*t*v2^5*w1 -
245000000*v2^6*w1 - 1383552240000*H^2*w1^2 +
1383552240000*H*t*v2*w1^2 +
141178800000*H*v2^2*w1^2 - 230592040000*t^2*v2^2*w1^2 -
70589400000*t*v2^3*w1^2 - 3601500000*v2^4*w1^2 +
461184080000*H*w1^3 -
230592040000*t*v2*w1^3 - 23529800000*v2^2*w1^3 - 57648010000*w1^4
+
t5^4*t6^2*(-7975903336704240*t^2 - 406933843709400*t*v2 +
41523861603000*v2^2 - 406933843709400*w1 - 406933843709400*w2) +
t5^2*t6^4*(-7975903336704240*t^2 - 406933843709400*t*v2 +
41523861603000*v2^2 - 406933843709400*w1 - 406933843709400*w2) +
t5^6*(-531726889113616*t^2 - 27128922913960*t*v2 +
2768257440200*v2^2 -
27128922913960*w1 - 27128922913960*w2) +
t6^6*(-531726889113616*t^2 - 27128922913960*t*v2 +
2768257440200*v2^2 -
27128922913960*w1 - 27128922913960*w2) - 1844736320000*H^3*w2 +
2767104480000*H^2*t*v2*w2 + 282357600000*H^2*v2^2*w2 -
922368160000*H*t^2*v2^2*w2 - 282357600000*H*t*v2^3*w2 -
14406000000*H*v2^4*w2 + 47059600000*t^2*v2^4*w2 +
7203000000*t*v2^5*w2 +
245000000*v2^6*w2 + 2767104480000*H^2*w1*w2 -
2767104480000*H*t*v2*w1*w2 -
282357600000*H*v2^2*w1*w2 + 461184080000*t^2*v2^2*w1*w2 +
141178800000*t*v2^3*w1*w2 + 7203000000*v2^4*w1*w2 -
1383552240000*H*w1^2*w2 + 691776120000*t*v2*w1^2*w2 +
70589400000*v2^2*w1^2*w2 + 230592040000*w1^3*w2 -
1383552240000*H^2*w2^2 +
1383552240000*H*t*v2*w2^2 + 141178800000*H*v2^2*w2^2 -
230592040000*t^2*v2^2*w2^2 - 70589400000*t*v2^3*w2^2 -
3601500000*v2^4*w2^2 + 1383552240000*H*w1*w2^2 -
691776120000*t*v2*w1*w2^2 - 70589400000*v2^2*w1*w2^2 -
345888060000*w1^2*w2^2 - 461184080000*H*w2^3 +
230592040000*t*v2*w2^3 +
23529800000*v2^2*w2^3 + 230592040000*w1*w2^3 - 57648010000*w2^4 +
t5^5*t6*(3190361334681696*t^2 + 162773537483760*t*v2 -
16609544641200*v2^2 + 162773537483760*w1 + 162773537483760*w2) +
t5*t6^5*(3190361334681696*t^2 + 162773537483760*t*v2 -
16609544641200*v2^2 + 162773537483760*w1 + 162773537483760*w2) +
t5^3*t6^3*(10634537782272320*t^2 + 542578458279200*t*v2 -
55365148804000*v2^2 + 542578458279200*w1 + 542578458279200*w2) +
t5^2*t6^2*(-66438178564800*H^2 + 66438178564800*H*t*v2 +
6779405976000*H*v2^2 + 99657267847200*t^2*v2^2 +
3389702988000*t*v2^3 -
518832090000*v2^4 + 66438178564800*H*w1 - 1302188299870080*t^2*w1
-
99657267847200*t*v2*w1 + 3389702988000*v2^2*w1 -
49828633923600*w1^2 -
66438178564800*H*w2 - 1302188299870080*t^2*w2 -
33219089282400*t*v2*w2 +
10169108964000*v2^2*w2 - 33219089282400*w1*w2 -
49828633923600*w2^2) +
t5^4*(-11073029760800*H^2 + 11073029760800*H*t*v2 +
1129900996000*H*v2^2 +
16609544641200*t^2*v2^2 + 564950498000*t*v2^3 - 86472015000*v2^4
+
11073029760800*H*w1 - 217031383311680*t^2*w1 -
16609544641200*t*v2*w1 +
564950498000*v2^2*w1 - 8304772320600*w1^2 - 11073029760800*H*w2
-
217031383311680*t^2*w2 - 5536514880400*t*v2*w2 +
1694851494000*v2^2*w2 -
5536514880400*w1*w2 - 8304772320600*w2^2) +
t6^4*(-11073029760800*H^2 + 11073029760800*H*t*v2 +
1129900996000*H*v2^2 +
16609544641200*t^2*v2^2 + 564950498000*t*v2^3 - 86472015000*v2^4
+
11073029760800*H*w1 - 217031383311680*t^2*w1 -
16609544641200*t*v2*w1 +
564950498000*v2^2*w1 - 8304772320600*w1^2 - 11073029760800*H*w2
-
217031383311680*t^2*w2 - 5536514880400*t*v2*w2 +
1694851494000*v2^2*w2 -
5536514880400*w1*w2 - 8304772320600*w2^2) +
t5^3*t6*(44292119043200*H^2 - 44292119043200*H*t*v2 -
4519603984000*H*v2^2 - 66438178564800*t^2*v2^2 -
2259801992000*t*v2^3 +
345888060000*v2^4 - 44292119043200*H*w1 + 868125533246720*t^2*w1
+
66438178564800*t*v2*w1 - 2259801992000*v2^2*w1 +
33219089282400*w1^2 +
44292119043200*H*w2 + 868125533246720*t^2*w2 +
22146059521600*t*v2*w2 -
6779405976000*v2^2*w2 + 22146059521600*w1*w2 +
33219089282400*w2^2) +
t5*t6^3*(44292119043200*H^2 - 44292119043200*H*t*v2 -
4519603984000*H*v2^2 - 66438178564800*t^2*v2^2 -
2259801992000*t*v2^3 +
345888060000*v2^4 - 44292119043200*H*w1 + 868125533246720*t^2*w1
+
66438178564800*t*v2*w1 - 2259801992000*v2^2*w1 +
33219089282400*w1^2 +
44292119043200*H*w2 + 868125533246720*t^2*w2 +
22146059521600*t*v2*w2 -
6779405976000*v2^2*w2 + 22146059521600*w1*w2 +
33219089282400*w2^2) +
t5^2*(-88584238086400*H^2*t^2 - 4519603984000*H^2*t*v2 +
461184080000*H^2*v2^2 + 9039207968000*H*t^2*v2^2 -
47059600000*H*v2^4 +
11764900000*t*v2^5 + 1200500000*v2^6 - 4519603984000*H^2*w1 +
88584238086400*H*t^2*w1 + 9039207968000*H*t*v2*w1 -
6779405976000*t^2*v2^2*w1 - 230592040000*t*v2^3*w1 +
11764900000*v2^4*w1 + 4519603984000*H*w1^2 -
22146059521600*t^2*w1^2 -
3389702988000*t*v2*w1^2 - 115296020000*v2^2*w1^2 -
1129900996000*w1^3 -
4519603984000*H^2*w2 - 88584238086400*H*t^2*w2 +
922368160000*H*v2^2*w2 + 2259801992000*t^2*v2^2*w2 -
230592040000*t*v2^3*w2 - 35294700000*v2^4*w2 +
44292119043200*t^2*w1*w2 + 2259801992000*t*v2*w1*w2 -
230592040000*v2^2*w1*w2 + 1129900996000*w1^2*w2 -
4519603984000*H*w2^2 -
22146059521600*t^2*w2^2 + 1129900996000*t*v2*w2^2 +
345888060000*v2^2*w2^2 + 1129900996000*w1*w2^2 -
1129900996000*w2^3) +
t6^2*(-88584238086400*H^2*t^2 - 4519603984000*H^2*t*v2 +
461184080000*H^2*v2^2 + 9039207968000*H*t^2*v2^2 -
47059600000*H*v2^4 +
11764900000*t*v2^5 + 1200500000*v2^6 - 4519603984000*H^2*w1 +
88584238086400*H*t^2*w1 + 9039207968000*H*t*v2*w1 -
6779405976000*t^2*v2^2*w1 - 230592040000*t*v2^3*w1 +
11764900000*v2^4*w1 + 4519603984000*H*w1^2 -
22146059521600*t^2*w1^2 -
3389702988000*t*v2*w1^2 - 115296020000*v2^2*w1^2 -
1129900996000*w1^3 -
4519603984000*H^2*w2 - 88584238086400*H*t^2*w2 +
922368160000*H*v2^2*w2 + 2259801992000*t^2*v2^2*w2 -
230592040000*t*v2^3*w2 - 35294700000*v2^4*w2 +
44292119043200*t^2*w1*w2 + 2259801992000*t*v2*w1*w2 -
230592040000*v2^2*w1*w2 + 1129900996000*w1^2*w2 -
4519603984000*H*w2^2 -
22146059521600*t^2*w2^2 + 1129900996000*t*v2*w2^2 +
345888060000*v2^2*w2^2 + 1129900996000*w1*w2^2 -
1129900996000*w2^3) +
t5*t6*(177168476172800*H^2*t^2 + 9039207968000*H^2*t*v2 -
922368160000*H^2*v2^2 - 18078415936000*H*t^2*v2^2 +
94119200000*H*v2^4 -
23529800000*t*v2^5 - 2401000000*v2^6 + 9039207968000*H^2*w1 -
177168476172800*H*t^2*w1 - 18078415936000*H*t*v2*w1 +
13558811952000*t^2*v2^2*w1 + 461184080000*t*v2^3*w1 -
23529800000*v2^4*w1 - 9039207968000*H*w1^2 +
44292119043200*t^2*w1^2 +
6779405976000*t*v2*w1^2 + 230592040000*v2^2*w1^2 +
2259801992000*w1^3 +
9039207968000*H^2*w2 + 177168476172800*H*t^2*w2 -
1844736320000*H*v2^2*w2 - 4519603984000*t^2*v2^2*w2 +
461184080000*t*v2^3*w2 + 70589400000*v2^4*w2 -
88584238086400*t^2*w1*w2 - 4519603984000*t*v2*w1*w2 +
461184080000*v2^2*w1*w2 - 2259801992000*w1^2*w2 +
9039207968000*H*w2^2 +
44292119043200*t^2*w2^2 - 2259801992000*t*v2*w2^2 -
691776120000*v2^2*w2^2 - 2259801992000*w1*w2^2 +
2259801992000*w2^3),
-17716847617280000*H^4*t^2*v2 - 1807841593600000*H^4*t*v2^2 +
17716847617280000*H^3*t^3*v2^2 - 92236816000000*H^4*v2^3 +
5423524780800000*H^3*t^2*v2^3 + 599539304000000*H^3*t*v2^4 -
2711762390400000*H^2*t^3*v2^4 + 23529800000000*H^3*v2^5 -
749424130000000*H^2*t^2*v2^5 - 70589400000000*H^2*t*v2^6 +
196003234000000*H*t^3*v2^6 - 2160900000000*H^2*v2^7 +
45883110000000*H*t^2*v2^7 + 3481450000000*H*t*v2^8 -
5294205000000*t^3*v2^8 + 85750000000*H*v2^9 - 990412500000*t^2*v2^9
-
61250000000*t*v2^10 - 1250000000*v2^11 +
35433695234560000*H^3*t^2*v2*w1 +
2711762390400000*H^3*t*v2^2*w1 - 26575271425920000*H^2*t^3*v2^2*w1
+
138355224000000*H^3*v2^3*w1 - 6779405976000000*H^2*t^2*v2^3*w1 -
691776120000000*H^2*t*v2^4*w1 + 2259801992000000*H*t^3*v2^4*w1 -
28235760000000*H^2*v2^5*w1 + 588009702000000*H*t^2*v2^5*w1 +
56471520000000*H*t*v2^6*w1 - 74942413000000*t^3*v2^6*w1 +
1800750000000*H*v2^7*w1 - 18235595000000*t^2*v2^7*w1 -
1440600000000*t*v2^8*w1 - 36750000000*v2^9*w1 -
26575271425920000*H^2*t^2*v2*w1^2 -
1355881195200000*H^2*t*v2^2*w1^2 +
13287635712960000*H*t^3*v2^2*w1^2 - 69177612000000*H^2*v2^3*w1^2 +
2711762390400000*H*t^2*v2^3*w1^2 + 242121642000000*H*t*v2^4*w1^2 -
451960398400000*t^3*v2^4*w1^2 + 10588410000000*H*v2^5*w1^2 -
106648818500000*t^2*v2^5*w1^2 - 10588410000000*t*v2^6*w1^2 -
360150000000*v2^7*w1^2 + 8858423808640000*H*t^2*v2*w1^3 +
225980199200000*H*t*v2^2*w1^3 - 2214605952160000*t^3*v2^2*w1^3 +
11529602000000*H*v2^3*w1^3 - 338970298800000*t^2*v2^3*w1^3 -
23059204000000*t*v2^4*w1^3 - 1176490000000*v2^5*w1^3 -
1107302976080000*t^2*v2*w1^4 - 35433695234560000*H^3*t^2*v2*w2 -
4519603984000000*H^3*t*v2^2*w2 + 26575271425920000*H^2*t^3*v2^2*w2
-
230592040000000*H^3*v2^3*w2 + 9491168366400000*H^2*t^2*v2^3*w2 +
1106841792000000*H^2*t*v2^4*w2 - 3163722788800000*H*t^3*v2^4*w2 +
42353640000000*H^2*v2^5*w2 - 910838558000000*H*t^2*v2^5*w2 -
84707280000000*H*t*v2^6*w2 + 121060821000000*t^3*v2^6*w2 -
2521050000000*H*v2^7*w2 + 27647515000000*t^2*v2^7*w2 +
2040850000000*t*v2^8*w2 + 49000000000*v2^9*w2 +
53150542851840000*H^2*t^2*v2*w1*w2 +
5423524780800000*H^2*t*v2^2*w1*w2 -
26575271425920000*H*t^3*v2^2*w1*w2 + 276710448000000*H^2*v2^3*w1*w2
-
8135287171200000*H*t^2*v2^3*w1*w2 - 899308956000000*H*t*v2^4*w1*w2
+
1355881195200000*t^3*v2^4*w1*w2 - 35294700000000*H*v2^5*w1*w2 +
374712065000000*t^2*v2^5*w1*w2 + 35294700000000*t*v2^6*w1*w2 +
1080450000000*v2^7*w1*w2 - 26575271425920000*H*t^2*v2*w1^2*w2 -
2033821792800000*H*t*v2^2*w1^2*w2 +
6643817856480000*t^3*v2^2*w1^2*w2 -
103766418000000*H*v2^3*w1^2*w2 + 1694851494000000*t^2*v2^3*w1^2*w2
+
172944030000000*t*v2^4*w1^2*w2 + 7058940000000*v2^5*w1^2*w2 +
4429211904320000*t^2*v2*w1^3*w2 + 225980199200000*t*v2^2*w1^3*w2 +
11529602000000*v2^3*w1^3*w2 - 26575271425920000*H^2*t^2*v2*w2^2 -
4067643585600000*H^2*t*v2^2*w2^2 +
13287635712960000*H*t^3*v2^2*w2^2 -
207532836000000*H^2*v2^3*w2^2 + 5423524780800000*H*t^2*v2^3*w2^2 +
657187314000000*H*t*v2^4*w2^2 - 903920796800000*t^3*v2^4*w2^2 +
24706290000000*H*v2^5*w2^2 - 268063246500000*t^2*v2^5*w2^2 -
24706290000000*t*v2^6*w2^2 - 720300000000*v2^7*w2^2 +
26575271425920000*H*t^2*v2*w1*w2^2 +
3389702988000000*H*t*v2^2*w1*w2^2 -
6643817856480000*t^3*v2^2*w1*w2^2 + 172944030000000*H*v2^3*w1*w2^2
-
2372792091600000*t^2*v2^3*w1*w2^2 - 276710448000000*t*v2^4*w1*w2^2
-
10588410000000*v2^5*w1*w2^2 - 6643817856480000*t^2*v2*w1^2*w2^2 -
677940597600000*t*v2^2*w1^2*w2^2 - 34588806000000*v2^3*w1^2*w2^2 -
8858423808640000*H*t^2*v2*w2^3 - 1581861394400000*H*t*v2^2*w2^3 +
2214605952160000*t^3*v2^2*w2^3 - 80707214000000*H*v2^3*w2^3 +
1016910896400000*t^2*v2^3*w2^3 + 126825622000000*t*v2^4*w2^3 +
4705960000000*v2^5*w2^3 + 4429211904320000*t^2*v2*w1*w2^3 +
677940597600000*t*v2^2*w1*w2^3 + 34588806000000*v2^3*w1*w2^3 -
1107302976080000*t^2*v2*w2^4 - 225980199200000*t*v2^2*w2^4 -
11529602000000*v2^3*w2^4 + t5^4*t6^3*(-44683669126662720560*H*t^2
-
4559558074149257200*H*t*v2 - 174472885490405250*H*v2^2 +
2279779037074628600*t^2*v2^2 + 378024585229211375*t*v2^3 +
14836129718571875*v2^4 + 22341834563331360280*t^2*w1 +
1139889518537314300*t*v2*w1 + 29078814248400875*v2^2*w1 -
22341834563331360280*t^2*w2 - 3419668555611942900*t*v2*w2 -
145394071242004375*v2^2*w2) + t5^2*t6^5*
(-26810201475997632336*H*t^2 -
2735734844489554320*H*t*v2 - 104683731294243150*H*v2^2 +
1367867422244777160*t^2*v2^2 + 226814751137526825*t*v2^3 +
8901677831143125*v2^4 + 13405100737998816168*t^2*w1 +
683933711122388580*t*v2*w1 + 17447288549040525*v2^2*w1 -
13405100737998816168*t^2*w2 - 2051801133367165740*t*v2*w2 -
87236442745202625*v2^2*w2) + t5^6*t6*(-8936733825332544112*H*t^2
-
911911614829851440*H*t*v2 - 34894577098081050*H*v2^2 +
455955807414925720*t^2*v2^2 + 75604917045842275*t*v2^3 +
2967225943714375*v2^4 + 4468366912666272056*t^2*w1 +
227977903707462860*t*v2*w1 + 5815762849680175*v2^2*w1 -
4468366912666272056*t^2*w2 - 683933711122388580*t*v2*w2 -
29078814248400875*v2^2*w2) + t6^7*(-1276676260761792016*H*t^2 -
130273087832835920*H*t*v2 - 4984939585440150*H*v2^2 +
65136543916417960*t^2*v2^2 + 10800702435120325*t*v2^3 +
423889420530625*v2^4 + 638338130380896008*t^2*w1 +
32568271958208980*t*v2*w1 + 830823264240025*v2^2*w1 -
638338130380896008*t^2*w2 - 97704815874626940*t*v2*w2 -
4154116321200125*v2^2*w2) + t5^7*(1276676260761792016*H*t^2 +
130273087832835920*H*t*v2 + 4984939585440150*H*v2^2 -
65136543916417960*t^2*v2^2 - 10800702435120325*t*v2^3 -
423889420530625*v2^4 - 638338130380896008*t^2*w1 -
32568271958208980*t*v2*w1 - 830823264240025*v2^2*w1 +
638338130380896008*t^2*w2 + 97704815874626940*t*v2*w2 +
4154116321200125*v2^2*w2) + t5*t6^6*(8936733825332544112*H*t^2 +
911911614829851440*H*t*v2 + 34894577098081050*H*v2^2 -
455955807414925720*t^2*v2^2 - 75604917045842275*t*v2^3 -
2967225943714375*v2^4 - 4468366912666272056*t^2*w1 -
227977903707462860*t*v2*w1 - 5815762849680175*v2^2*w1 +
4468366912666272056*t^2*w2 + 683933711122388580*t*v2*w2 +
29078814248400875*v2^2*w2) + t5^5*t6^2*
(26810201475997632336*H*t^2 +
2735734844489554320*H*t*v2 + 104683731294243150*H*v2^2 -
1367867422244777160*t^2*v2^2 - 226814751137526825*t*v2^3 -
8901677831143125*v2^4 - 13405100737998816168*t^2*w1 -
683933711122388580*t*v2*w1 - 17447288549040525*v2^2*w1 +
13405100737998816168*t^2*w2 + 2051801133367165740*t*v2*w2 +
87236442745202625*v2^2*w2) + t5^3*t6^4*
(44683669126662720560*H*t^2 +
4559558074149257200*H*t*v2 + 174472885490405250*H*v2^2 -
2279779037074628600*t^2*v2^2 - 378024585229211375*t*v2^3 -
14836129718571875*v2^4 - 22341834563331360280*t^2*w1 -
1139889518537314300*t*v2*w1 - 29078814248400875*v2^2*w1 +
22341834563331360280*t^2*w2 + 3419668555611942900*t*v2*w2 +
145394071242004375*v2^2*w2) + t5^2*t6^3*
(-204268201721886722560*H*t^4 -
132931722278404000*H^2*t*v2 - 31265541079880620800*H*t^3*v2 -
6782230728490000*H^2*v2^2 - 664658611392020000*H*t^2*v2^2 +
10421847026626873600*t^4*v2^2 + 88168999470370000*H*t*v2^3 +
2259839278732868000*t^3*v2^3 + 4844450520350000*H*v2^4 +
94951230198860000*t^2*v2^4 - 6228579240450000*t*v2^5 -
370748764312500*v2^6 - 10421847026626873600*H*t^2*w1 +
102134100860943361280*t^4*w1 - 930522055948828000*H*t*v2*w1 +
10421847026626873600*t^3*v2*w1 - 33911153642450000*H*v2^2*w1 +
332329305696010000*t^2*v2^2*w1 + 57648961192165000*t*v2^3*w1 +
2422225260175000*v2^4*w1 + 5210923513313436800*t^2*w1^2 +
232630513987207000*t*v2*w1^2 + 5086673046367500*v2^2*w1^2 -
10421847026626873600*H*t^2*w2 - 102134100860943361280*t^4*w2 -
1196385500505636000*H*t*v2*w2 - 20843694053253747200*t^3*v2*w2 -
47475615099430000*H*v2^2*w2 - 332329305696010000*t^2*v2^2*w2 +
145817960662535000*t*v2^3*w2 + 7266675780525000*v2^4*w2 -
465261027974414000*t*v2*w1*w2 - 23737807549715000*v2^2*w1*w2 -
5210923513313436800*t^2*w2^2 - 830823264240025000*t*v2*w2^2 -
35606711324572500*v2^2*w2^2) + t5^4*t6*
(-102134100860943361280*H*t^4 -
66465861139202000*H^2*t*v2 - 15632770539940310400*H*t^3*v2 -
3391115364245000*H^2*v2^2 - 332329305696010000*H*t^2*v2^2 +
5210923513313436800*t^4*v2^2 + 44084499735185000*H*t*v2^3 +
1129919639366434000*t^3*v2^3 + 2422225260175000*H*v2^4 +
47475615099430000*t^2*v2^4 - 3114289620225000*t*v2^5 -
185374382156250*v2^6 - 5210923513313436800*H*t^2*w1 +
51067050430471680640*t^4*w1 - 465261027974414000*H*t*v2*w1 +
5210923513313436800*t^3*v2*w1 - 16955576821225000*H*v2^2*w1 +
166164652848005000*t^2*v2^2*w1 + 28824480596082500*t*v2^3*w1 +
1211112630087500*v2^4*w1 + 2605461756656718400*t^2*w1^2 +
116315256993603500*t*v2*w1^2 + 2543336523183750*v2^2*w1^2 -
5210923513313436800*H*t^2*w2 - 51067050430471680640*t^4*w2 -
598192750252818000*H*t*v2*w2 - 10421847026626873600*t^3*v2*w2 -
23737807549715000*H*v2^2*w2 - 166164652848005000*t^2*v2^2*w2 +
72908980331267500*t*v2^3*w2 + 3633337890262500*v2^4*w2 -
232630513987207000*t*v2*w1*w2 - 11868903774857500*v2^2*w1*w2 -
2605461756656718400*t^2*w2^2 - 415411632120012500*t*v2*w2^2 -
17803355662286250*v2^2*w2^2) + t6^5*(-20426820172188672256*H*t^4
-
13293172227840400*H^2*t*v2 - 3126554107988062080*H*t^3*v2 -
678223072849000*H^2*v2^2 - 66465861139202000*H*t^2*v2^2 +
1042184702662687360*t^4*v2^2 + 8816899947037000*H*t*v2^3 +
225983927873286800*t^3*v2^3 + 484445052035000*H*v2^4 +
9495123019886000*t^2*v2^4 - 622857924045000*t*v2^5 -
37074876431250*v2^6 - 1042184702662687360*H*t^2*w1 +
10213410086094336128*t^4*w1 - 93052205594882800*H*t*v2*w1 +
1042184702662687360*t^3*v2*w1 - 3391115364245000*H*v2^2*w1 +
33232930569601000*t^2*v2^2*w1 + 5764896119216500*t*v2^3*w1 +
242222526017500*v2^4*w1 + 521092351331343680*t^2*w1^2 +
23263051398720700*t*v2*w1^2 + 508667304636750*v2^2*w1^2 -
1042184702662687360*H*t^2*w2 - 10213410086094336128*t^4*w2 -
119638550050563600*H*t*v2*w2 - 2084369405325374720*t^3*v2*w2 -
4747561509943000*H*v2^2*w2 - 33232930569601000*t^2*v2^2*w2 +
14581796066253500*t*v2^3*w2 + 726667578052500*v2^4*w2 -
46526102797441400*t*v2*w1*w2 - 2373780754971500*v2^2*w1*w2 -
521092351331343680*t^2*w2^2 - 83082326424002500*t*v2*w2^2 -
3560671132457250*v2^2*w2^2) + t5^5*(20426820172188672256*H*t^4 +
13293172227840400*H^2*t*v2 + 3126554107988062080*H*t^3*v2 +
678223072849000*H^2*v2^2 + 66465861139202000*H*t^2*v2^2 -
1042184702662687360*t^4*v2^2 - 8816899947037000*H*t*v2^3 -
225983927873286800*t^3*v2^3 - 484445052035000*H*v2^4 -
9495123019886000*t^2*v2^4 + 622857924045000*t*v2^5 +
37074876431250*v2^6 + 1042184702662687360*H*t^2*w1 -
10213410086094336128*t^4*w1 + 93052205594882800*H*t*v2*w1 -
1042184702662687360*t^3*v2*w1 + 3391115364245000*H*v2^2*w1 -
33232930569601000*t^2*v2^2*w1 - 5764896119216500*t*v2^3*w1 -
242222526017500*v2^4*w1 - 521092351331343680*t^2*w1^2 -
23263051398720700*t*v2*w1^2 - 508667304636750*v2^2*w1^2 +
1042184702662687360*H*t^2*w2 + 10213410086094336128*t^4*w2 +
119638550050563600*H*t*v2*w2 + 2084369405325374720*t^3*v2*w2 +
4747561509943000*H*v2^2*w2 + 33232930569601000*t^2*v2^2*w2 -
14581796066253500*t*v2^3*w2 - 726667578052500*v2^4*w2 +
46526102797441400*t*v2*w1*w2 + 2373780754971500*v2^2*w1*w2 +
521092351331343680*t^2*w2^2 + 83082326424002500*t*v2*w2^2 +
3560671132457250*v2^2*w2^2) + t5*t6^4*
(102134100860943361280*H*t^4 +
66465861139202000*H^2*t*v2 + 15632770539940310400*H*t^3*v2 +
3391115364245000*H^2*v2^2 + 332329305696010000*H*t^2*v2^2 -
5210923513313436800*t^4*v2^2 - 44084499735185000*H*t*v2^3 -
1129919639366434000*t^3*v2^3 - 2422225260175000*H*v2^4 -
47475615099430000*t^2*v2^4 + 3114289620225000*t*v2^5 +
185374382156250*v2^6 + 5210923513313436800*H*t^2*w1 -
51067050430471680640*t^4*w1 + 465261027974414000*H*t*v2*w1 -
5210923513313436800*t^3*v2*w1 + 16955576821225000*H*v2^2*w1 -
166164652848005000*t^2*v2^2*w1 - 28824480596082500*t*v2^3*w1 -
1211112630087500*v2^4*w1 - 2605461756656718400*t^2*w1^2 -
116315256993603500*t*v2*w1^2 - 2543336523183750*v2^2*w1^2 +
5210923513313436800*H*t^2*w2 + 51067050430471680640*t^4*w2 +
598192750252818000*H*t*v2*w2 + 10421847026626873600*t^3*v2*w2 +
23737807549715000*H*v2^2*w2 + 166164652848005000*t^2*v2^2*w2 -
72908980331267500*t*v2^3*w2 - 3633337890262500*v2^4*w2 +
232630513987207000*t*v2*w1*w2 + 11868903774857500*v2^2*w1*w2 +
2605461756656718400*t^2*w2^2 + 415411632120012500*t*v2*w2^2 +
17803355662286250*v2^2*w2^2) + t5^3*t6^2*
(204268201721886722560*H*t^4 +
132931722278404000*H^2*t*v2 + 31265541079880620800*H*t^3*v2 +
6782230728490000*H^2*v2^2 + 664658611392020000*H*t^2*v2^2 -
10421847026626873600*t^4*v2^2 - 88168999470370000*H*t*v2^3 -
2259839278732868000*t^3*v2^3 - 4844450520350000*H*v2^4 -
94951230198860000*t^2*v2^4 + 6228579240450000*t*v2^5 +
370748764312500*v2^6 + 10421847026626873600*H*t^2*w1 -
102134100860943361280*t^4*w1 + 930522055948828000*H*t*v2*w1 -
10421847026626873600*t^3*v2*w1 + 33911153642450000*H*v2^2*w1 -
332329305696010000*t^2*v2^2*w1 - 57648961192165000*t*v2^3*w1 -
2422225260175000*v2^4*w1 - 5210923513313436800*t^2*w1^2 -
232630513987207000*t*v2*w1^2 - 5086673046367500*v2^2*w1^2 +
10421847026626873600*H*t^2*w2 + 102134100860943361280*t^4*w2 +
1196385500505636000*H*t*v2*w2 + 20843694053253747200*t^3*v2*w2 +
47475615099430000*H*v2^2*w2 + 332329305696010000*t^2*v2^2*w2 -
145817960662535000*t*v2^3*w2 - 7266675780525000*v2^4*w2 +
465261027974414000*t*v2*w1*w2 + 23737807549715000*v2^2*w1*w2 +
5210923513313436800*t^2*w2^2 + 830823264240025000*t*v2*w2^2 +
35606711324572500*v2^2*w2^2) + t5^2*t6*
(-1276144533872678400*H^3*t^2 -
130218829987008000*H^3*t*v2 + 638072266936339200*H^2*t^3*v2 -
5813340624420000*H^3*v2^2 + 260437659974016000*H^2*t^2*v2^2 +
2552289067745356800*H*t^4*v2^2 + 31973373434310000*H^2*t*v2^3 +
325547074967520000*H*t^3*v2^3 + 1228767333150000*H^2*v2^4 -
8720010936630000*H*t^2*v2^4 - 130218829987008000*t^4*v2^4 -
2754133677750000*H*t*v2^5 - 24499078345770000*t^3*v2^5 -
105928218375000*H*v2^6 - 741497528625000*t^2*v2^6 +
78905713687500*t*v2^7 + 3860357812500*v2^8 +
1914216800809017600*H^2*t^2*
w1 - 25012432863904496640*H*t^4*w1 +
130218829987008000*H^2*t*v2*w1 -
4466505868554374400*H*t^3*v2*w1 + 5398102008390000*H^2*v2^2*w1 -
292992367470768000*H*t^2*v2^2*w1 - 13702874328990000*H*t*v2^3*w1
+
162773537483760000*t^3*v2^3*w1 - 381341586150000*H*v2^4*w1 +
19308595645395000*t^2*v2^4*w1 + 360155942475000*t*v2^5*w1 -
7566301312500*v2^6*w1 - 1595180667340848000*H*t^2*w1^2 +
12506216431952248320*t^4*w1^2 - 97664122490256000*H*t*v2*w1^2 +
1435662600606763200*t^3*v2*w1^2 - 3529528236255000*H*v2^2*w1^2 +
48832061245128000*t^2*v2^2*w1^2 + 5917150278427500*t*v2^3*w1^2 +
264820545937500*v2^4*w1^2 + 478554200202254400*t^2*w1^3 +
16277353748376000*t*v2*w1^3 + 311428962022500*v2^2*w1^3 -
1914216800809017600*H^2*t^2*w2 - 25012432863904496640*H*t^4*w2 -
260437659974016000*H^2*t*v2*w2 - 3190361334681696000*H*t^3*v2*w2
-
12041919864870000*H^2*v2^2*w2 + 227882952477264000*H*t^2*v2^2*w2
+
2552289067745356800*t^4*v2^2*w2 + 50243872539630000*H*t*v2^3*w2
+
488320612451280000*t^3*v2^3*w2 + 2076193080150000*H*v2^4*w2 +
10588584708765000*t^2*v2^4*w2 - 2393977735275000*t*v2^5*w2 -
113494519687500*v2^6*w2 + 638072266936339200*H*t^2*w1*w2 +
65109414993504000*H*t*v2*w1*w2 - 1595180667340848000*t^3*v2*w1*w2
+
3737147544270000*H*v2^2*w1*w2 - 195328244980512000*t^2*v2^2*w1*w2
-
1868573772135000*t*v2^3*w1*w2 + 148299505725000*v2^4*w1*w2 -
159518066734084800*t^2*w1^2*w2 - 48832061245128000*t*v2*w1^2*w2
-
2595241350187500*v2^2*w1^2*w2 - 1595180667340848000*H*t^2*w2^2 -
12506216431952248320*t^4*w2^2 - 227882952477264000*H*t*v2*w2^2 -
2392771001011272000*t^3*v2*w2^2 - 10173346092735000*H*v2^2*w2^2
+
16277353748376000*t^2*v2^2*w2^2 + 24187649383747500*t*v2^3*w2^2
+
1112246292937500*v2^4*w2^2 + 159518066734084800*t^2*w1*w2^2 -
16277353748376000*t*v2*w1*w2^2 - 726667578052500*v2^2*w1*w2^2 -
478554200202254400*t^2*w2^3 - 81386768741880000*t*v2*w2^3 -
3633337890262500*v2^2*w2^3) + t6^3*(-425381511290892800*H^3*t^2
-
43406276662336000*H^3*t*v2 + 212690755645446400*H^2*t^3*v2 -
1937780208140000*H^3*v2^2 + 86812553324672000*H^2*t^2*v2^2 +
850763022581785600*H*t^4*v2^2 + 10657791144770000*H^2*t*v2^3 +
108515691655840000*H*t^3*v2^3 + 409589111050000*H^2*v2^4 -
2906670312210000*H*t^2*v2^4 - 43406276662336000*t^4*v2^4 -
918044559250000*H*t*v2^5 - 8166359448590000*t^3*v2^5 -
35309406125000*H*v2^6 - 247165842875000*t^2*v2^6 +
26301904562500*t*v2^7 + 1286785937500*v2^8 +
638072266936339200*H^2*t^2*
w1 - 8337477621301498880*H*t^4*w1 +
43406276662336000*H^2*t*v2*w1 -
1488835289518124800*H*t^3*v2*w1 + 1799367336130000*H^2*v2^2*w1 -
97664122490256000*H*t^2*v2^2*w1 - 4567624776330000*H*t*v2^3*w1 +
54257845827920000*t^3*v2^3*w1 - 127113862050000*H*v2^4*w1 +
6436198548465000*t^2*v2^4*w1 + 120051980825000*t*v2^5*w1 -
2522100437500*v2^6*w1 - 531726889113616000*H*t^2*w1^2 +
4168738810650749440*t^4*w1^2 - 32554707496752000*H*t*v2*w1^2 +
478554200202254400*t^3*v2*w1^2 - 1176509412085000*H*v2^2*w1^2 +
16277353748376000*t^2*v2^2*w1^2 + 1972383426142500*t*v2^3*w1^2 +
88273515312500*v2^4*w1^2 + 159518066734084800*t^2*w1^3 +
5425784582792000*t*v2*w1^3 + 103809654007500*v2^2*w1^3 -
638072266936339200*H^2*t^2*w2 - 8337477621301498880*H*t^4*w2 -
86812553324672000*H^2*t*v2*w2 - 1063453778227232000*H*t^3*v2*w2
-
4013973288290000*H^2*v2^2*w2 + 75960984159088000*H*t^2*v2^2*w2 +
850763022581785600*t^4*v2^2*w2 + 16747957513210000*H*t*v2^3*w2 +
162773537483760000*t^3*v2^3*w2 + 692064360050000*H*v2^4*w2 +
3529528236255000*t^2*v2^4*w2 - 797992578425000*t*v2^5*w2 -
37831506562500*v2^6*w2 + 212690755645446400*H*t^2*w1*w2 +
21703138331168000*H*t*v2*w1*w2 - 531726889113616000*t^3*v2*w1*w2
+
1245715848090000*H*v2^2*w1*w2 - 65109414993504000*t^2*v2^2*w1*w2
-
622857924045000*t*v2^3*w1*w2 + 49433168575000*v2^4*w1*w2 -
53172688911361600*t^2*w1^2*w2 - 16277353748376000*t*v2*w1^2*w2 -
865080450062500*v2^2*w1^2*w2 - 531726889113616000*H*t^2*w2^2 -
4168738810650749440*t^4*w2^2 - 75960984159088000*H*t*v2*w2^2 -
797590333670424000*t^3*v2*w2^2 - 3391115364245000*H*v2^2*w2^2 +
5425784582792000*t^2*v2^2*w2^2 + 8062549794582500*t*v2^3*w2^2 +
370748764312500*v2^4*w2^2 + 53172688911361600*t^2*w1*w2^2 -
5425784582792000*t*v2*w1*w2^2 - 242222526017500*v2^2*w1*w2^2 -
159518066734084800*t^2*w2^3 - 27128922913960000*t*v2*w2^3 -
1211112630087500*v2^2*w2^3) + t5^3*(425381511290892800*H^3*t^2 +
43406276662336000*H^3*t*v2 - 212690755645446400*H^2*t^3*v2 +
1937780208140000*H^3*v2^2 - 86812553324672000*H^2*t^2*v2^2 -
850763022581785600*H*t^4*v2^2 - 10657791144770000*H^2*t*v2^3 -
108515691655840000*H*t^3*v2^3 - 409589111050000*H^2*v2^4 +
2906670312210000*H*t^2*v2^4 + 43406276662336000*t^4*v2^4 +
918044559250000*H*t*v2^5 + 8166359448590000*t^3*v2^5 +
35309406125000*H*v2^6 + 247165842875000*t^2*v2^6 -
26301904562500*t*v2^7 - 1286785937500*v2^8 -
638072266936339200*H^2*t^2*
w1 + 8337477621301498880*H*t^4*w1 -
43406276662336000*H^2*t*v2*w1 +
1488835289518124800*H*t^3*v2*w1 - 1799367336130000*H^2*v2^2*w1 +
97664122490256000*H*t^2*v2^2*w1 + 4567624776330000*H*t*v2^3*w1 -
54257845827920000*t^3*v2^3*w1 + 127113862050000*H*v2^4*w1 -
6436198548465000*t^2*v2^4*w1 - 120051980825000*t*v2^5*w1 +
2522100437500*v2^6*w1 + 531726889113616000*H*t^2*w1^2 -
4168738810650749440*t^4*w1^2 + 32554707496752000*H*t*v2*w1^2 -
478554200202254400*t^3*v2*w1^2 + 1176509412085000*H*v2^2*w1^2 -
16277353748376000*t^2*v2^2*w1^2 - 1972383426142500*t*v2^3*w1^2 -
88273515312500*v2^4*w1^2 - 159518066734084800*t^2*w1^3 -
5425784582792000*t*v2*w1^3 - 103809654007500*v2^2*w1^3 +
638072266936339200*H^2*t^2*w2 + 8337477621301498880*H*t^4*w2 +
86812553324672000*H^2*t*v2*w2 + 1063453778227232000*H*t^3*v2*w2
+
4013973288290000*H^2*v2^2*w2 - 75960984159088000*H*t^2*v2^2*w2 -
850763022581785600*t^4*v2^2*w2 - 16747957513210000*H*t*v2^3*w2 -
162773537483760000*t^3*v2^3*w2 - 692064360050000*H*v2^4*w2 -
3529528236255000*t^2*v2^4*w2 + 797992578425000*t*v2^5*w2 +
37831506562500*v2^6*w2 - 212690755645446400*H*t^2*w1*w2 -
21703138331168000*H*t*v2*w1*w2 + 531726889113616000*t^3*v2*w1*w2
-
1245715848090000*H*v2^2*w1*w2 + 65109414993504000*t^2*v2^2*w1*w2
+
622857924045000*t*v2^3*w1*w2 - 49433168575000*v2^4*w1*w2 +
53172688911361600*t^2*w1^2*w2 + 16277353748376000*t*v2*w1^2*w2 +
865080450062500*v2^2*w1^2*w2 + 531726889113616000*H*t^2*w2^2 +
4168738810650749440*t^4*w2^2 + 75960984159088000*H*t*v2*w2^2 +
797590333670424000*t^3*v2*w2^2 + 3391115364245000*H*v2^2*w2^2 -
5425784582792000*t^2*v2^2*w2^2 - 8062549794582500*t*v2^3*w2^2 -
370748764312500*v2^4*w2^2 - 53172688911361600*t^2*w1*w2^2 +
5425784582792000*t*v2*w1*w2^2 + 242222526017500*v2^2*w1*w2^2 +
159518066734084800*t^2*w2^3 + 27128922913960000*t*v2*w2^3 +
1211112630087500*v2^2*w2^3) + t5*t6^2*
(1276144533872678400*H^3*t^2 +
130218829987008000*H^3*t*v2 - 638072266936339200*H^2*t^3*v2 +
5813340624420000*H^3*v2^2 - 260437659974016000*H^2*t^2*v2^2 -
2552289067745356800*H*t^4*v2^2 - 31973373434310000*H^2*t*v2^3 -
325547074967520000*H*t^3*v2^3 - 1228767333150000*H^2*v2^4 +
8720010936630000*H*t^2*v2^4 + 130218829987008000*t^4*v2^4 +
2754133677750000*H*t*v2^5 + 24499078345770000*t^3*v2^5 +
105928218375000*H*v2^6 + 741497528625000*t^2*v2^6 -
78905713687500*t*v2^7 - 3860357812500*v2^8 -
1914216800809017600*H^2*t^2*
w1 + 25012432863904496640*H*t^4*w1 -
130218829987008000*H^2*t*v2*w1 +
4466505868554374400*H*t^3*v2*w1 - 5398102008390000*H^2*v2^2*w1 +
292992367470768000*H*t^2*v2^2*w1 + 13702874328990000*H*t*v2^3*w1
-
162773537483760000*t^3*v2^3*w1 + 381341586150000*H*v2^4*w1 -
19308595645395000*t^2*v2^4*w1 - 360155942475000*t*v2^5*w1 +
7566301312500*v2^6*w1 + 1595180667340848000*H*t^2*w1^2 -
12506216431952248320*t^4*w1^2 + 97664122490256000*H*t*v2*w1^2 -
1435662600606763200*t^3*v2*w1^2 + 3529528236255000*H*v2^2*w1^2 -
48832061245128000*t^2*v2^2*w1^2 - 5917150278427500*t*v2^3*w1^2 -
264820545937500*v2^4*w1^2 - 478554200202254400*t^2*w1^3 -
16277353748376000*t*v2*w1^3 - 311428962022500*v2^2*w1^3 +
1914216800809017600*H^2*t^2*w2 + 25012432863904496640*H*t^4*w2 +
260437659974016000*H^2*t*v2*w2 + 3190361334681696000*H*t^3*v2*w2
+
12041919864870000*H^2*v2^2*w2 - 227882952477264000*H*t^2*v2^2*w2
-
2552289067745356800*t^4*v2^2*w2 - 50243872539630000*H*t*v2^3*w2
-
488320612451280000*t^3*v2^3*w2 - 2076193080150000*H*v2^4*w2 -
10588584708765000*t^2*v2^4*w2 + 2393977735275000*t*v2^5*w2 +
113494519687500*v2^6*w2 - 638072266936339200*H*t^2*w1*w2 -
65109414993504000*H*t*v2*w1*w2 + 1595180667340848000*t^3*v2*w1*w2
-
3737147544270000*H*v2^2*w1*w2 + 195328244980512000*t^2*v2^2*w1*w2
+
1868573772135000*t*v2^3*w1*w2 - 148299505725000*v2^4*w1*w2 +
159518066734084800*t^2*w1^2*w2 + 48832061245128000*t*v2*w1^2*w2
+
2595241350187500*v2^2*w1^2*w2 + 1595180667340848000*H*t^2*w2^2 +
12506216431952248320*t^4*w2^2 + 227882952477264000*H*t*v2*w2^2 +
2392771001011272000*t^3*v2*w2^2 + 10173346092735000*H*v2^2*w2^2
-
16277353748376000*t^2*v2^2*w2^2 - 24187649383747500*t*v2^3*w2^2
-
1112246292937500*v2^4*w2^2 - 159518066734084800*t^2*w1*w2^2 +
16277353748376000*t*v2*w1*w2^2 + 726667578052500*v2^2*w1*w2^2 +
478554200202254400*t^2*w2^3 + 81386768741880000*t*v2*w2^3 +
3633337890262500*v2^2*w2^3) + t6*(86812553324672000*H^4*t^2 -
3403052090327142400*H^3*t^4 + 6643817856480000*H^4*t*v2 -
607687873272704000*H^3*t^3*v2 + 338970298800000*H^4*v2^2 -
37648301186720000*H^3*t^2*v2^2 + 520875319948032000*H^2*t^4*v2^2
-
1242891095600000*H^3*t*v2^3 + 95228055942880000*H^2*t^3*v2^3 -
11529602000000*H^3*v2^4 + 5480019830600000*H^2*t^2*v2^4 -
26575271425920000*H*t^4*v2^4 - 5254039631400000*H*t^3*v2^5 -
7058940000000*H^2*v2^6 - 224827239000000*H*t^2*v2^6 +
451960398400000*t^4*v2^6 + 9706042500000*H*t*v2^7 +
72060012500000*t^3*v2^7 + 630262500000*H*v2^8 +
441183750000*t^2*v2^8 -
375156250000*t*v2^9 - 14546875000*v2^10 -
347250213298688000*H^3*t^2*
w1 + 5104578135490713600*H^2*t^4*w1 -
26575271425920000*H^3*t*v2*w1 +
911531809909056000*H^2*t^3*v2*w1 - 1242891095600000*H^3*v2^2*w1
+
76403905349520000*H^2*t^2*v2^2*w1 -
520875319948032000*H*t^4*v2^2*w1 +
5423524780800000*H^2*t*v2^3*w1 - 93013449990720000*H*t^3*v2^3*w1
+
172944030000000*H^2*v2^4*w1 - 7683326772800000*H*t^2*v2^4*w1 +
13287635712960000*t^4*v2^4*w1 - 328593657000000*H*t*v2^5*w1 +
3022485164300000*t^3*v2^5*w1 - 4411837500000*H*v2^6*w1 +
219062438000000*t^2*v2^6*w1 + 4411837500000*t*v2^7*w1 -
60025000000*v2^8*w1 + 390656489961024000*H^2*t^2*w1^2 -
2552289067745356800*H*t^4*w1^2 + 23253362497680000*H^2*t*v2*w1^2
-
455765904954528000*H*t^3*v2*w1^2 + 1016910896400000*H^2*v2^2*w1^2
-
41523861603000000*H*t^2*v2^2*w1^2 +
130218829987008000*t^4*v2^2*w1^2 -
3474445562700000*H*t*v2^3*w1^2 + 20485105057480000*t^3*v2^3*w1^2
-
129708022500000*H*v2^4*w1^2 + 2019698030350000*t^2*v2^4*w1^2 +
129708022500000*t*v2^5*w1^2 + 3088286250000*v2^6*w1^2 -
173625106649344000*H*t^2*w1^3 + 425381511290892800*t^4*w1^3 -
6643817856480000*H*t*v2*w1^3 + 75960984159088000*t^3*v2*w1^3 -
254227724100000*H*v2^2*w1^3 + 6366992112460000*t^2*v2^2*w1^3 +
536702973100000*t*v2^3*w1^3 + 23059204000000*v2^4*w1^3 +
27128922913960000*t^2*w1^4 + 415238616030000*t*v2*w1^4 +
7061881225000*v2^2*w1^4 - 5104578135490713600*H^2*t^4*w2 -
911531809909056000*H^2*t^3*v2*w2 + 112990099600000*H^3*v2^2*w2 -
36540998210640000*H^2*t^2*v2^2*w2 +
520875319948032000*H*t^4*v2^2*w2 +
1694851494000000*H^2*t*v2^3*w2 + 97442661895040000*H*t^3*v2^3*w2
+
138355224000000*H^2*v2^4*w2 + 3276712888400000*H*t^2*v2^4*w2 -
13287635712960000*t^4*v2^4*w2 - 328593657000000*H*t*v2^5*w2 -
2231554467100000*t^3*v2^5*w2 - 18529717500000*H*v2^6*w2 -
5764801000000*t^2*v2^6*w2 + 14117880000000*t*v2^7*w2 +
570237500000*v2^8*w2 - 260437659974016000*H^2*t^2*w1*w2 +
5104578135490713600*H*t^4*w1*w2 -
33219089282400000*H^2*t*v2*w1*w2 +
911531809909056000*H*t^3*v2*w1*w2 -
1694851494000000*H^2*v2^2*w1*w2 +
69760087493040000*H*t^2*v2^2*w1*w2 -
260437659974016000*t^4*v2^2*w1*w2 +
3898158436200000*H*t*v2^3*w1*w2 -
52043239875760000*t^3*v2^3*w1*w2 +
86472015000000*H*v2^4*w1*w2 - 3643930712100000*t^2*v2^4*w1*w2 -
69177612000000*t*v2^5*w1*w2 + 1764735000000*v2^6*w1*w2 +
260437659974016000*H*t^2*w1^2*w2 -
1276144533872678400*t^4*w1^2*w2 +
26575271425920000*H*t*v2*w1^2*w2 -
227882952477264000*t^3*v2*w1^2*w2 +
1271138620500000*H*v2^2*w1^2*w2 -
22422885265620000*t^2*v2^2*w1^2*w2 -
1864336643400000*t*v2^3*w1^2*w2 - 60530410500000*v2^4*w1^2*w2 -
65109414993504000*t^2*w1^3*w2 - 4982863392360000*t*v2*w1^3*w2 -
225980199200000*v2^2*w1^3*w2 - 130218829987008000*H^2*t^2*w2^2 -
2552289067745356800*H*t^4*w2^2 - 16609544641200000*H^2*t*v2*w2^2
-
455765904954528000*H*t^3*v2*w2^2 - 677940597600000*H^2*v2^2*w2^2
-
1660954464120000*H*t^2*v2^2*w2^2 +
130218829987008000*t^4*v2^2*w2^2 +
3643930712100000*H*t*v2^3*w2^2 + 22699711009640000*t^3*v2^3*w2^2
+
181591231500000*H*v2^4*w2^2 - 183608911850000*t^2*v2^4*w2^2 -
198885634500000*t*v2^5*w2^2 - 8382491250000*v2^6*w2^2 +
1276144533872678400*t^4*w1*w2^2 - 6643817856480000*H*t*v2*w1*w2^2
+
227882952477264000*t^3*v2*w1*w2^2 -
423712873500000*H*v2^2*w1*w2^2 +
12457158480900000*t^2*v2^2*w1*w2^2 +
84742574700000*t*v2^3*w1*w2^2 -
17294403000000*v2^4*w1*w2^2 + 32554707496752000*t^2*w1^2*w2^2 +
5813340624420000*t*v2*w1^2*w2^2 + 296599011450000*v2^2*w1^2*w2^2
-
86812553324672000*H*t^2*w2^3 - 425381511290892800*t^4*w2^3 -
13287635712960000*H*t*v2*w2^3 - 75960984159088000*t^3*v2*w2^3 -
593198022900000*H*v2^2*w2^3 + 3598734672260000*t^2*v2^2*w2^3 +
1242891095600000*t*v2^3*w2^3 + 54765609500000*v2^4*w2^3 +
21703138331168000*t^2*w1*w2^3 + 1660954464120000*t*v2*w1*w2^3 +
56495049800000*v2^2*w1*w2^3 - 16277353748376000*t^2*w2^4 -
2906670312210000*t*v2*w2^4 - 134175743275000*v2^2*w2^4) +
t4*(-173625106649344000*H^4*t^2 - 17716847617280000*H^4*t*v2 +
173625106649344000*H^3*t^3*v2 - 903920796800000*H^4*v2^2 +
53150542851840000*H^3*t^2*v2^2 + 5875485179200000*H^3*t*v2^3 -
26575271425920000*H^2*t^3*v2^3 + 230592040000000*H^3*v2^4 -
7344356474000000*H^2*t^2*v2^4 - 691776120000000*H^2*t*v2^5 +
1920831693200000*H*t^3*v2^5 - 21176820000000*H^2*v2^6 +
449654478000000*H*t^2*v2^6 + 34118210000000*H*t*v2^7 -
51883209000000*t^3*v2^7 + 840350000000*H*v2^8 -
9706042500000*t^2*v2^8 -
600250000000*t*v2^9 - 12250000000*v2^10 +
347250213298688000*H^3*t^2*
w1 + 26575271425920000*H^3*t*v2*w1 -
260437659974016000*H^2*t^3*v2*w1 +
1355881195200000*H^3*v2^2*w1 - 66438178564800000*H^2*t^2*v2^2*w1
-
6779405976000000*H^2*t*v2^3*w1 + 22146059521600000*H*t^3*v2^3*w1
-
276710448000000*H^2*v2^4*w1 + 5762495079600000*H*t^2*v2^4*w1 +
553420896000000*H*t*v2^5*w1 - 734435647400000*t^3*v2^5*w1 +
17647350000000*H*v2^6*w1 - 178708831000000*t^2*v2^6*w1 -
14117880000000*t*v2^7*w1 - 360150000000*v2^8*w1 -
260437659974016000*H^2*t^2*w1^2 - 13287635712960000*H^2*t*v2*w1^2
+
130218829987008000*H*t^3*v2*w1^2 - 677940597600000*H^2*v2^2*w1^2
+
26575271425920000*H*t^2*v2^2*w1^2 +
2372792091600000*H*t*v2^3*w1^2 -
4429211904320000*t^3*v2^3*w1^2 + 103766418000000*H*v2^4*w1^2 -
1045158421300000*t^2*v2^4*w1^2 - 103766418000000*t*v2^5*w1^2 -
3529470000000*v2^6*w1^2 + 86812553324672000*H*t^2*w1^3 +
2214605952160000*H*t*v2*w1^3 - 21703138331168000*t^3*v2*w1^3 +
112990099600000*H*v2^2*w1^3 - 3321908928240000*t^2*v2^2*w1^3 -
225980199200000*t*v2^3*w1^3 - 11529602000000*v2^4*w1^3 -
10851569165584000*t^2*w1^4 - 347250213298688000*H^3*t^2*w2 -
44292119043200000*H^3*t*v2*w2 + 260437659974016000*H^2*t^3*v2*w2
-
2259801992000000*H^3*v2^2*w2 + 93013449990720000*H^2*t^2*v2^2*w2
+
10847049561600000*H^2*t*v2^3*w2 - 31004483330240000*H*t^3*v2^3*w2
+
415065672000000*H^2*v2^4*w2 - 8926217868400000*H*t^2*v2^4*w2 -
830131344000000*H*t*v2^5*w2 + 1186396045800000*t^3*v2^5*w2 -
24706290000000*H*v2^6*w2 + 270945647000000*t^2*v2^6*w2 +
20000330000000*t*v2^7*w2 + 480200000000*v2^8*w2 +
520875319948032000*H^2*t^2*w1*w2 +
53150542851840000*H^2*t*v2*w1*w2 -
260437659974016000*H*t^3*v2*w1*w2 +
2711762390400000*H^2*v2^2*w1*w2 -
79725814277760000*H*t^2*v2^2*w1*w2 -
8813227768800000*H*t*v2^3*w1*w2 +
13287635712960000*t^3*v2^3*w1*w2 - 345888060000000*H*v2^4*w1*w2
+
3672178237000000*t^2*v2^4*w1*w2 + 345888060000000*t*v2^5*w1*w2 +
10588410000000*v2^6*w1*w2 - 260437659974016000*H*t^2*w1^2*w2 -
19931453569440000*H*t*v2*w1^2*w2 +
65109414993504000*t^3*v2*w1^2*w2 -
1016910896400000*H*v2^2*w1^2*w2 +
16609544641200000*t^2*v2^2*w1^2*w2 +
1694851494000000*t*v2^3*w1^2*w2 + 69177612000000*v2^4*w1^2*w2 +
43406276662336000*t^2*w1^3*w2 + 2214605952160000*t*v2*w1^3*w2 +
112990099600000*v2^2*w1^3*w2 - 260437659974016000*H^2*t^2*w2^2 -
39862907138880000*H^2*t*v2*w2^2 +
130218829987008000*H*t^3*v2*w2^2 -
2033821792800000*H^2*v2^2*w2^2 +
53150542851840000*H*t^2*v2^2*w2^2 +
6440435677200000*H*t*v2^3*w2^2 - 8858423808640000*t^3*v2^3*w2^2
+
242121642000000*H*v2^4*w2^2 - 2627019815700000*t^2*v2^4*w2^2 -
242121642000000*t*v2^5*w2^2 - 7058940000000*v2^6*w2^2 +
260437659974016000*H*t^2*w1*w2^2 +
33219089282400000*H*t*v2*w1*w2^2 -
65109414993504000*t^3*v2*w1*w2^2 +
1694851494000000*H*v2^2*w1*w2^2 -
23253362497680000*t^2*v2^2*w1*w2^2 -
2711762390400000*t*v2^3*w1*w2^2 -
103766418000000*v2^4*w1*w2^2 - 65109414993504000*t^2*w1^2*w2^2 -
6643817856480000*t*v2*w1^2*w2^2 - 338970298800000*v2^2*w1^2*w2^2
-
86812553324672000*H*t^2*w2^3 - 15502241665120000*H*t*v2*w2^3 +
21703138331168000*t^3*v2*w2^3 - 790930697200000*H*v2^2*w2^3 +
9965726784720000*t^2*v2^2*w2^3 + 1242891095600000*t*v2^3*w2^3 +
46118408000000*v2^4*w2^3 + 43406276662336000*t^2*w1*w2^3 +
6643817856480000*t*v2*w1*w2^3 + 338970298800000*v2^2*w1*w2^3 -
10851569165584000*t^2*w2^4 - 2214605952160000*t*v2*w2^4 -
112990099600000*v2^2*w2^4) + t5*(86812553324672000*H^4*t^2 +
3403052090327142400*H^3*t^4 + 11073029760800000*H^4*t*v2 +
434062766623360000*H^3*t^3*v2 + 564950498000000*H^4*v2^2 -
15502241665120000*H^3*t^2*v2^2 - 520875319948032000*H^2*t^4*v2^2
-
4632594083600000*H^3*t*v2^3 - 68652784516960000*H^2*t^3*v2^3 -
219062438000000*H^3*v2^4 + 1864336643400000*H^2*t^2*v2^4 +
26575271425920000*H*t^4*v2^4 + 691776120000000*H^2*t*v2^5 +
3333207938200000*H*t^3*v2^5 + 28235760000000*H^2*v2^6 -
224827239000000*H*t^2*v2^6 - 451960398400000*t^4*v2^6 -
43824252500000*H*t*v2^7 - 20176803500000*t^3*v2^7 -
1470612500000*H*v2^8 + 9264858750000*t^2*v2^8 +
975406250000*t*v2^9 +
26796875000*v2^10 - 5104578135490713600*H^2*t^4*w1 -
651094149935040000*H^2*t^3*v2*w1 - 112990099600000*H^3*v2^2*w1 -
9965726784720000*H^2*t^2*v2^2*w1 +
520875319948032000*H*t^4*v2^2*w1 +
1355881195200000*H^2*t*v2^3*w1 + 70867390469120000*H*t^3*v2^3*w1
+
103766418000000*H^2*v2^4*w1 + 1920831693200000*H*t^2*v2^4*w1 -
13287635712960000*t^4*v2^4*w1 - 224827239000000*H*t*v2^5*w1 -
2288049516900000*t^3*v2^5*w1 - 13235512500000*H*v2^6*w1 -
40353607000000*t^2*v2^6*w1 + 9706042500000*t*v2^7*w1 +
420175000000*v2^8*w1 - 130218829987008000*H^2*t^2*w1^2 +
2552289067745356800*H*t^4*w1^2 - 9965726784720000*H^2*t*v2*w1^2
+
325547074967520000*H*t^3*v2*w1^2 - 338970298800000*H^2*v2^2*w1^2
+
14948590177080000*H*t^2*v2^2*w1^2 -
130218829987008000*t^4*v2^2*w1^2 +
1101653471100000*H*t*v2^3*w1^2 - 16055893153160000*t^3*v2^3*w1^2
+
25941604500000*H*v2^4*w1^2 - 974539609050000*t^2*v2^4*w1^2 -
25941604500000*t*v2^5*w1^2 + 441183750000*v2^6*w1^2 +
86812553324672000*H*t^2*w1^3 - 425381511290892800*t^4*w1^3 +
4429211904320000*H*t*v2*w1^3 - 54257845827920000*t^3*v2*w1^3 +
141237624500000*H*v2^2*w1^3 - 3045083184220000*t^2*v2^2*w1^3 -
310722773900000*t*v2^3*w1^3 - 11529602000000*v2^4*w1^3 -
16277353748376000*t^2*w1^4 - 415238616030000*t*v2*w1^4 -
7061881225000*v2^2*w1^4 + 347250213298688000*H^3*t^2*w2 +
5104578135490713600*H^2*t^4*w2 + 44292119043200000*H^3*t*v2*w2 +
651094149935040000*H^2*t^3*v2*w2 + 2146811892400000*H^3*v2^2*w2
-
56472451780080000*H^2*t^2*v2^2*w2 -
520875319948032000*H*t^4*v2^2*w2 -
12541901055600000*H^2*t*v2^3*w2 - 66438178564800000*H*t^3*v2^3*w2
-
553420896000000*H^2*v2^4*w2 + 5649504980000000*H*t^2*v2^4*w2 +
13287635712960000*t^4*v2^4*w2 + 1158725001000000*H*t*v2^5*w2 +
1045158421300000*t^3*v2^5*w2 + 43236007500000*H*v2^6*w2 -
265180846000000*t^2*v2^6*w2 - 34118210000000*t*v2^7*w2 -
1050437500000*v2^8*w2 - 260437659974016000*H^2*t^2*w1*w2 -
5104578135490713600*H*t^4*w1*w2 -
19931453569440000*H^2*t*v2*w1*w2 -
651094149935040000*H*t^3*v2*w1*w2 -
1016910896400000*H^2*v2^2*w1*w2 +
9965726784720000*H*t^2*v2^2*w1*w2 +
260437659974016000*t^4*v2^2*w1*w2 +
4915069332600000*H*t*v2^3*w1*w2 +
38755604162800000*t^3*v2^3*w1*w2 +
259416045000000*H*v2^4*w1*w2 - 28247524900000*t^2*v2^4*w1*w2 -
276710448000000*t*v2^5*w1*w2 - 12353145000000*v2^6*w1*w2 +
1276144533872678400*t^4*w1^2*w2 - 6643817856480000*H*t*v2*w1^2*w2
+
162773537483760000*t^3*v2*w1^2*w2 -
254227724100000*H*v2^2*w1^2*w2 +
5813340624420000*t^2*v2^2*w1^2*w2 +
169485149400000*t*v2^3*w1^2*w2 -
8647201500000*v2^4*w1^2*w2 + 21703138331168000*t^2*w1^3*w2 +
2768257440200000*t*v2*w1^3*w2 + 112990099600000*v2^2*w1^3*w2 +
390656489961024000*H^2*t^2*w2^2 + 2552289067745356800*H*t^4*w2^2
+
56472451780080000*H^2*t*v2*w2^2 +
325547074967520000*H*t^3*v2*w2^2 +
2711762390400000*H^2*v2^2*w2^2 -
51489588387720000*H*t^2*v2^2*w2^2 -
130218829987008000*t^4*v2^2*w2^2 -
10084366389300000*H*t*v2^3*w2^2 -
13841287201000000*t^3*v2^3*w2^2 - 423712873500000*H*v2^4*w2^2 +
2810628727550000*t^2*v2^4*w2^2 + 441007276500000*t*v2^5*w2^2 +
15441431250000*v2^6*w2^2 - 260437659974016000*H*t^2*w1*w2^2 -
1276144533872678400*t^4*w1*w2^2 -
26575271425920000*H*t*v2*w1*w2^2 -
162773537483760000*t^3*v2*w1*w2^2 -
1271138620500000*H*v2^2*w1*w2^2 +
10796204016780000*t^2*v2^2*w1*w2^2 +
2627019815700000*t*v2^3*w1*w2^2 +
121060821000000*v2^4*w1*w2^2 + 32554707496752000*t^2*w1^2*w2^2 +
830477232060000*t*v2*w1^2*w2^2 + 42371287350000*v2^2*w1^2*w2^2 +
173625106649344000*H*t^2*w2^3 + 425381511290892800*t^4*w2^3 +
28789877378080000*H*t*v2*w2^3 + 54257845827920000*t^3*v2*w2^3 +
1384128720100000*H*v2^2*w2^3 - 13564461456980000*t^2*v2^2*w2^3 -
2485782191200000*t*v2^3*w2^3 - 100884017500000*v2^4*w2^3 -
65109414993504000*t^2*w1*w2^3 - 8304772320600000*t*v2*w1*w2^3 -
395465348600000*v2^2*w1*w2^3 + 27128922913960000*t^2*w2^4 +
5121276264370000*t*v2*w2^4 + 247165842875000*v2^2*w2^4),
3615683187200*H^2*t^3 + t5^3*t6^3*(-27128922913960*t -
1384128720100*v2) +
t5^5*t6*(-8138676874188*t - 415238616030*v2) +
t5*t6^5*(-8138676874188*t - 415238616030*v2) + 4705960000*H^3*v2 +
553420896000*H^2*t^2*v2 + 16470860000*H^2*t*v2^2 -
368947264000*H*t^3*v2^2 - 240100000*H^2*v2^3 -
56471520000*H*t^2*v2^3 -
3121300000*H*t*v2^4 + 9411920000*t^3*v2^4 - 61250000*H*v2^5 +
2040850000*t^2*v2^5 + 140875000*t*v2^6 + 3125000*v2^7 +
t5^6*(1356446145698*t + 69206436005*v2) +
t6^6*(1356446145698*t + 69206436005*v2) +
t5^4*t6^2*(20346692185470*t + 1038096540075*v2) +
t5^2*t6^4*(20346692185470*t + 1038096540075*v2) +
92236816000*H^2*t*w1 -
3615683187200*H*t^3*w1 - 2352980000*H^2*v2*w1 -
553420896000*H*t^2*v2*w1 -
16470860000*H*t*v2^2*w1 + 184473632000*t^3*v2^2*w1 +
240100000*H*v2^3*w1 +
23529800000*t^2*v2^3*w1 + 1080450000*t*v2^4*w1 + 18375000*v2^5*w1
-
92236816000*H*t*w1^2 + 903920796800*t^3*w1^2 - 1176490000*H*v2*w1^2
+
138355224000*t^2*v2*w1^2 + 4117715000*t*v2^2*w1^2 -
60025000*v2^3*w1^2 +
23059204000*t*w1^3 + 588245000*v2*w1^3 + 92236816000*H^2*t*w2 +
3615683187200*H*t^3*w2 + 11764900000*H^2*v2*w2 +
553420896000*H*t^2*v2*w2 + 16470860000*H*t*v2^2*w2 -
184473632000*t^3*v2^2*w2 - 240100000*H*v2^3*w2 -
32941720000*t^2*v2^3*w2 -
2040850000*t*v2^4*w2 - 42875000*v2^5*w2 - 1807841593600*t^3*w1*w2
-
7058940000*H*v2*w1*w2 - 276710448000*t^2*v2*w1*w2 -
8235430000*t*v2^2*w1*w2 + 120050000*v2^3*w1*w2 -
23059204000*t*w1^2*w2 +
588245000*v2*w1^2*w2 + 92236816000*H*t*w2^2 + 903920796800*t^3*w2^2
+
8235430000*H*v2*w2^2 + 138355224000*t^2*v2*w2^2 +
4117715000*t*v2^2*w2^2 -
60025000*v2^3*w2^2 - 23059204000*t*w1*w2^2 - 2941225000*v2*w1*w2^2
+
23059204000*t*w2^3 + 1764735000*v2*w2^3 +
t5^3*t6*(-86812553324672*t^3 - 112990099600*H*v2 -
8858423808640*t^2*v2 +
282475249000*t*v2^2 + 28824005000*v2^3 - 4429211904320*t*w1 -
169485149400*v2*w1 - 4429211904320*t*w2 - 282475249000*v2*w2) +
t5*t6^3*(-86812553324672*t^3 - 112990099600*H*v2 -
8858423808640*t^2*v2 +
282475249000*t*v2^2 + 28824005000*v2^3 - 4429211904320*t*w1 -
169485149400*v2*w1 - 4429211904320*t*w2 - 282475249000*v2*w2) +
t5^4*(21703138331168*t^3 + 28247524900*H*v2 + 2214605952160*t^2*v2
-
70618812250*t*v2^2 - 7206001250*v2^3 + 1107302976080*t*w1 +
42371287350*v2*w1 + 1107302976080*t*w2 + 70618812250*v2*w2) +
t6^4*(21703138331168*t^3 + 28247524900*H*v2 + 2214605952160*t^2*v2
-
70618812250*t*v2^2 - 7206001250*v2^3 + 1107302976080*t*w1 +
42371287350*v2*w1 + 1107302976080*t*w2 + 70618812250*v2*w2) +
t5^2*t6^2*(130218829987008*t^3 + 169485149400*H*v2 +
13287635712960*t^2*v2 - 423712873500*t*v2^2 - 43236007500*v2^3 +
6643817856480*t*w1 + 254227724100*v2*w1 + 6643817856480*t*w2 +
423712873500*v2*w2) + t5*t6*(-451960398400*H^2*t -
23059204000*H^2*v2 +
46118408000*H*t*v2^2 + 1807841593600*t^3*v2^2 + 4705960000*H*v2^3
+
184473632000*t^2*v2^3 - 2352980000*t*v2^4 - 420175000*v2^5 +
451960398400*H*t*w1 - 17716847617280*t^3*w1 -
1807841593600*t^2*v2*w1 +
34588806000*t*v2^2*w1 + 3529470000*v2^3*w1 - 564950498000*t*w1^2
-
17294403000*v2*w1^2 - 451960398400*H*t*w2 - 17716847617280*t^3*w2
-
46118408000*H*v2*w2 - 1807841593600*t^2*v2*w2 +
80707214000*t*v2^2*w2 +
8235430000*v2^3*w2 - 677940597600*t*w1*w2 - 34588806000*v2*w1*w2
-
564950498000*t*w2^2 - 40353607000*v2*w2^2) +
t5^2*(225980199200*H^2*t + 11529602000*H^2*v2 -
23059204000*H*t*v2^2 -
903920796800*t^3*v2^2 - 2352980000*H*v2^3 - 92236816000*t^2*v2^3
+
1176490000*t*v2^4 + 210087500*v2^5 - 225980199200*H*t*w1 +
8858423808640*t^3*w1 + 903920796800*t^2*v2*w1 -
17294403000*t*v2^2*w1 -
1764735000*v2^3*w1 + 282475249000*t*w1^2 + 8647201500*v2*w1^2 +
225980199200*H*t*w2 + 8858423808640*t^3*w2 + 23059204000*H*v2*w2
+
903920796800*t^2*v2*w2 - 40353607000*t*v2^2*w2 -
4117715000*v2^3*w2 +
338970298800*t*w1*w2 + 17294403000*v2*w1*w2 + 282475249000*t*w2^2
+
20176803500*v2*w2^2) + t6^2*(225980199200*H^2*t +
11529602000*H^2*v2 -
23059204000*H*t*v2^2 - 903920796800*t^3*v2^2 - 2352980000*H*v2^3
-
92236816000*t^2*v2^3 + 1176490000*t*v2^4 + 210087500*v2^5 -
225980199200*H*t*w1 + 8858423808640*t^3*w1 +
903920796800*t^2*v2*w1 -
17294403000*t*v2^2*w1 - 1764735000*v2^3*w1 + 282475249000*t*w1^2
+
8647201500*v2*w1^2 + 225980199200*H*t*w2 + 8858423808640*t^3*w2
+
23059204000*H*v2*w2 + 903920796800*t^2*v2*w2 -
40353607000*t*v2^2*w2 -
4117715000*v2^3*w2 + 338970298800*t*w1*w2 + 17294403000*v2*w1*w2
+
282475249000*t*w2^2 + 20176803500*v2*w2^2) +
t3*(-1807841593600*H^2*t^2 - 184473632000*H^2*t*v2 -
9411920000*H^2*v2^2 +
184473632000*H*t^2*v2^2 + 32941720000*H*t*v2^3 +
1440600000*H*v2^4 -
10588410000*t^2*v2^4 - 1440600000*t*v2^5 - 49000000*v2^6 +
1807841593600*H*t^2*w1 + 92236816000*H*t*v2*w1 +
4705960000*H*v2^2*w1 -
46118408000*t^2*v2^2*w1 - 9411920000*t*v2^3*w1 -
480200000*v2^4*w1 -
451960398400*t^2*w1^2 - 1807841593600*H*t^2*w2 -
276710448000*H*t*v2*w2 - 14117880000*H*v2^2*w2 +
138355224000*t^2*v2^2*w2 + 23529800000*t*v2^3*w2 +
960400000*v2^4*w2 +
903920796800*t^2*w1*w2 + 92236816000*t*v2*w1*w2 +
4705960000*v2^2*w1*w2 - 451960398400*t^2*w2^2 -
92236816000*t*v2*w2^2 -
4705960000*v2^2*w2^2), 960400*H^2*t + 5764801*t*t5^4 -
5764801*t2*t5^4 -
23059204*t*t5^3*t6 + 23059204*t2*t5^3*t6 + 34588806*t*t5^2*t6^2 -
34588806*t2*t5^2*t6^2 - 23059204*t*t5*t6^3 + 23059204*t2*t5*t6^3 +
5764801*t*t6^4 - 5764801*t2*t6^4 - 98000*H*t*v2^2 + 2500*t*v2^4 -
960400*H*t*w1 + 49000*t*v2^2*w1 + 240100*t*w1^2 +
t2*t5^2*(240100*v2^2 - 2352980*w1 - 2352980*w2) +
t2*t6^2*(240100*v2^2 - 2352980*w1 - 2352980*w2) + 960400*H*t*w2 -
49000*t*v2^2*w2 - 480200*t*w1*w2 + 240100*t*w2^2 +
t2*t5*t6*(-480200*v2^2 + 4705960*w1 + 4705960*w2) +
t5*t6*(480200*t*v2^2 - 4705960*t*w1 - 4705960*t*w2) +
t5^2*(-240100*t*v2^2 + 2352980*t*w1 + 2352980*t*w2) +
t6^2*(-240100*t*v2^2 + 2352980*t*w1 + 2352980*t*w2) +
t2*(-960400*H^2 + 98000*H*v2^2 - 2500*v2^4 + 960400*H*w1 -
49000*v2^2*w1 -
240100*w1^2 - 960400*H*w2 + 49000*v2^2*w2 + 480200*w1*w2 -
240100*w2^2),
-960400*H^2*t - 5764801*t*t5^4 + 5764801*t1*t5^4 +
23059204*t*t5^3*t6 -
23059204*t1*t5^3*t6 - 34588806*t*t5^2*t6^2 + 34588806*t1*t5^2*t6^2
+
23059204*t*t5*t6^3 - 23059204*t1*t5*t6^3 - 5764801*t*t6^4 +
5764801*t1*t6^4 + 98000*H*t*v2^2 - 2500*t*v2^4 + 960400*H*t*w1 -
49000*t*v2^2*w1 - 240100*t*w1^2 + t1*t5*t6*(480200*v2^2 -
4705960*w1 -
4705960*w2) - 960400*H*t*w2 + 49000*t*v2^2*w2 + 480200*t*w1*w2 -
240100*t*w2^2 + t1*t5^2*(-240100*v2^2 + 2352980*w1 + 2352980*w2) +
t1*t6^2*(-240100*v2^2 + 2352980*w1 + 2352980*w2) +
t5^2*(240100*t*v2^2 - 2352980*t*w1 - 2352980*t*w2) +
t6^2*(240100*t*v2^2 - 2352980*t*w1 - 2352980*t*w2) +
t5*t6*(-480200*t*v2^2 + 4705960*t*w1 + 4705960*t*w2) +
t1*(960400*H^2 - 98000*H*v2^2 + 2500*v2^4 - 960400*H*w1 +
49000*v2^2*w1 +
240100*w1^2 + 960400*H*w2 - 49000*v2^2*w2 - 480200*w1*w2 +
240100*w2^2)}}
Daniel Lichtblau
Wolfram Research