I don't think I can really help with why Sympy takes so much RAM; but I
just ported your code to GiNaC - C++ - just to see how it fares in
comparison. Here are the results:
----------------------------------------------------------------------------------
[neptune ~/bench] time g++ -lginac -lcln RAMspeed.cc -o RAMspeed
real 1m0.771s
user 0m56.316s
sys 0m0.770s
[neptune ~/bench] time ./RAMspeed
real 0m0.049s
user 0m0.033s
sys 0m0.007s
-------------------------------------------------------------------------------------------
It takes a lot of time to compile though :(
Maybe this is why Mathematica was so fast ? It probably uses some
compiled backend to speed things up. Of course I could be wrong.
Akshay
On 04/16/10 19:46, Ben Goodrich wrote:
Hi again,
Things are a bit better now, but I still can't get as far as I'd like
with the polys8 branch (as of a few days ago). I didn't rigorously
benchmark the attached, but just a rough impression from looking at
top implies that
thing = first * second - third.sqr()
where first, second, and third are of class Poly with many terms takes
about 15 minutes and 1.3 GB of RAM on my office machine. But using the
Poly class is much better than using basic SymPy like Ondrej
suggested upthread.
In comparison, the equivalent thing in Sage
thing = expand(first * second - third^2)
takes about 10 minutes and 0.25 GB of RAM on the same machine (using
basic Sage variables rather than their multivariate polynomial ring
class). That much of a difference I don't really understand because in
both cases this is really just addition, subtraction, and
multiplication of Python symbols.
However, in Mathematica
thing = Expand[first * second - third^2]
takes only a few seconds and very little RAM. That is on a different
machine, so it is not an apples to apples comparison, but it is still
a big difference.
Is anyone able to reproduce these resource intensities and / or tell
me if there is anything I can do to mitigate them?
Thanks,
Ben
--
You received this message because you are subscribed to the Google
Groups "sympy" group.
To post to this group, send email to sy...@googlegroups.com.
To unsubscribe from this group, send email to
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to sy...@googlegroups.com.
To unsubscribe from this group, send email to
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
#include<iostream>
#include<ginac/ginac.h>
#include<fstream>
using namespace std;
using namespace GiNaC;
int main(int argc, char *argv[]){
symbol a("a"),b("b"),c("c"),d("d"),e("e"),f("f"),g("g"),h("h"),i("i"),j("j"),k("k"),l("l"),m("m"),n("n"),o("o"),p("p"),q("q"),r("r"),s("s"),t("t"),u("u"),v("v"),w("w"),x("x"),y("y"),z("z"),A("A");
ex first, second, third, thing;
first = -2*a*b*h*k*p*r - 2*a*b*h*m*o*r - 2*a*b*i*l*p*r - 2*a*b*i*m*o*p - 2*a*b*j*k*o*p - 2*a*b*j*l*o*r - 2*a*c*g*k*p*r - 2*a*c*g*m*o*r - 2*a*c*i*k*m*p - 2*a*c*i*l*m*r - 2*a*c*j*k*l*r - 2*a*c*j*k*m*o - 2*a*d*g*l*p*r - 2*a*d*g*m*o*p - 2*a*d*h*k*m*p - 2*a*d*h*l*m*r - 2*a*d*j*k*l*p - 2*a*d*j*l*m*o - 2*a*e*g*k*o*p - 2*a*e*g*l*o*r - 2*a*e*h*k*l*r - 2*a*e*h*k*m*o - 2*a*e*i*k*l*p - 2*a*e*i*l*m*o - 2*b*c*g*i*p*r - 2*b*c*g*j*o*r - 2*b*c*h*i*m*r - 2*b*c*h*j*k*r - 2*b*c*i*j*k*p - 2*b*c*i*j*m*o - 2*b*d*g*h*p*r - 2*b*d*g*j*o*p - 2*b*d*h*i*m*p - 2*b*d*h*j*l*r - 2*b*d*h*j*m*o - 2*b*d*i*j*l*p - 2*b*e*g*h*o*r - 2*b*e*g*i*o*p - 2*b*e*h*i*k*p - 2*b*e*h*i*l*r - 2*b*e*h*j*k*o - 2*b*e*i*j*l*o - 2*c*d*g*h*m*r - 2*c*d*g*i*m*p - 2*c*d*g*j*k*p - 2*c*d*g*j*l*r - 2*c*d*h*j*k*m - 2*c*d*i*j*l*m - 2*c*e*g*h*k*r - 2*c*e*g*i*l*r - 2*c*e*g*i*m*o - 2*c*e*g*j*k*o - 2*c*e*h*i*k*m - 2*c*e*i*j*k*l - 2*d*e*g*h*k*p - 2*d*e*g*h*m*o - 2*d*e*g*i*l*p - 2*d*e*g*j*l*o - 2*d*e*h*i*l*m - 2*d*e*h*j*k*l + 4*a*b*g*o*p*r + 4*a*c*h*k*m*r + 4*a*d*i*l*m*p + 4*a*e*j*k*l*o + 4*b*c*i*j*l*r + 4*b*d*h*j*k*p + 4*b*e*h*i*m*o + 4*c*d*g*j*m*o + 4*c*e*g*i*k*p + 4*d*e*g*h*l*r - pow(a, 2 )*pow(k, 2 )*pow(p, 2 ) - pow(a, 2 )*pow(l, 2 )*pow(r, 2 ) - pow(a, 2 )*pow(m, 2 )*pow(o, 2 ) - pow(b, 2 )*pow(h, 2 )*pow(r, 2 ) - pow(b, 2 )*pow(i, 2 )*pow(p, 2 ) - pow(b, 2 )*pow(j, 2 )*pow(o, 2 ) - pow(c, 2 )*pow(g, 2 )*pow(r, 2 ) - pow(c, 2 )*pow(i, 2 )*pow(m, 2 ) - pow(c, 2 )*pow(j, 2 )*pow(k, 2 ) - pow(d, 2 )*pow(g, 2 )*pow(p, 2 ) - pow(d, 2 )*pow(h, 2 )*pow(m, 2 ) - pow(d, 2 )*pow(j, 2 )*pow(l, 2 ) - pow(e, 2 )*pow(g, 2 )*pow(o, 2 ) - pow(e, 2 )*pow(h, 2 )*pow(k, 2 ) - pow(e, 2 )*pow(i, 2 )*pow(l, 2 ) + pow(a, 2 )*pow(k, 2 )*pow(x, 2 )*pow(z, 2 ) + pow(a, 2 )*pow(l, 2 )*pow(y, 2 )*pow(z, 2 ) + pow(a, 2 )*pow(m, 2 )*pow(x, 2 )*pow(y, 2 ) + pow(a, 2 )*pow(o, 2 )*pow(w, 2 )*pow(z, 2 ) + pow(a, 2 )*pow(p, 2 )*pow(w, 2 )*pow(y, 2 ) + pow(a, 2 )*pow(r, 2 )*pow(w, 2 )*pow(x, 2 ) + pow(b, 2 )*pow(h, 2 )*pow(y, 2 )*pow(z, 2 ) + pow(b, 2 )*pow(i, 2 )*pow(x, 2 )*pow(z, 2 ) + pow(b, 2 )*pow(j, 2 )*pow(x, 2 )*pow(y, 2 ) + pow(b, 2 )*pow(o, 2 )*pow(v, 2 )*pow(z, 2 ) + pow(b, 2 )*pow(p, 2 )*pow(v, 2 )*pow(y, 2 ) + pow(b, 2 )*pow(r, 2 )*pow(v, 2 )*pow(x, 2 ) + pow(c, 2 )*pow(g, 2 )*pow(y, 2 )*pow(z, 2 ) + pow(c, 2 )*pow(i, 2 )*pow(w, 2 )*pow(z, 2 ) + pow(c, 2 )*pow(j, 2 )*pow(w, 2 )*pow(y, 2 ) + pow(c, 2 )*pow(k, 2 )*pow(v, 2 )*pow(z, 2 ) + pow(c, 2 )*pow(m, 2 )*pow(v, 2 )*pow(y, 2 ) + pow(c, 2 )*pow(r, 2 )*pow(v, 2 )*pow(w, 2 ) + pow(d, 2 )*pow(g, 2 )*pow(x, 2 )*pow(z, 2 ) + pow(d, 2 )*pow(h, 2 )*pow(w, 2 )*pow(z, 2 ) + pow(d, 2 )*pow(j, 2 )*pow(w, 2 )*pow(x, 2 ) + pow(d, 2 )*pow(l, 2 )*pow(v, 2 )*pow(z, 2 ) + pow(d, 2 )*pow(m, 2 )*pow(v, 2 )*pow(x, 2 ) + pow(d, 2 )*pow(p, 2 )*pow(v, 2 )*pow(w, 2 ) + pow(e, 2 )*pow(g, 2 )*pow(x, 2 )*pow(y, 2 ) + pow(e, 2 )*pow(h, 2 )*pow(w, 2 )*pow(y, 2 ) + pow(e, 2 )*pow(i, 2 )*pow(w, 2 )*pow(x, 2 ) + pow(e, 2 )*pow(k, 2 )*pow(v, 2 )*pow(x, 2 ) + pow(e, 2 )*pow(l, 2 )*pow(v, 2 )*pow(y, 2 ) + pow(e, 2 )*pow(o, 2 )*pow(v, 2 )*pow(w, 2 ) + pow(g, 2 )*pow(o, 2 )*pow(u, 2 )*pow(z, 2 ) + pow(g, 2 )*pow(p, 2 )*pow(u, 2 )*pow(y, 2 ) + pow(g, 2 )*pow(r, 2 )*pow(u, 2 )*pow(x, 2 ) + pow(h, 2 )*pow(k, 2 )*pow(u, 2 )*pow(z, 2 ) + pow(h, 2 )*pow(m, 2 )*pow(u, 2 )*pow(y, 2 ) + pow(h, 2 )*pow(r, 2 )*pow(u, 2 )*pow(w, 2 ) + pow(i, 2 )*pow(l, 2 )*pow(u, 2 )*pow(z, 2 ) + pow(i, 2 )*pow(m, 2 )*pow(u, 2 )*pow(x, 2 ) + pow(i, 2 )*pow(p, 2 )*pow(u, 2 )*pow(w, 2 ) + pow(j, 2 )*pow(k, 2 )*pow(u, 2 )*pow(x, 2 ) + pow(j, 2 )*pow(l, 2 )*pow(u, 2 )*pow(y, 2 ) + pow(j, 2 )*pow(o, 2 )*pow(u, 2 )*pow(w, 2 ) + pow(k, 2 )*pow(p, 2 )*pow(u, 2 )*pow(v, 2 ) + pow(l, 2 )*pow(r, 2 )*pow(u, 2 )*pow(v, 2 ) + pow(m, 2 )*pow(o, 2 )*pow(u, 2 )*pow(v, 2 ) - pow(a, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 )*pow(z, 2 ) - pow(b, 2 )*pow(v, 2 )*pow(x, 2 )*pow(y, 2 )*pow(z, 2 ) - pow(c, 2 )*pow(v, 2 )*pow(w, 2 )*pow(y, 2 )*pow(z, 2 ) - pow(d, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 )*pow(z, 2 ) - pow(e, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(g, 2 )*pow(u, 2 )*pow(x, 2 )*pow(y, 2 )*pow(z, 2 ) - pow(h, 2 )*pow(u, 2 )*pow(w, 2 )*pow(y, 2 )*pow(z, 2 ) - pow(i, 2 )*pow(u, 2 )*pow(w, 2 )*pow(x, 2 )*pow(z, 2 ) - pow(j, 2 )*pow(u, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(k, 2 )*pow(u, 2 )*pow(v, 2 )*pow(x, 2 )*pow(z, 2 ) - pow(l, 2 )*pow(u, 2 )*pow(v, 2 )*pow(y, 2 )*pow(z, 2 ) - pow(m, 2 )*pow(u, 2 )*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(o, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(z, 2 ) - pow(p, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) - pow(r, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) - 2*a*b*g*pow(o, 2 )*pow(z, 2 ) - 2*a*b*g*pow(p, 2 )*pow(y, 2 ) - 2*a*b*g*pow(r, 2 )*pow(x, 2 ) - 2*a*c*h*pow(k, 2 )*pow(z, 2 ) - 2*a*c*h*pow(m, 2 )*pow(y, 2 ) - 2*a*c*h*pow(r, 2 )*pow(w, 2 ) - 2*a*d*i*pow(l, 2 )*pow(z, 2 ) - 2*a*d*i*pow(m, 2 )*pow(x, 2 ) - 2*a*d*i*pow(p, 2 )*pow(w, 2 ) - 2*a*e*j*pow(k, 2 )*pow(x, 2 ) - 2*a*e*j*pow(l, 2 )*pow(y, 2 ) - 2*a*e*j*pow(o, 2 )*pow(w, 2 ) - 2*b*c*l*pow(i, 2 )*pow(z, 2 ) - 2*b*c*l*pow(j, 2 )*pow(y, 2 ) - 2*b*c*l*pow(r, 2 )*pow(v, 2 ) - 2*b*d*k*pow(h, 2 )*pow(z, 2 ) - 2*b*d*k*pow(j, 2 )*pow(x, 2 ) - 2*b*d*k*pow(p, 2 )*pow(v, 2 ) - 2*b*e*m*pow(h, 2 )*pow(y, 2 ) - 2*b*e*m*pow(i, 2 )*pow(x, 2 ) - 2*b*e*m*pow(o, 2 )*pow(v, 2 ) - 2*c*d*o*pow(g, 2 )*pow(z, 2 ) - 2*c*d*o*pow(j, 2 )*pow(w, 2 ) - 2*c*d*o*pow(m, 2 )*pow(v, 2 ) - 2*c*e*p*pow(g, 2 )*pow(y, 2 ) - 2*c*e*p*pow(i, 2 )*pow(w, 2 ) - 2*c*e*p*pow(k, 2 )*pow(v, 2 ) - 2*d*e*r*pow(g, 2 )*pow(x, 2 ) - 2*d*e*r*pow(h, 2 )*pow(w, 2 ) - 2*d*e*r*pow(l, 2 )*pow(v, 2 ) - 2*g*h*l*pow(d, 2 )*pow(z, 2 ) - 2*g*h*l*pow(e, 2 )*pow(y, 2 ) - 2*g*h*l*pow(r, 2 )*pow(u, 2 ) - 2*g*i*k*pow(c, 2 )*pow(z, 2 ) - 2*g*i*k*pow(e, 2 )*pow(x, 2 ) - 2*g*i*k*pow(p, 2 )*pow(u, 2 ) - 2*g*j*m*pow(c, 2 )*pow(y, 2 ) - 2*g*j*m*pow(d, 2 )*pow(x, 2 ) - 2*g*j*m*pow(o, 2 )*pow(u, 2 ) - 2*h*i*o*pow(b, 2 )*pow(z, 2 ) - 2*h*i*o*pow(e, 2 )*pow(w, 2 ) - 2*h*i*o*pow(m, 2 )*pow(u, 2 ) - 2*h*j*p*pow(b, 2 )*pow(y, 2 ) - 2*h*j*p*pow(d, 2 )*pow(w, 2 ) - 2*h*j*p*pow(k, 2 )*pow(u, 2 ) - 2*i*j*r*pow(b, 2 )*pow(x, 2 ) - 2*i*j*r*pow(c, 2 )*pow(w, 2 ) - 2*i*j*r*pow(l, 2 )*pow(u, 2 ) - 2*k*l*o*pow(a, 2 )*pow(z, 2 ) - 2*k*l*o*pow(e, 2 )*pow(v, 2 ) - 2*k*l*o*pow(j, 2 )*pow(u, 2 ) - 2*k*m*r*pow(a, 2 )*pow(x, 2 ) - 2*k*m*r*pow(c, 2 )*pow(v, 2 ) - 2*k*m*r*pow(h, 2 )*pow(u, 2 ) - 2*l*m*p*pow(a, 2 )*pow(y, 2 ) - 2*l*m*p*pow(d, 2 )*pow(v, 2 ) - 2*l*m*p*pow(i, 2 )*pow(u, 2 ) - 2*o*p*r*pow(a, 2 )*pow(w, 2 ) - 2*o*p*r*pow(b, 2 )*pow(v, 2 ) - 2*o*p*r*pow(g, 2 )*pow(u, 2 ) + 2*a*b*h*l*pow(r, 2 ) + 2*a*b*i*k*pow(p, 2 ) + 2*a*b*j*m*pow(o, 2 ) + 2*a*c*g*l*pow(r, 2 ) + 2*a*c*i*o*pow(m, 2 ) + 2*a*c*j*p*pow(k, 2 ) + 2*a*d*g*k*pow(p, 2 ) + 2*a*d*h*o*pow(m, 2 ) + 2*a*d*j*r*pow(l, 2 ) + 2*a*e*g*m*pow(o, 2 ) + 2*a*e*h*p*pow(k, 2 ) + 2*a*e*i*r*pow(l, 2 ) + 2*b*c*g*h*pow(r, 2 ) + 2*b*c*k*o*pow(j, 2 ) + 2*b*c*m*p*pow(i, 2 ) + 2*b*d*g*i*pow(p, 2 ) + 2*b*d*l*o*pow(j, 2 ) + 2*b*d*m*r*pow(h, 2 ) + 2*b*e*g*j*pow(o, 2 ) + 2*b*e*k*r*pow(h, 2 ) + 2*b*e*l*p*pow(i, 2 ) + 2*c*d*h*i*pow(m, 2 ) + 2*c*d*k*l*pow(j, 2 ) + 2*c*d*p*r*pow(g, 2 ) + 2*c*e*h*j*pow(k, 2 ) + 2*c*e*l*m*pow(i, 2 ) + 2*c*e*o*r*pow(g, 2 ) + 2*d*e*i*j*pow(l, 2 ) + 2*d*e*k*m*pow(h, 2 ) + 2*d*e*o*p*pow(g, 2 ) + 2*g*h*k*o*pow(e, 2 ) + 2*g*h*m*p*pow(d, 2 ) + 2*g*i*l*o*pow(e, 2 ) + 2*g*i*m*r*pow(c, 2 ) + 2*g*j*k*r*pow(c, 2 ) + 2*g*j*l*p*pow(d, 2 ) + 2*h*i*k*l*pow(e, 2 ) + 2*h*i*p*r*pow(b, 2 ) + 2*h*j*l*m*pow(d, 2 ) + 2*h*j*o*r*pow(b, 2 ) + 2*i*j*k*m*pow(c, 2 ) + 2*i*j*o*p*pow(b, 2 ) + 2*k*l*p*r*pow(a, 2 ) + 2*k*m*o*p*pow(a, 2 ) + 2*l*m*o*r*pow(a, 2 ) + pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 )*pow(z, 2 ) - 2*a*b*h*l*pow(y, 2 )*pow(z, 2 ) - 2*a*b*i*k*pow(x, 2 )*pow(z, 2 ) - 2*a*b*j*m*pow(x, 2 )*pow(y, 2 ) - 2*a*c*g*l*pow(y, 2 )*pow(z, 2 ) - 2*a*c*i*o*pow(w, 2 )*pow(z, 2 ) - 2*a*c*j*p*pow(w, 2 )*pow(y, 2 ) - 2*a*d*g*k*pow(x, 2 )*pow(z, 2 ) - 2*a*d*h*o*pow(w, 2 )*pow(z, 2 ) - 2*a*d*j*r*pow(w, 2 )*pow(x, 2 ) - 2*a*e*g*m*pow(x, 2 )*pow(y, 2 ) - 2*a*e*h*p*pow(w, 2 )*pow(y, 2 ) - 2*a*e*i*r*pow(w, 2 )*pow(x, 2 ) - 2*b*c*g*h*pow(y, 2 )*pow(z, 2 ) - 2*b*c*k*o*pow(v, 2 )*pow(z, 2 ) - 2*b*c*m*p*pow(v, 2 )*pow(y, 2 ) - 2*b*d*g*i*pow(x, 2 )*pow(z, 2 ) - 2*b*d*l*o*pow(v, 2 )*pow(z, 2 ) - 2*b*d*m*r*pow(v, 2 )*pow(x, 2 ) - 2*b*e*g*j*pow(x, 2 )*pow(y, 2 ) - 2*b*e*k*r*pow(v, 2 )*pow(x, 2 ) - 2*b*e*l*p*pow(v, 2 )*pow(y, 2 ) - 2*c*d*h*i*pow(w, 2 )*pow(z, 2 ) - 2*c*d*k*l*pow(v, 2 )*pow(z, 2 ) - 2*c*d*p*r*pow(v, 2 )*pow(w, 2 ) - 2*c*e*h*j*pow(w, 2 )*pow(y, 2 ) - 2*c*e*l*m*pow(v, 2 )*pow(y, 2 ) - 2*c*e*o*r*pow(v, 2 )*pow(w, 2 ) - 2*d*e*i*j*pow(w, 2 )*pow(x, 2 ) - 2*d*e*k*m*pow(v, 2 )*pow(x, 2 ) - 2*d*e*o*p*pow(v, 2 )*pow(w, 2 ) - 2*g*h*k*o*pow(u, 2 )*pow(z, 2 ) - 2*g*h*m*p*pow(u, 2 )*pow(y, 2 ) - 2*g*i*l*o*pow(u, 2 )*pow(z, 2 ) - 2*g*i*m*r*pow(u, 2 )*pow(x, 2 ) - 2*g*j*k*r*pow(u, 2 )*pow(x, 2 ) - 2*g*j*l*p*pow(u, 2 )*pow(y, 2 ) - 2*h*i*k*l*pow(u, 2 )*pow(z, 2 ) - 2*h*i*p*r*pow(u, 2 )*pow(w, 2 ) - 2*h*j*l*m*pow(u, 2 )*pow(y, 2 ) - 2*h*j*o*r*pow(u, 2 )*pow(w, 2 ) - 2*i*j*k*m*pow(u, 2 )*pow(x, 2 ) - 2*i*j*o*p*pow(u, 2 )*pow(w, 2 ) - 2*k*l*p*r*pow(u, 2 )*pow(v, 2 ) - 2*k*m*o*p*pow(u, 2 )*pow(v, 2 ) - 2*l*m*o*r*pow(u, 2 )*pow(v, 2 ) + 2*a*b*g*pow(x, 2 )*pow(y, 2 )*pow(z, 2 ) + 2*a*b*h*k*o*pow(z, 2 ) + 2*a*b*h*m*p*pow(y, 2 ) + 2*a*b*i*l*o*pow(z, 2 ) + 2*a*b*i*m*r*pow(x, 2 ) + 2*a*b*j*k*r*pow(x, 2 ) + 2*a*b*j*l*p*pow(y, 2 ) + 2*a*c*g*k*o*pow(z, 2 ) + 2*a*c*g*m*p*pow(y, 2 ) + 2*a*c*h*pow(w, 2 )*pow(y, 2 )*pow(z, 2 ) + 2*a*c*i*k*l*pow(z, 2 ) + 2*a*c*i*p*r*pow(w, 2 ) + 2*a*c*j*l*m*pow(y, 2 ) + 2*a*c*j*o*r*pow(w, 2 ) + 2*a*d*g*l*o*pow(z, 2 ) + 2*a*d*g*m*r*pow(x, 2 ) + 2*a*d*h*k*l*pow(z, 2 ) + 2*a*d*h*p*r*pow(w, 2 ) + 2*a*d*i*pow(w, 2 )*pow(x, 2 )*pow(z, 2 ) + 2*a*d*j*k*m*pow(x, 2 ) + 2*a*d*j*o*p*pow(w, 2 ) + 2*a*e*g*k*r*pow(x, 2 ) + 2*a*e*g*l*p*pow(y, 2 ) + 2*a*e*h*l*m*pow(y, 2 ) + 2*a*e*h*o*r*pow(w, 2 ) + 2*a*e*i*k*m*pow(x, 2 ) + 2*a*e*i*o*p*pow(w, 2 ) + 2*a*e*j*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) + 2*b*c*g*i*o*pow(z, 2 ) + 2*b*c*g*j*p*pow(y, 2 ) + 2*b*c*h*i*k*pow(z, 2 ) + 2*b*c*h*j*m*pow(y, 2 ) + 2*b*c*k*p*r*pow(v, 2 ) + 2*b*c*l*pow(v, 2 )*pow(y, 2 )*pow(z, 2 ) + 2*b*c*m*o*r*pow(v, 2 ) + 2*b*d*g*h*o*pow(z, 2 ) + 2*b*d*g*j*r*pow(x, 2 ) + 2*b*d*h*i*l*pow(z, 2 ) + 2*b*d*i*j*m*pow(x, 2 ) + 2*b*d*k*pow(v, 2 )*pow(x, 2 )*pow(z, 2 ) + 2*b*d*l*p*r*pow(v, 2 ) + 2*b*d*m*o*p*pow(v, 2 ) + 2*b*e*g*h*p*pow(y, 2 ) + 2*b*e*g*i*r*pow(x, 2 ) + 2*b*e*h*j*l*pow(y, 2 ) + 2*b*e*i*j*k*pow(x, 2 ) + 2*b*e*k*o*p*pow(v, 2 ) + 2*b*e*l*o*r*pow(v, 2 ) + 2*b*e*m*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) + 2*c*d*g*h*k*pow(z, 2 ) + 2*c*d*g*i*l*pow(z, 2 ) + 2*c*d*h*j*r*pow(w, 2 ) + 2*c*d*i*j*p*pow(w, 2 ) + 2*c*d*k*m*p*pow(v, 2 ) + 2*c*d*l*m*r*pow(v, 2 ) + 2*c*d*o*pow(v, 2 )*pow(w, 2 )*pow(z, 2 ) + 2*c*e*g*h*m*pow(y, 2 ) + 2*c*e*g*j*l*pow(y, 2 ) + 2*c*e*h*i*r*pow(w, 2 ) + 2*c*e*i*j*o*pow(w, 2 ) + 2*c*e*k*l*r*pow(v, 2 ) + 2*c*e*k*m*o*pow(v, 2 ) + 2*c*e*p*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) + 2*d*e*g*i*m*pow(x, 2 ) + 2*d*e*g*j*k*pow(x, 2 ) + 2*d*e*h*i*p*pow(w, 2 ) + 2*d*e*h*j*o*pow(w, 2 ) + 2*d*e*k*l*p*pow(v, 2 ) + 2*d*e*l*m*o*pow(v, 2 ) + 2*d*e*r*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) + 2*g*h*k*p*r*pow(u, 2 ) + 2*g*h*l*pow(u, 2 )*pow(y, 2 )*pow(z, 2 ) + 2*g*h*m*o*r*pow(u, 2 ) + 2*g*i*k*pow(u, 2 )*pow(x, 2 )*pow(z, 2 ) + 2*g*i*l*p*r*pow(u, 2 ) + 2*g*i*m*o*p*pow(u, 2 ) + 2*g*j*k*o*p*pow(u, 2 ) + 2*g*j*l*o*r*pow(u, 2 ) + 2*g*j*m*pow(u, 2 )*pow(x, 2 )*pow(y, 2 ) + 2*h*i*k*m*p*pow(u, 2 ) + 2*h*i*l*m*r*pow(u, 2 ) + 2*h*i*o*pow(u, 2 )*pow(w, 2 )*pow(z, 2 ) + 2*h*j*k*l*r*pow(u, 2 ) + 2*h*j*k*m*o*pow(u, 2 ) + 2*h*j*p*pow(u, 2 )*pow(w, 2 )*pow(y, 2 ) + 2*i*j*k*l*p*pow(u, 2 ) + 2*i*j*l*m*o*pow(u, 2 ) + 2*i*j*r*pow(u, 2 )*pow(w, 2 )*pow(x, 2 ) + 2*k*l*o*pow(u, 2 )*pow(v, 2 )*pow(z, 2 ) + 2*k*m*r*pow(u, 2 )*pow(v, 2 )*pow(x, 2 ) + 2*l*m*p*pow(u, 2 )*pow(v, 2 )*pow(y, 2 ) + 2*o*p*r*pow(u, 2 )*pow(v, 2 )*pow(w, 2 );
second = -2*a*b*h*k*q*s - 2*a*b*h*n*o*s - 2*a*b*i*l*q*s - 2*a*b*i*n*o*q - 2*a*b*k*l*o*s - 2*a*c*g*k*q*s - 2*a*c*g*n*o*s - 2*a*c*i*k*n*q - 2*a*c*i*l*n*s - 2*a*d*g*l*q*s - 2*a*d*g*n*o*q - 2*a*d*h*k*n*q - 2*a*d*h*l*n*s - 2*a*d*k*l*n*o - 2*a*f*g*k*o*q - 2*a*f*g*l*o*s - 2*a*f*h*k*l*s - 2*a*f*h*k*n*o - 2*a*f*i*k*l*q - 2*a*f*i*l*n*o - 2*b*c*g*i*q*s - 2*b*c*g*k*o*s - 2*b*c*h*i*n*s - 2*b*c*i*k*n*o - 2*b*d*g*h*q*s - 2*b*d*g*k*o*q - 2*b*d*h*i*n*q - 2*b*d*h*k*l*s - 2*b*d*h*k*n*o - 2*b*d*i*k*l*q - 2*b*f*g*h*o*s - 2*b*f*g*i*o*q - 2*b*f*h*i*k*q - 2*b*f*h*i*l*s - 2*b*f*i*k*l*o - 2*c*d*g*h*n*s - 2*c*d*g*i*n*q - 2*c*d*g*k*l*s - 2*c*d*i*k*l*n - 2*c*f*g*h*k*s - 2*c*f*g*i*l*s - 2*c*f*g*i*n*o - 2*c*f*h*i*k*n - 2*d*f*g*h*k*q - 2*d*f*g*h*n*o - 2*d*f*g*i*l*q - 2*d*f*g*k*l*o - 2*d*f*h*i*l*n + 4*a*b*g*o*q*s + 4*a*c*h*k*n*s + 4*a*d*i*l*n*q + 4*b*c*i*k*l*s + 4*b*f*h*i*n*o + 4*c*d*g*k*n*o + 4*c*f*g*i*k*q + 4*d*f*g*h*l*s + pow(k, 4 )*pow(u, 2 )*pow(x, 2 ) - pow(a, 2 )*pow(k, 2 )*pow(q, 2 ) - pow(a, 2 )*pow(l, 2 )*pow(s, 2 ) - pow(a, 2 )*pow(n, 2 )*pow(o, 2 ) - pow(b, 2 )*pow(h, 2 )*pow(s, 2 ) - pow(b, 2 )*pow(i, 2 )*pow(q, 2 ) - pow(b, 2 )*pow(k, 2 )*pow(o, 2 ) - pow(c, 2 )*pow(g, 2 )*pow(s, 2 ) - pow(c, 2 )*pow(i, 2 )*pow(n, 2 ) - pow(d, 2 )*pow(g, 2 )*pow(q, 2 ) - pow(d, 2 )*pow(h, 2 )*pow(n, 2 ) - pow(d, 2 )*pow(k, 2 )*pow(l, 2 ) - pow(f, 2 )*pow(g, 2 )*pow(o, 2 ) - pow(f, 2 )*pow(h, 2 )*pow(k, 2 ) - pow(f, 2 )*pow(i, 2 )*pow(l, 2 ) + pow(A, 2 )*pow(a, 2 )*pow(k, 2 )*pow(x, 2 ) + pow(A, 2 )*pow(a, 2 )*pow(l, 2 )*pow(y, 2 ) + pow(A, 2 )*pow(a, 2 )*pow(o, 2 )*pow(w, 2 ) + pow(A, 2 )*pow(b, 2 )*pow(h, 2 )*pow(y, 2 ) + pow(A, 2 )*pow(b, 2 )*pow(i, 2 )*pow(x, 2 ) + pow(A, 2 )*pow(b, 2 )*pow(o, 2 )*pow(v, 2 ) + pow(A, 2 )*pow(c, 2 )*pow(g, 2 )*pow(y, 2 ) + pow(A, 2 )*pow(c, 2 )*pow(i, 2 )*pow(w, 2 ) + pow(A, 2 )*pow(c, 2 )*pow(k, 2 )*pow(v, 2 ) + pow(A, 2 )*pow(d, 2 )*pow(g, 2 )*pow(x, 2 ) + pow(A, 2 )*pow(d, 2 )*pow(h, 2 )*pow(w, 2 ) + pow(A, 2 )*pow(d, 2 )*pow(l, 2 )*pow(v, 2 ) + pow(A, 2 )*pow(g, 2 )*pow(o, 2 )*pow(u, 2 ) + pow(A, 2 )*pow(h, 2 )*pow(k, 2 )*pow(u, 2 ) + pow(A, 2 )*pow(i, 2 )*pow(l, 2 )*pow(u, 2 ) + pow(a, 2 )*pow(n, 2 )*pow(x, 2 )*pow(y, 2 ) + pow(a, 2 )*pow(q, 2 )*pow(w, 2 )*pow(y, 2 ) + pow(a, 2 )*pow(s, 2 )*pow(w, 2 )*pow(x, 2 ) + pow(b, 2 )*pow(k, 2 )*pow(x, 2 )*pow(y, 2 ) + pow(b, 2 )*pow(q, 2 )*pow(v, 2 )*pow(y, 2 ) + pow(b, 2 )*pow(s, 2 )*pow(v, 2 )*pow(x, 2 ) + pow(c, 2 )*pow(k, 2 )*pow(w, 2 )*pow(y, 2 ) + pow(c, 2 )*pow(n, 2 )*pow(v, 2 )*pow(y, 2 ) + pow(c, 2 )*pow(s, 2 )*pow(v, 2 )*pow(w, 2 ) + pow(d, 2 )*pow(k, 2 )*pow(w, 2 )*pow(x, 2 ) + pow(d, 2 )*pow(n, 2 )*pow(v, 2 )*pow(x, 2 ) + pow(d, 2 )*pow(q, 2 )*pow(v, 2 )*pow(w, 2 ) + pow(f, 2 )*pow(g, 2 )*pow(x, 2 )*pow(y, 2 ) + pow(f, 2 )*pow(h, 2 )*pow(w, 2 )*pow(y, 2 ) + pow(f, 2 )*pow(i, 2 )*pow(w, 2 )*pow(x, 2 ) + pow(f, 2 )*pow(k, 2 )*pow(v, 2 )*pow(x, 2 ) + pow(f, 2 )*pow(l, 2 )*pow(v, 2 )*pow(y, 2 ) + pow(f, 2 )*pow(o, 2 )*pow(v, 2 )*pow(w, 2 ) + pow(g, 2 )*pow(q, 2 )*pow(u, 2 )*pow(y, 2 ) + pow(g, 2 )*pow(s, 2 )*pow(u, 2 )*pow(x, 2 ) + pow(h, 2 )*pow(n, 2 )*pow(u, 2 )*pow(y, 2 ) + pow(h, 2 )*pow(s, 2 )*pow(u, 2 )*pow(w, 2 ) + pow(i, 2 )*pow(n, 2 )*pow(u, 2 )*pow(x, 2 ) + pow(i, 2 )*pow(q, 2 )*pow(u, 2 )*pow(w, 2 ) + pow(k, 2 )*pow(l, 2 )*pow(u, 2 )*pow(y, 2 ) + pow(k, 2 )*pow(o, 2 )*pow(u, 2 )*pow(w, 2 ) + pow(k, 2 )*pow(q, 2 )*pow(u, 2 )*pow(v, 2 ) + pow(l, 2 )*pow(s, 2 )*pow(u, 2 )*pow(v, 2 ) + pow(n, 2 )*pow(o, 2 )*pow(u, 2 )*pow(v, 2 ) - 2*a*f*pow(k, 3 )*pow(x, 2 ) - 2*b*d*pow(k, 3 )*pow(x, 2 ) - 2*h*q*pow(k, 3 )*pow(u, 2 ) - 2*l*o*pow(k, 3 )*pow(u, 2 ) + 2*g*s*pow(c, 2 )*pow(k, 2 ) + 2*i*n*pow(c, 2 )*pow(k, 2 ) - pow(A, 2 )*pow(a, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(A, 2 )*pow(b, 2 )*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(A, 2 )*pow(c, 2 )*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) - pow(A, 2 )*pow(d, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) - pow(A, 2 )*pow(g, 2 )*pow(u, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(A, 2 )*pow(h, 2 )*pow(u, 2 )*pow(w, 2 )*pow(y, 2 ) - pow(A, 2 )*pow(i, 2 )*pow(u, 2 )*pow(w, 2 )*pow(x, 2 ) - pow(A, 2 )*pow(k, 2 )*pow(u, 2 )*pow(v, 2 )*pow(x, 2 ) - pow(A, 2 )*pow(l, 2 )*pow(u, 2 )*pow(v, 2 )*pow(y, 2 ) - pow(A, 2 )*pow(o, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 ) - pow(f, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(k, 2 )*pow(u, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(n, 2 )*pow(u, 2 )*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) - pow(q, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) - pow(s, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) - 2*a*b*g*pow(A, 2 )*pow(o, 2 ) - 2*a*b*g*pow(q, 2 )*pow(y, 2 ) - 2*a*b*g*pow(s, 2 )*pow(x, 2 ) - 2*a*b*o*q*pow(k, 2 ) - 2*a*c*h*pow(A, 2 )*pow(k, 2 ) - 2*a*c*h*pow(n, 2 )*pow(y, 2 ) - 2*a*c*h*pow(s, 2 )*pow(w, 2 ) - 2*a*c*l*s*pow(k, 2 ) - 2*a*c*n*o*pow(k, 2 ) - 2*a*d*i*pow(A, 2 )*pow(l, 2 ) - 2*a*d*i*pow(n, 2 )*pow(x, 2 ) - 2*a*d*i*pow(q, 2 )*pow(w, 2 ) - 2*a*d*l*q*pow(k, 2 ) - 2*a*f*k*pow(l, 2 )*pow(y, 2 ) - 2*a*f*k*pow(o, 2 )*pow(w, 2 ) - 2*b*c*h*s*pow(k, 2 ) - 2*b*c*i*q*pow(k, 2 ) - 2*b*c*l*pow(A, 2 )*pow(i, 2 ) - 2*b*c*l*pow(k, 2 )*pow(y, 2 ) - 2*b*c*l*pow(s, 2 )*pow(v, 2 ) - 2*b*d*k*pow(A, 2 )*pow(h, 2 ) - 2*b*d*k*pow(q, 2 )*pow(v, 2 ) - 2*b*f*h*o*pow(k, 2 ) - 2*b*f*n*pow(h, 2 )*pow(y, 2 ) - 2*b*f*n*pow(i, 2 )*pow(x, 2 ) - 2*b*f*n*pow(o, 2 )*pow(v, 2 ) - 2*c*d*g*q*pow(k, 2 ) - 2*c*d*h*n*pow(k, 2 ) - 2*c*d*o*pow(A, 2 )*pow(g, 2 ) - 2*c*d*o*pow(k, 2 )*pow(w, 2 ) - 2*c*d*o*pow(n, 2 )*pow(v, 2 ) - 2*c*f*g*o*pow(k, 2 ) - 2*c*f*i*l*pow(k, 2 ) - 2*c*f*q*pow(g, 2 )*pow(y, 2 ) - 2*c*f*q*pow(i, 2 )*pow(w, 2 ) - 2*c*f*q*pow(k, 2 )*pow(v, 2 ) - 2*d*f*h*l*pow(k, 2 ) - 2*d*f*s*pow(g, 2 )*pow(x, 2 ) - 2*d*f*s*pow(h, 2 )*pow(w, 2 ) - 2*d*f*s*pow(l, 2 )*pow(v, 2 ) - 2*g*h*l*pow(A, 2 )*pow(d, 2 ) - 2*g*h*l*pow(f, 2 )*pow(y, 2 ) - 2*g*h*l*pow(s, 2 )*pow(u, 2 ) - 2*g*i*k*pow(A, 2 )*pow(c, 2 ) - 2*g*i*k*pow(f, 2 )*pow(x, 2 ) - 2*g*i*k*pow(q, 2 )*pow(u, 2 ) - 2*g*k*n*pow(c, 2 )*pow(y, 2 ) - 2*g*k*n*pow(d, 2 )*pow(x, 2 ) - 2*g*k*n*pow(o, 2 )*pow(u, 2 ) - 2*g*s*pow(k, 2 )*pow(u, 2 )*pow(x, 2 ) - 2*h*i*o*pow(A, 2 )*pow(b, 2 ) - 2*h*i*o*pow(f, 2 )*pow(w, 2 ) - 2*h*i*o*pow(n, 2 )*pow(u, 2 ) - 2*h*k*q*pow(b, 2 )*pow(y, 2 ) - 2*h*k*q*pow(d, 2 )*pow(w, 2 ) - 2*i*k*s*pow(b, 2 )*pow(x, 2 ) - 2*i*k*s*pow(c, 2 )*pow(w, 2 ) - 2*i*k*s*pow(l, 2 )*pow(u, 2 ) - 2*i*n*pow(k, 2 )*pow(u, 2 )*pow(x, 2 ) - 2*k*l*o*pow(A, 2 )*pow(a, 2 ) - 2*k*l*o*pow(f, 2 )*pow(v, 2 ) - 2*k*n*s*pow(a, 2 )*pow(x, 2 ) - 2*k*n*s*pow(c, 2 )*pow(v, 2 ) - 2*k*n*s*pow(h, 2 )*pow(u, 2 ) - 2*l*n*q*pow(a, 2 )*pow(y, 2 ) - 2*l*n*q*pow(d, 2 )*pow(v, 2 ) - 2*l*n*q*pow(i, 2 )*pow(u, 2 ) - 2*o*q*s*pow(a, 2 )*pow(w, 2 ) - 2*o*q*s*pow(b, 2 )*pow(v, 2 ) - 2*o*q*s*pow(g, 2 )*pow(u, 2 ) + 2*a*b*h*l*pow(s, 2 ) + 2*a*b*i*k*pow(q, 2 ) + 2*a*b*k*n*pow(o, 2 ) + 2*a*b*s*pow(k, 2 )*pow(x, 2 ) + 2*a*c*g*l*pow(s, 2 ) + 2*a*c*i*o*pow(n, 2 ) + 2*a*d*g*k*pow(q, 2 ) + 2*a*d*h*o*pow(n, 2 ) + 2*a*d*k*s*pow(l, 2 ) + 2*a*d*n*pow(k, 2 )*pow(x, 2 ) + 2*a*f*g*n*pow(o, 2 ) + 2*a*f*h*q*pow(k, 2 ) + 2*a*f*i*s*pow(l, 2 ) + 2*b*c*g*h*pow(s, 2 ) + 2*b*c*n*q*pow(i, 2 ) + 2*b*d*g*i*pow(q, 2 ) + 2*b*d*l*o*pow(k, 2 ) + 2*b*d*n*s*pow(h, 2 ) + 2*b*f*g*k*pow(o, 2 ) + 2*b*f*i*pow(k, 2 )*pow(x, 2 ) + 2*b*f*k*s*pow(h, 2 ) + 2*b*f*l*q*pow(i, 2 ) + 2*c*d*h*i*pow(n, 2 ) + 2*c*d*q*s*pow(g, 2 ) + 2*c*f*l*n*pow(i, 2 ) + 2*c*f*o*s*pow(g, 2 ) + 2*d*f*g*pow(k, 2 )*pow(x, 2 ) + 2*d*f*i*k*pow(l, 2 ) + 2*d*f*k*n*pow(h, 2 ) + 2*d*f*o*q*pow(g, 2 ) + 2*g*h*k*o*pow(f, 2 ) + 2*g*h*n*q*pow(d, 2 ) + 2*g*i*l*o*pow(f, 2 ) + 2*g*i*n*s*pow(c, 2 ) + 2*g*k*l*q*pow(d, 2 ) + 2*g*o*q*pow(k, 2 )*pow(u, 2 ) + 2*h*i*k*l*pow(f, 2 ) + 2*h*i*q*s*pow(b, 2 ) + 2*h*k*l*n*pow(d, 2 ) + 2*h*k*o*s*pow(b, 2 ) + 2*h*l*s*pow(k, 2 )*pow(u, 2 ) + 2*h*n*o*pow(k, 2 )*pow(u, 2 ) + 2*i*k*o*q*pow(b, 2 ) + 2*i*l*q*pow(k, 2 )*pow(u, 2 ) + 2*k*l*q*s*pow(a, 2 ) + 2*k*n*o*q*pow(a, 2 ) + 2*l*n*o*s*pow(a, 2 ) + 4*a*f*l*o*pow(k, 2 ) + 4*b*d*h*q*pow(k, 2 ) + pow(A, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - 2*a*b*h*l*pow(A, 2 )*pow(y, 2 ) - 2*a*b*i*k*pow(A, 2 )*pow(x, 2 ) - 2*a*b*k*n*pow(x, 2 )*pow(y, 2 ) - 2*a*c*g*l*pow(A, 2 )*pow(y, 2 ) - 2*a*c*i*o*pow(A, 2 )*pow(w, 2 ) - 2*a*c*k*q*pow(w, 2 )*pow(y, 2 ) - 2*a*d*g*k*pow(A, 2 )*pow(x, 2 ) - 2*a*d*h*o*pow(A, 2 )*pow(w, 2 ) - 2*a*d*k*s*pow(w, 2 )*pow(x, 2 ) - 2*a*f*g*n*pow(x, 2 )*pow(y, 2 ) - 2*a*f*h*q*pow(w, 2 )*pow(y, 2 ) - 2*a*f*i*s*pow(w, 2 )*pow(x, 2 ) - 2*b*c*g*h*pow(A, 2 )*pow(y, 2 ) - 2*b*c*k*o*pow(A, 2 )*pow(v, 2 ) - 2*b*c*n*q*pow(v, 2 )*pow(y, 2 ) - 2*b*d*g*i*pow(A, 2 )*pow(x, 2 ) - 2*b*d*l*o*pow(A, 2 )*pow(v, 2 ) - 2*b*d*n*s*pow(v, 2 )*pow(x, 2 ) - 2*b*f*g*k*pow(x, 2 )*pow(y, 2 ) - 2*b*f*k*s*pow(v, 2 )*pow(x, 2 ) - 2*b*f*l*q*pow(v, 2 )*pow(y, 2 ) - 2*c*d*h*i*pow(A, 2 )*pow(w, 2 ) - 2*c*d*k*l*pow(A, 2 )*pow(v, 2 ) - 2*c*d*q*s*pow(v, 2 )*pow(w, 2 ) - 2*c*f*h*k*pow(w, 2 )*pow(y, 2 ) - 2*c*f*l*n*pow(v, 2 )*pow(y, 2 ) - 2*c*f*o*s*pow(v, 2 )*pow(w, 2 ) - 2*d*f*i*k*pow(w, 2 )*pow(x, 2 ) - 2*d*f*k*n*pow(v, 2 )*pow(x, 2 ) - 2*d*f*o*q*pow(v, 2 )*pow(w, 2 ) - 2*g*h*k*o*pow(A, 2 )*pow(u, 2 ) - 2*g*h*n*q*pow(u, 2 )*pow(y, 2 ) - 2*g*i*l*o*pow(A, 2 )*pow(u, 2 ) - 2*g*i*n*s*pow(u, 2 )*pow(x, 2 ) - 2*g*k*l*q*pow(u, 2 )*pow(y, 2 ) - 2*h*i*k*l*pow(A, 2 )*pow(u, 2 ) - 2*h*i*q*s*pow(u, 2 )*pow(w, 2 ) - 2*h*k*l*n*pow(u, 2 )*pow(y, 2 ) - 2*h*k*o*s*pow(u, 2 )*pow(w, 2 ) - 2*i*k*o*q*pow(u, 2 )*pow(w, 2 ) - 2*k*l*q*s*pow(u, 2 )*pow(v, 2 ) - 2*k*n*o*q*pow(u, 2 )*pow(v, 2 ) - 2*l*n*o*s*pow(u, 2 )*pow(v, 2 ) + 2*a*b*g*pow(A, 2 )*pow(x, 2 )*pow(y, 2 ) + 2*a*b*h*k*o*pow(A, 2 ) + 2*a*b*h*n*q*pow(y, 2 ) + 2*a*b*i*l*o*pow(A, 2 ) + 2*a*b*i*n*s*pow(x, 2 ) + 2*a*b*k*l*q*pow(y, 2 ) + 2*a*c*g*k*o*pow(A, 2 ) + 2*a*c*g*n*q*pow(y, 2 ) + 2*a*c*h*pow(A, 2 )*pow(w, 2 )*pow(y, 2 ) + 2*a*c*i*k*l*pow(A, 2 ) + 2*a*c*i*q*s*pow(w, 2 ) + 2*a*c*k*l*n*pow(y, 2 ) + 2*a*c*k*o*s*pow(w, 2 ) + 2*a*d*g*l*o*pow(A, 2 ) + 2*a*d*g*n*s*pow(x, 2 ) + 2*a*d*h*k*l*pow(A, 2 ) + 2*a*d*h*q*s*pow(w, 2 ) + 2*a*d*i*pow(A, 2 )*pow(w, 2 )*pow(x, 2 ) + 2*a*d*k*o*q*pow(w, 2 ) + 2*a*f*g*k*s*pow(x, 2 ) + 2*a*f*g*l*q*pow(y, 2 ) + 2*a*f*h*l*n*pow(y, 2 ) + 2*a*f*h*o*s*pow(w, 2 ) + 2*a*f*i*k*n*pow(x, 2 ) + 2*a*f*i*o*q*pow(w, 2 ) + 2*a*f*k*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) + 2*b*c*g*i*o*pow(A, 2 ) + 2*b*c*g*k*q*pow(y, 2 ) + 2*b*c*h*i*k*pow(A, 2 ) + 2*b*c*h*k*n*pow(y, 2 ) + 2*b*c*k*q*s*pow(v, 2 ) + 2*b*c*l*pow(A, 2 )*pow(v, 2 )*pow(y, 2 ) + 2*b*c*n*o*s*pow(v, 2 ) + 2*b*d*g*h*o*pow(A, 2 ) + 2*b*d*g*k*s*pow(x, 2 ) + 2*b*d*h*i*l*pow(A, 2 ) + 2*b*d*i*k*n*pow(x, 2 ) + 2*b*d*k*pow(A, 2 )*pow(v, 2 )*pow(x, 2 ) + 2*b*d*l*q*s*pow(v, 2 ) + 2*b*d*n*o*q*pow(v, 2 ) + 2*b*f*g*h*q*pow(y, 2 ) + 2*b*f*g*i*s*pow(x, 2 ) + 2*b*f*h*k*l*pow(y, 2 ) + 2*b*f*k*o*q*pow(v, 2 ) + 2*b*f*l*o*s*pow(v, 2 ) + 2*b*f*n*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) + 2*c*d*g*h*k*pow(A, 2 ) + 2*c*d*g*i*l*pow(A, 2 ) + 2*c*d*h*k*s*pow(w, 2 ) + 2*c*d*i*k*q*pow(w, 2 ) + 2*c*d*k*n*q*pow(v, 2 ) + 2*c*d*l*n*s*pow(v, 2 ) + 2*c*d*o*pow(A, 2 )*pow(v, 2 )*pow(w, 2 ) + 2*c*f*g*h*n*pow(y, 2 ) + 2*c*f*g*k*l*pow(y, 2 ) + 2*c*f*h*i*s*pow(w, 2 ) + 2*c*f*i*k*o*pow(w, 2 ) + 2*c*f*k*l*s*pow(v, 2 ) + 2*c*f*k*n*o*pow(v, 2 ) + 2*c*f*q*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) + 2*d*f*g*i*n*pow(x, 2 ) + 2*d*f*h*i*q*pow(w, 2 ) + 2*d*f*h*k*o*pow(w, 2 ) + 2*d*f*k*l*q*pow(v, 2 ) + 2*d*f*l*n*o*pow(v, 2 ) + 2*d*f*s*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) + 2*g*h*k*q*s*pow(u, 2 ) + 2*g*h*l*pow(A, 2 )*pow(u, 2 )*pow(y, 2 ) + 2*g*h*n*o*s*pow(u, 2 ) + 2*g*i*k*pow(A, 2 )*pow(u, 2 )*pow(x, 2 ) + 2*g*i*l*q*s*pow(u, 2 ) + 2*g*i*n*o*q*pow(u, 2 ) + 2*g*k*l*o*s*pow(u, 2 ) + 2*g*k*n*pow(u, 2 )*pow(x, 2 )*pow(y, 2 ) + 2*h*i*k*n*q*pow(u, 2 ) + 2*h*i*l*n*s*pow(u, 2 ) + 2*h*i*o*pow(A, 2 )*pow(u, 2 )*pow(w, 2 ) + 2*h*k*q*pow(u, 2 )*pow(w, 2 )*pow(y, 2 ) + 2*i*k*l*n*o*pow(u, 2 ) + 2*i*k*s*pow(u, 2 )*pow(w, 2 )*pow(x, 2 ) + 2*k*l*o*pow(A, 2 )*pow(u, 2 )*pow(v, 2 ) + 2*k*n*s*pow(u, 2 )*pow(v, 2 )*pow(x, 2 ) + 2*l*n*q*pow(u, 2 )*pow(v, 2 )*pow(y, 2 ) + 2*o*q*s*pow(u, 2 )*pow(v, 2 )*pow(w, 2 ) + 2*a*c*q*pow(k, 3 ) + 2*b*c*o*pow(k, 3 ) + 2*c*d*l*pow(k, 3 ) + 2*c*f*h*pow(k, 3 ) - pow(c, 2 )*pow(k, 4 );
third = -a*b*h*k*p*s - a*b*h*k*q*r - a*b*h*m*o*s - a*b*h*n*o*r - a*b*i*l*p*s - a*b*i*l*q*r - a*b*i*m*o*q - a*b*i*n*o*p - a*b*j*k*o*q - a*b*j*l*o*s - a*b*k*l*o*r - a*c*g*k*p*s - a*c*g*k*q*r - a*c*g*m*o*s - a*c*g*n*o*r - a*c*i*k*m*q - a*c*i*k*n*p - a*c*i*l*m*s - a*c*i*l*n*r - a*c*j*k*l*s - a*c*j*k*n*o - a*d*g*l*p*s - a*d*g*l*q*r - a*d*g*m*o*q - a*d*g*n*o*p - a*d*h*k*m*q - a*d*h*k*n*p - a*d*h*l*m*s - a*d*h*l*n*r - a*d*j*k*l*q - a*d*j*l*n*o - a*d*k*l*m*o - a*e*g*k*o*q - a*e*g*l*o*s - a*e*h*k*l*s - a*e*h*k*n*o - a*e*i*k*l*q - a*e*i*l*n*o - a*f*g*k*o*p - a*f*g*l*o*r - a*f*h*k*l*r - a*f*h*k*m*o - a*f*i*k*l*p - a*f*i*l*m*o - b*c*g*i*p*s - b*c*g*i*q*r - b*c*g*j*o*s - b*c*g*k*o*r - b*c*h*i*m*s - b*c*h*i*n*r - b*c*h*j*k*s - b*c*i*j*k*q - b*c*i*j*n*o - b*c*i*k*m*o - b*d*g*h*p*s - b*d*g*h*q*r - b*d*g*j*o*q - b*d*g*k*o*p - b*d*h*i*m*q - b*d*h*i*n*p - b*d*h*j*l*s - b*d*h*j*n*o - b*d*h*k*l*r - b*d*h*k*m*o - b*d*i*j*l*q - b*d*i*k*l*p - b*e*g*h*o*s - b*e*g*i*o*q - b*e*h*i*k*q - b*e*h*i*l*s - b*e*i*k*l*o - b*f*g*h*o*r - b*f*g*i*o*p - b*f*h*i*k*p - b*f*h*i*l*r - b*f*h*j*k*o - b*f*i*j*l*o - c*d*g*h*m*s - c*d*g*h*n*r - c*d*g*i*m*q - c*d*g*i*n*p - c*d*g*j*k*q - c*d*g*j*l*s - c*d*g*k*l*r - c*d*h*j*k*n - c*d*i*j*l*n - c*d*i*k*l*m - c*e*g*h*k*s - c*e*g*i*l*s - c*e*g*i*n*o - c*e*h*i*k*n - c*f*g*h*k*r - c*f*g*i*l*r - c*f*g*i*m*o - c*f*g*j*k*o - c*f*h*i*k*m - c*f*i*j*k*l - d*e*g*h*k*q - d*e*g*h*n*o - d*e*g*i*l*q - d*e*g*k*l*o - d*e*h*i*l*n - d*f*g*h*k*p - d*f*g*h*m*o - d*f*g*i*l*p - d*f*g*j*l*o - d*f*h*i*l*m - d*f*h*j*k*l + 2*a*b*g*o*p*s + 2*a*b*g*o*q*r + 2*a*b*h*k*o*t + 2*a*b*h*l*r*s + 2*a*b*i*k*p*q + 2*a*b*i*l*o*t + 2*a*c*g*k*o*t + 2*a*c*g*l*r*s + 2*a*c*h*k*m*s + 2*a*c*h*k*n*r + 2*a*c*i*k*l*t + 2*a*c*i*m*n*o + 2*a*d*g*k*p*q + 2*a*d*g*l*o*t + 2*a*d*h*k*l*t + 2*a*d*h*m*n*o + 2*a*d*i*l*m*q + 2*a*d*i*l*n*p + 2*a*f*j*k*l*o + 2*b*c*g*h*r*s + 2*b*c*g*i*o*t + 2*b*c*h*i*k*t + 2*b*c*i*j*l*s + 2*b*c*i*k*l*r + 2*b*d*g*h*o*t + 2*b*d*g*i*p*q + 2*b*d*h*i*l*t + 2*b*d*h*j*k*q + 2*b*d*j*k*l*o + 2*b*e*h*i*n*o + 2*b*f*h*i*m*o + 2*c*d*g*h*k*t + 2*c*d*g*i*l*t + 2*c*d*g*j*n*o + 2*c*d*g*k*m*o + 2*c*d*h*i*m*n + 2*c*e*g*i*k*q + 2*c*f*g*i*k*p + 2*d*e*g*h*l*s + 2*d*f*g*h*l*r + 2*e*f*g*h*k*o + 2*e*f*g*i*l*o + 2*e*f*h*i*k*l + g*r*pow(c, 2 )*pow(k, 2 ) + i*m*pow(c, 2 )*pow(k, 2 ) + j*pow(k, 3 )*pow(u, 2 )*pow(x, 2 ) + t*pow(a, 2 )*pow(k, 2 )*pow(x, 2 ) + t*pow(a, 2 )*pow(l, 2 )*pow(y, 2 ) + t*pow(a, 2 )*pow(o, 2 )*pow(w, 2 ) + t*pow(b, 2 )*pow(h, 2 )*pow(y, 2 ) + t*pow(b, 2 )*pow(i, 2 )*pow(x, 2 ) + t*pow(b, 2 )*pow(o, 2 )*pow(v, 2 ) + t*pow(c, 2 )*pow(g, 2 )*pow(y, 2 ) + t*pow(c, 2 )*pow(i, 2 )*pow(w, 2 ) + t*pow(c, 2 )*pow(k, 2 )*pow(v, 2 ) + t*pow(d, 2 )*pow(g, 2 )*pow(x, 2 ) + t*pow(d, 2 )*pow(h, 2 )*pow(w, 2 ) + t*pow(d, 2 )*pow(l, 2 )*pow(v, 2 ) + t*pow(g, 2 )*pow(o, 2 )*pow(u, 2 ) + t*pow(h, 2 )*pow(k, 2 )*pow(u, 2 ) + t*pow(i, 2 )*pow(l, 2 )*pow(u, 2 ) - a*e*pow(k, 3 )*pow(x, 2 ) - e*f*pow(g, 2 )*pow(o, 2 ) - e*f*pow(h, 2 )*pow(k, 2 ) - e*f*pow(i, 2 )*pow(l, 2 ) - h*p*pow(k, 3 )*pow(u, 2 ) - j*k*pow(b, 2 )*pow(o, 2 ) - j*k*pow(d, 2 )*pow(l, 2 ) - m*n*pow(a, 2 )*pow(o, 2 ) - m*n*pow(c, 2 )*pow(i, 2 ) - m*n*pow(d, 2 )*pow(h, 2 ) - p*q*pow(a, 2 )*pow(k, 2 ) - p*q*pow(b, 2 )*pow(i, 2 ) - p*q*pow(d, 2 )*pow(g, 2 ) - r*s*pow(a, 2 )*pow(l, 2 ) - r*s*pow(b, 2 )*pow(h, 2 ) - r*s*pow(c, 2 )*pow(g, 2 ) + a*b*j*n*pow(o, 2 ) + a*b*k*m*pow(o, 2 ) + a*b*r*pow(k, 2 )*pow(x, 2 ) + a*c*j*q*pow(k, 2 ) + a*d*j*s*pow(l, 2 ) + a*d*k*r*pow(l, 2 ) + a*d*m*pow(k, 2 )*pow(x, 2 ) + a*e*g*n*pow(o, 2 ) + a*e*h*q*pow(k, 2 ) + a*e*i*s*pow(l, 2 ) + a*f*g*m*pow(o, 2 ) + a*f*h*p*pow(k, 2 ) + a*f*i*r*pow(l, 2 ) + b*c*m*q*pow(i, 2 ) + b*c*n*p*pow(i, 2 ) + b*d*m*s*pow(h, 2 ) + b*d*n*r*pow(h, 2 ) + b*e*g*k*pow(o, 2 ) + b*e*i*pow(k, 2 )*pow(x, 2 ) + b*e*k*s*pow(h, 2 ) + b*e*l*q*pow(i, 2 ) + b*f*g*j*pow(o, 2 ) + b*f*k*r*pow(h, 2 ) + b*f*l*p*pow(i, 2 ) + c*d*p*s*pow(g, 2 ) + c*d*q*r*pow(g, 2 ) + c*e*l*n*pow(i, 2 ) + c*e*o*s*pow(g, 2 ) + c*f*h*j*pow(k, 2 ) + c*f*l*m*pow(i, 2 ) + c*f*o*r*pow(g, 2 ) + d*e*g*pow(k, 2 )*pow(x, 2 ) + d*e*i*k*pow(l, 2 ) + d*e*k*n*pow(h, 2 ) + d*e*o*q*pow(g, 2 ) + d*f*i*j*pow(l, 2 ) + d*f*k*m*pow(h, 2 ) + d*f*o*p*pow(g, 2 ) + e*f*pow(g, 2 )*pow(x, 2 )*pow(y, 2 ) + e*f*pow(h, 2 )*pow(w, 2 )*pow(y, 2 ) + e*f*pow(i, 2 )*pow(w, 2 )*pow(x, 2 ) + e*f*pow(k, 2 )*pow(v, 2 )*pow(x, 2 ) + e*f*pow(l, 2 )*pow(v, 2 )*pow(y, 2 ) + e*f*pow(o, 2 )*pow(v, 2 )*pow(w, 2 ) + g*h*m*q*pow(d, 2 ) + g*h*n*p*pow(d, 2 ) + g*i*m*s*pow(c, 2 ) + g*i*n*r*pow(c, 2 ) + g*j*k*s*pow(c, 2 ) + g*j*l*q*pow(d, 2 ) + g*k*l*p*pow(d, 2 ) + g*o*p*pow(k, 2 )*pow(u, 2 ) + h*i*p*s*pow(b, 2 ) + h*i*q*r*pow(b, 2 ) + h*j*l*n*pow(d, 2 ) + h*j*o*s*pow(b, 2 ) + h*k*l*m*pow(d, 2 ) + h*k*o*r*pow(b, 2 ) + h*l*r*pow(k, 2 )*pow(u, 2 ) + h*m*o*pow(k, 2 )*pow(u, 2 ) + i*j*k*n*pow(c, 2 ) + i*j*o*q*pow(b, 2 ) + i*k*o*p*pow(b, 2 ) + i*l*p*pow(k, 2 )*pow(u, 2 ) + j*k*pow(b, 2 )*pow(x, 2 )*pow(y, 2 ) + j*k*pow(c, 2 )*pow(w, 2 )*pow(y, 2 ) + j*k*pow(d, 2 )*pow(w, 2 )*pow(x, 2 ) + j*k*pow(l, 2 )*pow(u, 2 )*pow(y, 2 ) + j*k*pow(o, 2 )*pow(u, 2 )*pow(w, 2 ) + k*l*p*s*pow(a, 2 ) + k*l*q*r*pow(a, 2 ) + k*m*o*q*pow(a, 2 ) + k*n*o*p*pow(a, 2 ) + l*m*o*s*pow(a, 2 ) + l*n*o*r*pow(a, 2 ) + m*n*pow(a, 2 )*pow(x, 2 )*pow(y, 2 ) + m*n*pow(c, 2 )*pow(v, 2 )*pow(y, 2 ) + m*n*pow(d, 2 )*pow(v, 2 )*pow(x, 2 ) + m*n*pow(h, 2 )*pow(u, 2 )*pow(y, 2 ) + m*n*pow(i, 2 )*pow(u, 2 )*pow(x, 2 ) + m*n*pow(o, 2 )*pow(u, 2 )*pow(v, 2 ) + p*q*pow(a, 2 )*pow(w, 2 )*pow(y, 2 ) + p*q*pow(b, 2 )*pow(v, 2 )*pow(y, 2 ) + p*q*pow(d, 2 )*pow(v, 2 )*pow(w, 2 ) + p*q*pow(g, 2 )*pow(u, 2 )*pow(y, 2 ) + p*q*pow(i, 2 )*pow(u, 2 )*pow(w, 2 ) + p*q*pow(k, 2 )*pow(u, 2 )*pow(v, 2 ) + r*s*pow(a, 2 )*pow(w, 2 )*pow(x, 2 ) + r*s*pow(b, 2 )*pow(v, 2 )*pow(x, 2 ) + r*s*pow(c, 2 )*pow(v, 2 )*pow(w, 2 ) + r*s*pow(g, 2 )*pow(u, 2 )*pow(x, 2 ) + r*s*pow(h, 2 )*pow(u, 2 )*pow(w, 2 ) + r*s*pow(l, 2 )*pow(u, 2 )*pow(v, 2 ) - a*b*o*p*pow(k, 2 ) - a*c*l*r*pow(k, 2 ) - a*c*m*o*pow(k, 2 ) - a*d*l*p*pow(k, 2 ) - a*e*k*pow(l, 2 )*pow(y, 2 ) - a*e*k*pow(o, 2 )*pow(w, 2 ) - a*f*j*pow(k, 2 )*pow(x, 2 ) - a*f*j*pow(l, 2 )*pow(y, 2 ) - a*f*j*pow(o, 2 )*pow(w, 2 ) - b*c*h*r*pow(k, 2 ) - b*c*i*p*pow(k, 2 ) - b*e*h*o*pow(k, 2 ) - b*e*n*pow(h, 2 )*pow(y, 2 ) - b*e*n*pow(i, 2 )*pow(x, 2 ) - b*e*n*pow(o, 2 )*pow(v, 2 ) - b*f*m*pow(h, 2 )*pow(y, 2 ) - b*f*m*pow(i, 2 )*pow(x, 2 ) - b*f*m*pow(o, 2 )*pow(v, 2 ) - c*d*g*p*pow(k, 2 ) - c*d*h*m*pow(k, 2 ) - c*e*g*o*pow(k, 2 ) - c*e*i*l*pow(k, 2 ) - c*e*q*pow(g, 2 )*pow(y, 2 ) - c*e*q*pow(i, 2 )*pow(w, 2 ) - c*e*q*pow(k, 2 )*pow(v, 2 ) - c*f*p*pow(g, 2 )*pow(y, 2 ) - c*f*p*pow(i, 2 )*pow(w, 2 ) - c*f*p*pow(k, 2 )*pow(v, 2 ) - d*e*h*l*pow(k, 2 ) - d*e*s*pow(g, 2 )*pow(x, 2 ) - d*e*s*pow(h, 2 )*pow(w, 2 ) - d*e*s*pow(l, 2 )*pow(v, 2 ) - d*f*r*pow(g, 2 )*pow(x, 2 ) - d*f*r*pow(h, 2 )*pow(w, 2 ) - d*f*r*pow(l, 2 )*pow(v, 2 ) - g*j*n*pow(c, 2 )*pow(y, 2 ) - g*j*n*pow(d, 2 )*pow(x, 2 ) - g*j*n*pow(o, 2 )*pow(u, 2 ) - g*k*m*pow(c, 2 )*pow(y, 2 ) - g*k*m*pow(d, 2 )*pow(x, 2 ) - g*k*m*pow(o, 2 )*pow(u, 2 ) - g*r*pow(k, 2 )*pow(u, 2 )*pow(x, 2 ) - h*j*q*pow(b, 2 )*pow(y, 2 ) - h*j*q*pow(d, 2 )*pow(w, 2 ) - h*j*q*pow(k, 2 )*pow(u, 2 ) - h*k*p*pow(b, 2 )*pow(y, 2 ) - h*k*p*pow(d, 2 )*pow(w, 2 ) - i*j*s*pow(b, 2 )*pow(x, 2 ) - i*j*s*pow(c, 2 )*pow(w, 2 ) - i*j*s*pow(l, 2 )*pow(u, 2 ) - i*k*r*pow(b, 2 )*pow(x, 2 ) - i*k*r*pow(c, 2 )*pow(w, 2 ) - i*k*r*pow(l, 2 )*pow(u, 2 ) - i*m*pow(k, 2 )*pow(u, 2 )*pow(x, 2 ) - k*m*s*pow(a, 2 )*pow(x, 2 ) - k*m*s*pow(c, 2 )*pow(v, 2 ) - k*m*s*pow(h, 2 )*pow(u, 2 ) - k*n*r*pow(a, 2 )*pow(x, 2 ) - k*n*r*pow(c, 2 )*pow(v, 2 ) - k*n*r*pow(h, 2 )*pow(u, 2 ) - l*m*q*pow(a, 2 )*pow(y, 2 ) - l*m*q*pow(d, 2 )*pow(v, 2 ) - l*m*q*pow(i, 2 )*pow(u, 2 ) - l*n*p*pow(a, 2 )*pow(y, 2 ) - l*n*p*pow(d, 2 )*pow(v, 2 ) - l*n*p*pow(i, 2 )*pow(u, 2 ) - o*p*s*pow(a, 2 )*pow(w, 2 ) - o*p*s*pow(b, 2 )*pow(v, 2 ) - o*p*s*pow(g, 2 )*pow(u, 2 ) - o*q*r*pow(a, 2 )*pow(w, 2 ) - o*q*r*pow(b, 2 )*pow(v, 2 ) - o*q*r*pow(g, 2 )*pow(u, 2 ) - t*pow(a, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - t*pow(b, 2 )*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) - t*pow(c, 2 )*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) - t*pow(d, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) - t*pow(g, 2 )*pow(u, 2 )*pow(x, 2 )*pow(y, 2 ) - t*pow(h, 2 )*pow(u, 2 )*pow(w, 2 )*pow(y, 2 ) - t*pow(i, 2 )*pow(u, 2 )*pow(w, 2 )*pow(x, 2 ) - t*pow(k, 2 )*pow(u, 2 )*pow(v, 2 )*pow(x, 2 ) - t*pow(l, 2 )*pow(u, 2 )*pow(v, 2 )*pow(y, 2 ) - t*pow(o, 2 )*pow(u, 2 )*pow(v, 2 )*pow(w, 2 ) - 2*a*b*g*t*pow(o, 2 ) - 2*a*c*h*t*pow(k, 2 ) - 2*a*d*i*t*pow(l, 2 ) - 2*b*c*l*t*pow(i, 2 ) - 2*b*d*j*pow(k, 2 )*pow(x, 2 ) - 2*b*d*k*t*pow(h, 2 ) - 2*c*d*o*t*pow(g, 2 ) - 2*g*h*l*t*pow(d, 2 ) - 2*g*i*k*t*pow(c, 2 ) - 2*h*i*o*t*pow(b, 2 ) - 2*j*l*o*pow(k, 2 )*pow(u, 2 ) - 2*k*l*o*t*pow(a, 2 ) + 2*a*e*l*o*pow(k, 2 ) + 2*b*c*j*o*pow(k, 2 ) + 2*b*d*h*p*pow(k, 2 ) + 2*c*d*j*l*pow(k, 2 ) + a*b*h*m*q*pow(y, 2 ) + a*b*h*n*p*pow(y, 2 ) + a*b*i*m*s*pow(x, 2 ) + a*b*i*n*r*pow(x, 2 ) + a*b*j*k*s*pow(x, 2 ) + a*b*j*l*q*pow(y, 2 ) + a*b*k*l*p*pow(y, 2 ) + a*c*g*m*q*pow(y, 2 ) + a*c*g*n*p*pow(y, 2 ) + a*c*i*p*s*pow(w, 2 ) + a*c*i*q*r*pow(w, 2 ) + a*c*j*l*n*pow(y, 2 ) + a*c*j*o*s*pow(w, 2 ) + a*c*k*l*m*pow(y, 2 ) + a*c*k*o*r*pow(w, 2 ) + a*d*g*m*s*pow(x, 2 ) + a*d*g*n*r*pow(x, 2 ) + a*d*h*p*s*pow(w, 2 ) + a*d*h*q*r*pow(w, 2 ) + a*d*j*k*n*pow(x, 2 ) + a*d*j*o*q*pow(w, 2 ) + a*d*k*o*p*pow(w, 2 ) + a*e*g*k*s*pow(x, 2 ) + a*e*g*l*q*pow(y, 2 ) + a*e*h*l*n*pow(y, 2 ) + a*e*h*o*s*pow(w, 2 ) + a*e*i*k*n*pow(x, 2 ) + a*e*i*o*q*pow(w, 2 ) + a*e*k*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) + a*f*g*k*r*pow(x, 2 ) + a*f*g*l*p*pow(y, 2 ) + a*f*h*l*m*pow(y, 2 ) + a*f*h*o*r*pow(w, 2 ) + a*f*i*k*m*pow(x, 2 ) + a*f*i*o*p*pow(w, 2 ) + a*f*j*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) + b*c*g*j*q*pow(y, 2 ) + b*c*g*k*p*pow(y, 2 ) + b*c*h*j*n*pow(y, 2 ) + b*c*h*k*m*pow(y, 2 ) + b*c*k*p*s*pow(v, 2 ) + b*c*k*q*r*pow(v, 2 ) + b*c*m*o*s*pow(v, 2 ) + b*c*n*o*r*pow(v, 2 ) + b*d*g*j*s*pow(x, 2 ) + b*d*g*k*r*pow(x, 2 ) + b*d*i*j*n*pow(x, 2 ) + b*d*i*k*m*pow(x, 2 ) + b*d*l*p*s*pow(v, 2 ) + b*d*l*q*r*pow(v, 2 ) + b*d*m*o*q*pow(v, 2 ) + b*d*n*o*p*pow(v, 2 ) + b*e*g*h*q*pow(y, 2 ) + b*e*g*i*s*pow(x, 2 ) + b*e*h*k*l*pow(y, 2 ) + b*e*k*o*q*pow(v, 2 ) + b*e*l*o*s*pow(v, 2 ) + b*e*n*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) + b*f*g*h*p*pow(y, 2 ) + b*f*g*i*r*pow(x, 2 ) + b*f*h*j*l*pow(y, 2 ) + b*f*i*j*k*pow(x, 2 ) + b*f*k*o*p*pow(v, 2 ) + b*f*l*o*r*pow(v, 2 ) + b*f*m*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) + c*d*h*j*s*pow(w, 2 ) + c*d*h*k*r*pow(w, 2 ) + c*d*i*j*q*pow(w, 2 ) + c*d*i*k*p*pow(w, 2 ) + c*d*k*m*q*pow(v, 2 ) + c*d*k*n*p*pow(v, 2 ) + c*d*l*m*s*pow(v, 2 ) + c*d*l*n*r*pow(v, 2 ) + c*e*g*h*n*pow(y, 2 ) + c*e*g*k*l*pow(y, 2 ) + c*e*h*i*s*pow(w, 2 ) + c*e*i*k*o*pow(w, 2 ) + c*e*k*l*s*pow(v, 2 ) + c*e*k*n*o*pow(v, 2 ) + c*e*q*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) + c*f*g*h*m*pow(y, 2 ) + c*f*g*j*l*pow(y, 2 ) + c*f*h*i*r*pow(w, 2 ) + c*f*i*j*o*pow(w, 2 ) + c*f*k*l*r*pow(v, 2 ) + c*f*k*m*o*pow(v, 2 ) + c*f*p*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) + d*e*g*i*n*pow(x, 2 ) + d*e*h*i*q*pow(w, 2 ) + d*e*h*k*o*pow(w, 2 ) + d*e*k*l*q*pow(v, 2 ) + d*e*l*n*o*pow(v, 2 ) + d*e*s*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) + d*f*g*i*m*pow(x, 2 ) + d*f*g*j*k*pow(x, 2 ) + d*f*h*i*p*pow(w, 2 ) + d*f*h*j*o*pow(w, 2 ) + d*f*k*l*p*pow(v, 2 ) + d*f*l*m*o*pow(v, 2 ) + d*f*r*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) + g*h*k*p*s*pow(u, 2 ) + g*h*k*q*r*pow(u, 2 ) + g*h*m*o*s*pow(u, 2 ) + g*h*n*o*r*pow(u, 2 ) + g*i*l*p*s*pow(u, 2 ) + g*i*l*q*r*pow(u, 2 ) + g*i*m*o*q*pow(u, 2 ) + g*i*n*o*p*pow(u, 2 ) + g*j*k*o*q*pow(u, 2 ) + g*j*l*o*s*pow(u, 2 ) + g*j*n*pow(u, 2 )*pow(x, 2 )*pow(y, 2 ) + g*k*l*o*r*pow(u, 2 ) + g*k*m*pow(u, 2 )*pow(x, 2 )*pow(y, 2 ) + h*i*k*m*q*pow(u, 2 ) + h*i*k*n*p*pow(u, 2 ) + h*i*l*m*s*pow(u, 2 ) + h*i*l*n*r*pow(u, 2 ) + h*j*k*l*s*pow(u, 2 ) + h*j*k*n*o*pow(u, 2 ) + h*j*q*pow(u, 2 )*pow(w, 2 )*pow(y, 2 ) + h*k*p*pow(u, 2 )*pow(w, 2 )*pow(y, 2 ) + i*j*k*l*q*pow(u, 2 ) + i*j*l*n*o*pow(u, 2 ) + i*j*s*pow(u, 2 )*pow(w, 2 )*pow(x, 2 ) + i*k*l*m*o*pow(u, 2 ) + i*k*r*pow(u, 2 )*pow(w, 2 )*pow(x, 2 ) + k*m*s*pow(u, 2 )*pow(v, 2 )*pow(x, 2 ) + k*n*r*pow(u, 2 )*pow(v, 2 )*pow(x, 2 ) + l*m*q*pow(u, 2 )*pow(v, 2 )*pow(y, 2 ) + l*n*p*pow(u, 2 )*pow(v, 2 )*pow(y, 2 ) + o*p*s*pow(u, 2 )*pow(v, 2 )*pow(w, 2 ) + o*q*r*pow(u, 2 )*pow(v, 2 )*pow(w, 2 ) + t*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - a*b*j*n*pow(x, 2 )*pow(y, 2 ) - a*b*k*m*pow(x, 2 )*pow(y, 2 ) - a*c*j*q*pow(w, 2 )*pow(y, 2 ) - a*c*k*p*pow(w, 2 )*pow(y, 2 ) - a*d*j*s*pow(w, 2 )*pow(x, 2 ) - a*d*k*r*pow(w, 2 )*pow(x, 2 ) - a*e*g*n*pow(x, 2 )*pow(y, 2 ) - a*e*h*q*pow(w, 2 )*pow(y, 2 ) - a*e*i*s*pow(w, 2 )*pow(x, 2 ) - a*f*g*m*pow(x, 2 )*pow(y, 2 ) - a*f*h*p*pow(w, 2 )*pow(y, 2 ) - a*f*i*r*pow(w, 2 )*pow(x, 2 ) - b*c*m*q*pow(v, 2 )*pow(y, 2 ) - b*c*n*p*pow(v, 2 )*pow(y, 2 ) - b*d*m*s*pow(v, 2 )*pow(x, 2 ) - b*d*n*r*pow(v, 2 )*pow(x, 2 ) - b*e*g*k*pow(x, 2 )*pow(y, 2 ) - b*e*k*s*pow(v, 2 )*pow(x, 2 ) - b*e*l*q*pow(v, 2 )*pow(y, 2 ) - b*f*g*j*pow(x, 2 )*pow(y, 2 ) - b*f*k*r*pow(v, 2 )*pow(x, 2 ) - b*f*l*p*pow(v, 2 )*pow(y, 2 ) - c*d*p*s*pow(v, 2 )*pow(w, 2 ) - c*d*q*r*pow(v, 2 )*pow(w, 2 ) - c*e*h*k*pow(w, 2 )*pow(y, 2 ) - c*e*l*n*pow(v, 2 )*pow(y, 2 ) - c*e*o*s*pow(v, 2 )*pow(w, 2 ) - c*f*h*j*pow(w, 2 )*pow(y, 2 ) - c*f*l*m*pow(v, 2 )*pow(y, 2 ) - c*f*o*r*pow(v, 2 )*pow(w, 2 ) - d*e*i*k*pow(w, 2 )*pow(x, 2 ) - d*e*k*n*pow(v, 2 )*pow(x, 2 ) - d*e*o*q*pow(v, 2 )*pow(w, 2 ) - d*f*i*j*pow(w, 2 )*pow(x, 2 ) - d*f*k*m*pow(v, 2 )*pow(x, 2 ) - d*f*o*p*pow(v, 2 )*pow(w, 2 ) - e*f*pow(v, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - g*h*m*q*pow(u, 2 )*pow(y, 2 ) - g*h*n*p*pow(u, 2 )*pow(y, 2 ) - g*i*m*s*pow(u, 2 )*pow(x, 2 ) - g*i*n*r*pow(u, 2 )*pow(x, 2 ) - g*j*k*s*pow(u, 2 )*pow(x, 2 ) - g*j*l*q*pow(u, 2 )*pow(y, 2 ) - g*k*l*p*pow(u, 2 )*pow(y, 2 ) - h*i*p*s*pow(u, 2 )*pow(w, 2 ) - h*i*q*r*pow(u, 2 )*pow(w, 2 ) - h*j*l*n*pow(u, 2 )*pow(y, 2 ) - h*j*o*s*pow(u, 2 )*pow(w, 2 ) - h*k*l*m*pow(u, 2 )*pow(y, 2 ) - h*k*o*r*pow(u, 2 )*pow(w, 2 ) - i*j*k*n*pow(u, 2 )*pow(x, 2 ) - i*j*o*q*pow(u, 2 )*pow(w, 2 ) - i*k*o*p*pow(u, 2 )*pow(w, 2 ) - j*k*pow(u, 2 )*pow(w, 2 )*pow(x, 2 )*pow(y, 2 ) - k*l*p*s*pow(u, 2 )*pow(v, 2 ) - k*l*q*r*pow(u, 2 )*pow(v, 2 ) - k*m*o*q*pow(u, 2 )*pow(v, 2 ) - k*n*o*p*pow(u, 2 )*pow(v, 2 ) - l*m*o*s*pow(u, 2 )*pow(v, 2 ) - l*n*o*r*pow(u, 2 )*pow(v, 2 ) - m*n*pow(u, 2 )*pow(v, 2 )*pow(x, 2 )*pow(y, 2 ) - p*q*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(y, 2 ) - r*s*pow(u, 2 )*pow(v, 2 )*pow(w, 2 )*pow(x, 2 ) - 2*a*b*g*p*q*pow(y, 2 ) - 2*a*b*g*r*s*pow(x, 2 ) - 2*a*b*h*l*t*pow(y, 2 ) - 2*a*b*i*k*t*pow(x, 2 ) - 2*a*c*g*l*t*pow(y, 2 ) - 2*a*c*h*m*n*pow(y, 2 ) - 2*a*c*h*r*s*pow(w, 2 ) - 2*a*c*i*o*t*pow(w, 2 ) - 2*a*d*g*k*t*pow(x, 2 ) - 2*a*d*h*o*t*pow(w, 2 ) - 2*a*d*i*m*n*pow(x, 2 ) - 2*a*d*i*p*q*pow(w, 2 ) - 2*b*c*g*h*t*pow(y, 2 ) - 2*b*c*j*k*l*pow(y, 2 ) - 2*b*c*k*o*t*pow(v, 2 ) - 2*b*c*l*r*s*pow(v, 2 ) - 2*b*d*g*i*t*pow(x, 2 ) - 2*b*d*k*p*q*pow(v, 2 ) - 2*b*d*l*o*t*pow(v, 2 ) - 2*c*d*h*i*t*pow(w, 2 ) - 2*c*d*j*k*o*pow(w, 2 ) - 2*c*d*k*l*t*pow(v, 2 ) - 2*c*d*m*n*o*pow(v, 2 ) - 2*e*f*g*h*l*pow(y, 2 ) - 2*e*f*g*i*k*pow(x, 2 ) - 2*e*f*h*i*o*pow(w, 2 ) - 2*e*f*k*l*o*pow(v, 2 ) - 2*g*h*k*o*t*pow(u, 2 ) - 2*g*h*l*r*s*pow(u, 2 ) - 2*g*i*k*p*q*pow(u, 2 ) - 2*g*i*l*o*t*pow(u, 2 ) - 2*h*i*k*l*t*pow(u, 2 ) - 2*h*i*m*n*o*pow(u, 2 ) + 2*a*b*g*t*pow(x, 2 )*pow(y, 2 ) + 2*a*c*h*t*pow(w, 2 )*pow(y, 2 ) + 2*a*d*i*t*pow(w, 2 )*pow(x, 2 ) + 2*b*c*l*t*pow(v, 2 )*pow(y, 2 ) + 2*b*d*k*t*pow(v, 2 )*pow(x, 2 ) + 2*c*d*o*t*pow(v, 2 )*pow(w, 2 ) + 2*g*h*l*t*pow(u, 2 )*pow(y, 2 ) + 2*g*i*k*t*pow(u, 2 )*pow(x, 2 ) + 2*h*i*o*t*pow(u, 2 )*pow(w, 2 ) + 2*k*l*o*t*pow(u, 2 )*pow(v, 2 ) - j*pow(c, 2 )*pow(k, 3 ) + a*c*p*pow(k, 3 ) + c*e*h*pow(k, 3 );
thing = first * second - pow(third, 2);
if(argc == 2){
ofstream fout(argv[1]);
fout << thing << endl;
fout.close();
}
}
