MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

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


  • Prev by Date: Re: Front end tokens and window maximization
  • Next by Date: Re: Matrix-Multiplication w NonCommutative Entries?
  • Previous by thread: Re: GroebnerBasis never finishes
  • Next by thread: Re: Combining Plots with Different Ordinate Axes in Mathematica