source: CGBLisp/examples/shash2.output@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

First import of a version circa 1997.
File size: 29.2 KB
Line 
1[ 2 * E1 + E3 * E4 * H4^2 * X4 + E3 * H4 * X4 + 2 * E3 * Y4 - 2 * E4^2 * H2 * X4 - E4^2 * H3 * H4 * X4 - E4^2 * H4 * X4 * Y1 - E4^2 * H4 * X4 * Y2 - E4^2 * H4 * X4 * Y3 - E4^2 * H4 * X4 * Y4 + 3 * E4 * H3 * X4 + E4 * H4 * X1 * X4 + E4 * H4 * X2 * X4 + E4 * H4 * X3 * X4 + E4 * H4 * X4^2 + E4 * X4 * Y1 + E4 * X4 * Y2 + E4 * X4 * Y3 + 3 * E4 * X4 * Y4 - X1 * X4 - X2 * X4 - X3 * X4 + X4^2, 2 * E2 - E3 * E4 * H4^2 - E3 * H4 + 2 * E4^2 * H2 + E4^2 * H3 * H4 + E4^2 * H4 * Y1 + E4^2 * H4 * Y2 + E4^2 * H4 * Y3 + E4^2 * H4 * Y4 - 3 * E4 * H3 - E4 * H4 * X1 - E4 * H4 * X2 - E4 * H4 * X3 - E4 * H4 * X4 - E4 * Y1 - E4 * Y2 - E4 * Y3 - E4 * Y4 + X1 + X2 + X3 + X4, E3 * E4 * H3 * H4^2 + 2 * E3 * E4 * H4^2 * Y4 - 2 * E3 * H2 + E3 * H3 * H4 + 2 * E3 * H4^2 * X4 - 2 * E4^2 * H2 * H3 - 4 * E4^2 * H2 * Y4 - E4^2 * H3^2 * H4 - E4^2 * H3 * H4 * Y1 - E4^2 * H3 * H4 * Y2 - E4^2 * H3 * H4 * Y3 - 3 * E4^2 * H3 * H4 * Y4 - 2 * E4^2 * H4 * Y1 * Y4 - 2 * E4^2 * H4 * Y2 * Y4 - 2 * E4^2 * H4 * Y3 * Y4 - 2 * E4^2 * H4 * Y4^2 - 4 * E4 * H2 * X4 + 3 * E4 * H3^2 + E4 * H3 * H4 * X1 + E4 * H3 * H4 * X2 + E4 * H3 * H4 * X3 - E4 * H3 * H4 * X4 + E4 * H3 * Y1 + E4 * H3 * Y2 + E4 * H3 * Y3 + 9 * E4 * H3 * Y4 + 2 * E4 * H4 * X1 * Y4 + 2 * E4 * H4 * X2 * Y4 + 2 * E4 * H4 * X3 * Y4 - 2 * E4 * H4 * X4 * Y1 - 2 * E4 * H4 * X4 * Y2 - 2 * E4 * H4 * X4 * Y3 + 2 * E4 * Y1 * Y4 - 2 * E4 * Y2 * Y3 + 4 * E4 * Y2 * Y4 + 4 * E4 * Y3 * Y4 + 4 * E4 * Y4^2 - H3 * X1 - H3 * X2 - H3 * X3 + 7 * H3 * X4 - 2 * H4 * X2 * X3 + 2 * H4 * X2 * X4 + 2 * H4 * X3 * X4 + 2 * H4 * X4^2 - 2 * X1 * Y4 - 2 * X2 * Y3 - 2 * X3 * Y2 + 2 * X4 * Y1 + 4 * X4 * Y2 + 4 * X4 * Y3 + 4 * X4 * Y4, E3 * E4 * H4^3 - E3 * H4^2 - 2 * E4^2 * H2 * H4 - E4^2 * H3 * H4^2 - E4^2 * H4^2 * Y1 - E4^2 * H4^2 * Y2 - E4^2 * H4^2 * Y3 - E4^2 * H4^2 * Y4 + 2 * E4 * H2 + 5 * E4 * H3 * H4 + E4 * H4^2 * X1 + E4 * H4^2 * X2 + E4 * H4^2 * X3 + E4 * H4^2 * X4 + 3 * E4 * H4 * Y1 + 3 * E4 * H4 * Y2 + 3 * E4 * H4 * Y3 + 3 * E4 * H4 * Y4 - 4 * H3 - H4 * X1 - H4 * X2 - H4 * X3 - H4 * X4 - 2 * Y1 - 2 * Y2 - 2 * Y3 - 2 * Y4, E3 * E4 * H4 * Y1 - E3 * E4 * H4 * Y4 - E3 * H4 * X1 + E3 * H4 * X4 - 2 * E3 * Y1 + 2 * E3 * Y4 - E4^2 * H3 * Y1 + E4^2 * H3 * Y4 - E4^2 * Y1^2 + E4^2 * Y4^2 - E4 * H3 * X1 + E4 * H3 * X4 - E4 * H4 * X1 * X2 - E4 * H4 * X1 * X3 + E4 * H4 * X2 * X4 + E4 * H4 * X3 * X4 - 2 * E4 * X1 * Y1 + 2 * E4 * X4 * Y4 - X1^2 + X1 * X2 + X1 * X3 - X2 * X4 - X3 * X4 + X4^2, E3 * E4 * H4 * Y2 - E3 * E4 * H4 * Y4 - E3 * H4 * X2 + E3 * H4 * X4 - 2 * E3 * Y2 + 2 * E3 * Y4 - E4^2 * H3 * Y2 + E4^2 * H3 * Y4 - E4^2 * Y2^2 + E4^2 * Y4^2 - E4 * H3 * X2 + E4 * H3 * X4 - E4 * H4 * X1 * X2 + E4 * H4 * X1 * X4 - E4 * H4 * X2 * X3 + E4 * H4 * X3 * X4 - 2 * E4 * X2 * Y2 + 2 * E4 * X4 * Y4 + X1 * X2 - X1 * X4 - X2^2 + X2 * X3 - X3 * X4 + X4^2, E3 * E4 * H4 * Y3 - E3 * E4 * H4 * Y4 - E3 * H4 * X3 + E3 * H4 * X4 - 2 * E3 * Y3 + 2 * E3 * Y4 - E4^2 * H3 * Y3 + E4^2 * H3 * Y4 - E4^2 * Y3^2 + E4^2 * Y4^2 - E4 * H3 * X3 + E4 * H3 * X4 - E4 * H4 * X1 * X3 + E4 * H4 * X1 * X4 - E4 * H4 * X2 * X3 + E4 * H4 * X2 * X4 - 2 * E4 * X3 * Y3 + 2 * E4 * X4 * Y4 + X1 * X3 - X1 * X4 + X2 * X3 - X2 * X4 - X3^2 + X4^2, E3 * E4 * Y1^2 - 2 * E3 * E4 * Y1 * Y4 + E3 * E4 * Y4^2 + E3 * H4 * X1^2 - 2 * E3 * H4 * X1 * X4 + E3 * H4 * X4^2 + 2 * E3 * X1 * Y1 - 2 * E3 * X1 * Y4 - 2 * E3 * X4 * Y1 + 2 * E3 * X4 * Y4 + E4^2 * X1 * Y1^2 - 2 * E4^2 * X1 * Y1 * Y4 - E4^2 * X1 * Y2 * Y3 + E4^2 * X1 * Y2 * Y4 + E4^2 * X1 * Y3 * Y4 + E4^2 * X4 * Y2 * Y3 - E4^2 * X4 * Y2 * Y4 - E4^2 * X4 * Y3 * Y4 + E4^2 * X4 * Y4^2 + E4 * H4 * X1^2 * X2 + E4 * H4 * X1^2 * X3 - E4 * H4 * X1^2 * X4 - E4 * H4 * X1 * X2 * X3 - E4 * H4 * X1 * X2 * X4 - E4 * H4 * X1 * X3 * X4 + E4 * H4 * X1 * X4^2 + E4 * H4 * X2 * X3 * X4 + 2 * E4 * X1^2 * Y1 - 2 * E4 * X1^2 * Y4 - E4 * X1 * X2 * Y3 + E4 * X1 * X2 * Y4 - E4 * X1 * X3 * Y2 + E4 * X1 * X3 * Y4 - 2 * E4 * X1 * X4 * Y1 + E4 * X1 * X4 * Y2 + E4 * X1 * X4 * Y3 + E4 * X2 * X4 * Y3 - E4 * X2 * X4 * Y4 + E4 * X3 * X4 * Y2 - E4 * X3 * X4 * Y4 - E4 * X4^2 * Y2 - E4 * X4^2 * Y3 + 2 * E4 * X4^2 * Y4 + X1^3 - X1^2 * X2 - X1^2 * X3 - X1^2 * X4 + 2 * X1 * X2 * X4 + 2 * X1 * X3 * X4 - X1 * X4^2 - X2 * X4^2 - X3 * X4^2 + X4^3, E3 * E4 * Y2^2 - 2 * E3 * E4 * Y2 * Y4 + E3 * E4 * Y4^2 + E3 * H4 * X2^2 - 2 * E3 * H4 * X2 * X4 + E3 * H4 * X4^2 + 2 * E3 * X2 * Y2 - 2 * E3 * X2 * Y4 - 2 * E3 * X4 * Y2 + 2 * E3 * X4 * Y4 + E4^2 * X2 * Y2^2 - E4^2 * X2 * Y2 * Y3 - E4^2 * X2 * Y2 * Y4 + E4^2 * X2 * Y3 * Y4 + E4^2 * X4 * Y2 * Y3 - E4^2 * X4 * Y2 * Y4 - E4^2 * X4 * Y3 * Y4 + E4^2 * X4 * Y4^2 + E4 * H4 * X1 * X2^2 - 2 * E4 * H4 * X1 * X2 * X4 + E4 * H4 * X1 * X4^2 + 2 * E4 * X2^2 * Y2 - E4 * X2^2 * Y3 - E4 * X2^2 * Y4 - E4 * X2 * X3 * Y2 + E4 * X2 * X3 * Y4 - E4 * X2 * X4 * Y2 + 2 * E4 * X2 * X4 * Y3 - E4 * X2 * X4 * Y4 + E4 * X3 * X4 * Y2 - E4 * X3 * X4 * Y4 - E4 * X4^2 * Y2 - E4 * X4^2 * Y3 + 2 * E4 * X4^2 * Y4 - X1 * X2^2 + 2 * X1 * X2 * X4 - X1 * X4^2 + X2^3 - X2^2 * X3 - X2^2 * X4 + 2 * X2 * X3 * X4 - X2 * X4^2 - X3 * X4^2 + X4^3, E3 * E4 * Y2 * Y3 - E3 * E4 * Y2 * Y4 - E3 * E4 * Y3 * Y4 + E3 * E4 * Y4^2 + E3 * H4 * X2 * X3 - E3 * H4 * X2 * X4 - E3 * H4 * X3 * X4 + E3 * H4 * X4^2 + 2 * E3 * X3 * Y2 - 2 * E3 * X3 * Y4 - 2 * E3 * X4 * Y2 + 2 * E3 * X4 * Y4 + E4^2 * X4 * Y2 * Y3 - E4^2 * X4 * Y2 * Y4 - E4^2 * X4 * Y3 * Y4 + E4^2 * X4 * Y4^2 + E4 * H4 * X1 * X2 * X3 - E4 * H4 * X1 * X2 * X4 - E4 * H4 * X1 * X3 * X4 + E4 * H4 * X1 * X4^2 + E4 * X2 * X3 * Y2 - E4 * X2 * X3 * Y3 - E4 * X2 * X4 * Y2 + E4 * X2 * X4 * Y3 + E4 * X3 * X4 * Y2 + E4 * X3 * X4 * Y3 - 2 * E4 * X3 * X4 * Y4 - E4 * X4^2 * Y2 - E4 * X4^2 * Y3 + 2 * E4 * X4^2 * Y4 - X1 * X2 * X3 + X1 * X2 * X4 + X1 * X3 * X4 - X1 * X4^2 + X2^2 * X3 - X2^2 * X4 - X2 * X3^2 + X2 * X3 * X4 + X3^2 * X4 - 2 * X3 * X4^2 + X4^3, E3 * E4 * Y3^2 - 2 * E3 * E4 * Y3 * Y4 + E3 * E4 * Y4^2 + E3 * H4 * X3^2 - 2 * E3 * H4 * X3 * X4 + E3 * H4 * X4^2 + 2 * E3 * X3 * Y3 - 2 * E3 * X3 * Y4 - 2 * E3 * X4 * Y3 + 2 * E3 * X4 * Y4 - E4^2 * X3 * Y2 * Y3 + E4^2 * X3 * Y2 * Y4 + E4^2 * X3 * Y3^2 - E4^2 * X3 * Y3 * Y4 + E4^2 * X4 * Y2 * Y3 - E4^2 * X4 * Y2 * Y4 - E4^2 * X4 * Y3 * Y4 + E4^2 * X4 * Y4^2 + E4 * H4 * X1 * X3^2 - 2 * E4 * H4 * X1 * X3 * X4 + E4 * H4 * X1 * X4^2 - E4 * X2 * X3 * Y3 + E4 * X2 * X3 * Y4 + E4 * X2 * X4 * Y3 - E4 * X2 * X4 * Y4 - E4 * X3^2 * Y2 + 2 * E4 * X3^2 * Y3 - E4 * X3^2 * Y4 + 2 * E4 * X3 * X4 * Y2 - E4 * X3 * X4 * Y3 - E4 * X3 * X4 * Y4 - E4 * X4^2 * Y2 - E4 * X4^2 * Y3 + 2 * E4 * X4^2 * Y4 - X1 * X3^2 + 2 * X1 * X3 * X4 - X1 * X4^2 - X2 * X3^2 + 2 * X2 * X3 * X4 - X2 * X4^2 + X3^3 - X3^2 * X4 - X3 * X4^2 + X4^3, E3 * H2^2 - E3 * H3^2 * H4^2 - 2 * E3 * H3 * H4^3 * X4 - 2 * E3 * H3 * H4^2 * Y4 - E3 * H4^4 * X4^2 - 2 * E3 * H4^3 * X4 * Y4 - E3 * H4^2 * Y4^2 + 2 * E4 * H2 * H3^2 + 4 * E4 * H2 * H3 * H4 * X4 + 6 * E4 * H2 * H3 * Y4 + 2 * E4 * H2 * H4^2 * X4^2 + 4 * E4 * H2 * H4 * X4 * Y4 + 4 * E4 * H2 * Y4^2 + E4 * H3^3 * H4 + 2 * E4 * H3^2 * H4^2 * X4 + E4 * H3^2 * H4 * Y1 + E4 * H3^2 * H4 * Y2 + E4 * H3^2 * H4 * Y3 + 3 * E4 * H3^2 * H4 * Y4 + E4 * H3 * H4^3 * X4^2 + 2 * E4 * H3 * H4^2 * X4 * Y1 + 2 * E4 * H3 * H4^2 * X4 * Y2 + 2 * E4 * H3 * H4^2 * X4 * Y3 + 4 * E4 * H3 * H4^2 * X4 * Y4 + 2 * E4 * H3 * H4 * Y1 * Y4 + 2 * E4 * H3 * H4 * Y2 * Y4 + 2 * E4 * H3 * H4 * Y3 * Y4 + 4 * E4 * H3 * H4 * Y4^2 + E4 * H4^3 * X4^2 * Y1 + E4 * H4^3 * X4^2 * Y2 + E4 * H4^3 * X4^2 * Y3 + E4 * H4^3 * X4^2 * Y4 + 2 * E4 * H4^2 * X4 * Y1 * Y4 + E4 * H4^2 * X4 * Y2 * Y3 + E4 * H4^2 * X4 * Y2 * Y4 + E4 * H4^2 * X4 * Y3 * Y4 + 3 * E4 * H4^2 * X4 * Y4^2 - 2 * E4 * H4 * Y2 * Y3 * Y4 + 2 * E4 * H4 * Y2 * Y4^2 + 2 * E4 * H4 * Y3 * Y4^2 + 2 * E4 * H4 * Y4^3 + 2 * H2 * H3 * X4 + 2 * H2 * H4 * X4^2 + H2 * X4 * Y1 + H2 * X4 * Y2 + H2 * X4 * Y3 + H2 * X4 * Y4 - 3 * H3^3 - 10 * H3^2 * H4 * X4 - H3^2 * Y1 - H3^2 * Y2 - H3^2 * Y3 - 11 * H3^2 * Y4 + H3 * H4^2 * X1 * X2 + H3 * H4^2 * X1 * X3 - 3 * H3 * H4^2 * X1 * X4 + H3 * H4^2 * X2 * X3 - 3 * H3 * H4^2 * X2 * X4 - 3 * H3 * H4^2 * X3 * X4 - 5 * H3 * H4^2 * X4^2 + 2 * H3 * H4 * X2 * Y1 - 2 * H3 * H4 * X2 * Y4 + 2 * H3 * H4 * X3 * Y1 + 2 * H3 * H4 * X3 * Y2 - 4 * H3 * H4 * X3 * Y4 - 8 * H3 * H4 * X4 * Y1 - 6 * H3 * H4 * X4 * Y2 - 4 * H3 * H4 * X4 * Y3 - 12 * H3 * H4 * X4 * Y4 + H3 * Y1 * Y2 + H3 * Y1 * Y3 - 4 * H3 * Y1 * Y4 + H3 * Y2 * Y3 - 4 * H3 * Y2 * Y4 - 4 * H3 * Y3 * Y4 - 11 * H3 * Y4^2 + H4^3 * X1 * X2 * X3 - H4^3 * X1 * X2 * X4 - H4^3 * X1 * X3 * X4 - H4^3 * X2 * X4^2 - H4^3 * X3 * X4^2 - H4^3 * X4^3 + H4^2 * X1 * X2 * Y1 - H4^2 * X1 * X2 * Y2 + H4^2 * X1 * X2 * Y3 + H4^2 * X1 * X2 * Y4 + H4^2 * X1 * X3 * Y1 + H4^2 * X1 * X3 * Y2 - H4^2 * X1 * X3 * Y3 + H4^2 * X1 * X3 * Y4 - 3 * H4^2 * X1 * X4 * Y1 - H4^2 * X1 * X4 * Y2 - H4^2 * X1 * X4 * Y3 - H4^2 * X1 * X4 * Y4 + H4^2 * X2 * X3 * Y1 + H4^2 * X2 * X3 * Y2 - H4^2 * X2 * X3 * Y3 - H4^2 * X2 * X3 * Y4 - H4^2 * X2 * X4 * Y1 - H4^2 * X2 * X4 * Y2 - 2 * H4^2 * X2 * X4 * Y4 - H4^2 * X3 * X4 * Y1 + H4^2 * X3 * X4 * Y3 - 4 * H4^2 * X3 * X4 * Y4 - H4^2 * X4^2 * Y1 - 2 * H4^2 * X4^2 * Y2 - 2 * H4^2 * X4^2 * Y3 - H4^2 * X4^2 * Y4 - H4 * X1 * Y2^2 + H4 * X1 * Y2 * Y3 + H4 * X1 * Y2 * Y4 - H4 * X1 * Y3^2 + H4 * X1 * Y3 * Y4 - H4 * X1 * Y4^2 + H4 * X2 * Y1^2 + H4 * X2 * Y1 * Y3 + H4 * X2 * Y1 * Y4 - H4 * X2 * Y3^2 - H4 * X2 * Y3 * Y4 - H4 * X2 * Y4^2 + H4 * X3 * Y1^2 + H4 * X3 * Y1 * Y2 + H4 * X3 * Y1 * Y4 + H4 * X3 * Y2^2 - H4 * X3 * Y2 * Y4 - 3 * H4 * X3 * Y4^2 - 3 * H4 * X4 * Y1^2 - H4 * X4 * Y1 * Y2 - H4 * X4 * Y1 * Y3 - 5 * H4 * X4 * Y1 * Y4 - H4 * X4 * Y2^2 - H4 * X4 * Y2 * Y3 - 3 * H4 * X4 * Y2 * Y4 + H4 * X4 * Y3^2 - 3 * H4 * X4 * Y3 * Y4 - 3 * H4 * X4 * Y4^2 + Y1 * Y2 * Y3 + Y1 * Y2 * Y4 + Y1 * Y3 * Y4 - 3 * Y1 * Y4^2 + Y2 * Y3 * Y4 - 3 * Y2 * Y4^2 - 3 * Y3 * Y4^2 - 3 * Y4^3, E3 * H2 * H4 - E3 * H3 * H4^2 - E3 * H4^3 * X4 - E3 * H4^2 * Y4 + E4 * H2 * H3 + 2 * E4 * H2 * H4 * X4 + 2 * E4 * H2 * Y4 + E4 * H3^2 * H4 + E4 * H3 * H4^2 * X4 + E4 * H3 * H4 * Y1 + E4 * H3 * H4 * Y2 + E4 * H3 * H4 * Y3 + 2 * E4 * H3 * H4 * Y4 + E4 * H4^2 * X4 * Y1 + E4 * H4^2 * X4 * Y2 + E4 * H4^2 * X4 * Y3 + E4 * H4^2 * X4 * Y4 + 2 * E4 * H4 * Y1 * Y4 + E4 * H4 * Y2 * Y3 + E4 * H4 * Y2 * Y4 + E4 * H4 * Y3 * Y4 + E4 * H4 * Y4^2 - 2 * H3^2 - 4 * H3 * H4 * X4 - H3 * Y1 - H3 * Y2 - H3 * Y3 - 5 * H3 * Y4 + H4^2 * X2 * X3 - H4^2 * X2 * X4 - H4^2 * X3 * X4 - H4^2 * X4^2 + H4 * X2 * Y3 - H4 * X2 * Y4 + H4 * X3 * Y2 - H4 * X3 * Y4 - H4 * X4 * Y1 - 2 * H4 * X4 * Y2 - 2 * H4 * X4 * Y3 - 3 * H4 * X4 * Y4 - 2 * Y1 * Y4 - 2 * Y2 * Y4 - 2 * Y3 * Y4 - 2 * Y4^2, E3 * H2 * Y1 - E3 * H2 * Y4 - E3 * H3 * H4 * Y1 + E3 * H3 * H4 * Y4 - E3 * H4^2 * X4 * Y1 + E3 * H4^2 * X4 * Y4 - E3 * H4 * Y1 * Y4 + E3 * H4 * Y4^2 + E4 * H3^2 * Y1 - E4 * H3^2 * Y4 + E4 * H3 * H4 * X4 * Y1 - E4 * H3 * H4 * X4 * Y4 + 4 * E4 * H3 * Y1 * Y4 - 4 * E4 * H3 * Y4^2 - E4 * H4 * X1 * Y1^2 + 2 * E4 * H4 * X1 * Y1 * Y4 + E4 * H4 * X1 * Y2 * Y3 - E4 * H4 * X1 * Y2 * Y4 - E4 * H4 * X1 * Y3 * Y4 + E4 * H4 * X4 * Y1^2 - 2 * E4 * H4 * X4 * Y2 * Y3 + 2 * E4 * H4 * X4 * Y2 * Y4 + 2 * E4 * H4 * X4 * Y3 * Y4 - 3 * E4 * H4 * X4 * Y4^2 - E4 * Y1^3 + 3 * E4 * Y1^2 * Y4 + E4 * Y1 * Y4^2 - 3 * E4 * Y4^3 + H3^2 * X1 - H3^2 * X4 - H3 * H4 * X1^2 + 5 * H3 * H4 * X1 * X4 - 4 * H3 * H4 * X4^2 - H3 * X1 * Y1 + 5 * H3 * X1 * Y4 + 3 * H3 * X4 * Y1 - 7 * H3 * X4 * Y4 - H4^2 * X1^2 * X2 - H4^2 * X1^2 * X3 + H4^2 * X1^2 * X4 + 3 * H4^2 * X1 * X2 * X4 + 3 * H4^2 * X1 * X3 * X4 - 2 * H4^2 * X1 * X4^2 - H4^2 * X2 * X3 * X4 - H4^2 * X2 * X4^2 - H4^2 * X3 * X4^2 - H4 * X1^2 * Y1 - H4 * X1^2 * Y2 - H4 * X1^2 * Y3 + H4 * X1^2 * Y4 - H4 * X1 * X2 * Y1 + H4 * X1 * X2 * Y4 - H4 * X1 * X3 * Y1 + H4 * X1 * X3 * Y4 + 4 * H4 * X1 * X4 * Y1 + 3 * H4 * X1 * X4 * Y2 + 3 * H4 * X1 * X4 * Y3 + 2 * H4 * X2 * X4 * Y1 - H4 * X2 * X4 * Y3 - H4 * X2 * X4 * Y4 + 2 * H4 * X3 * X4 * Y1 - H4 * X3 * X4 * Y2 - H4 * X3 * X4 * Y4 - 3 * H4 * X4^2 * Y1 - H4 * X4^2 * Y2 - H4 * X4^2 * Y3 - 3 * H4 * X4^2 * Y4 - X1 * Y1^2 - X1 * Y1 * Y2 - X1 * Y1 * Y3 + 2 * X1 * Y1 * Y4 - X1 * Y2 * Y3 + 2 * X1 * Y2 * Y4 + 2 * X1 * Y3 * Y4 + 2 * X1 * Y4^2 + 2 * X4 * Y1^2 + 2 * X4 * Y1 * Y2 + 2 * X4 * Y1 * Y3 - 2 * X4 * Y1 * Y4 + X4 * Y2 * Y3 - 3 * X4 * Y2 * Y4 - 3 * X4 * Y3 * Y4 - 3 * X4 * Y4^2, E3 * H2 * Y2 - E3 * H2 * Y4 - E3 * H3 * H4 * Y2 + E3 * H3 * H4 * Y4 - E3 * H4^2 * X4 * Y2 + E3 * H4^2 * X4 * Y4 - E3 * H4 * Y2 * Y4 + E3 * H4 * Y4^2 + E4 * H3^2 * Y2 - E4 * H3^2 * Y4 + E4 * H3 * H4 * X4 * Y2 - E4 * H3 * H4 * X4 * Y4 + 4 * E4 * H3 * Y2 * Y4 - 4 * E4 * H3 * Y4^2 - E4 * H4 * X2 * Y2^2 + E4 * H4 * X2 * Y2 * Y3 + E4 * H4 * X2 * Y2 * Y4 - E4 * H4 * X2 * Y3 * Y4 + E4 * H4 * X4 * Y2^2 - 2 * E4 * H4 * X4 * Y2 * Y3 + 2 * E4 * H4 * X4 * Y2 * Y4 + 2 * E4 * H4 * X4 * Y3 * Y4 - 3 * E4 * H4 * X4 * Y4^2 - E4 * Y2^3 + 3 * E4 * Y2^2 * Y4 + E4 * Y2 * Y4^2 - 3 * E4 * Y4^3 + H3^2 * X2 - H3^2 * X4 - H3 * H4 * X2^2 + 5 * H3 * H4 * X2 * X4 - 4 * H3 * H4 * X4^2 - H3 * X2 * Y2 + 5 * H3 * X2 * Y4 + 3 * H3 * X4 * Y2 - 7 * H3 * X4 * Y4 - H4^2 * X1 * X2^2 - H4^2 * X1 * X2 * X3 + 4 * H4^2 * X1 * X2 * X4 + H4^2 * X1 * X3 * X4 - 3 * H4^2 * X1 * X4^2 + H4^2 * X2 * X3 * X4 - H4^2 * X3 * X4^2 - H4 * X1 * X2 * Y2 - H4 * X1 * X2 * Y3 + 2 * H4 * X1 * X2 * Y4 + 2 * H4 * X1 * X4 * Y2 + H4 * X1 * X4 * Y3 - 3 * H4 * X1 * X4 * Y4 - H4 * X2^2 * Y1 - H4 * X2^2 * Y2 - H4 * X2 * X3 * Y1 + H4 * X2 * X3 * Y4 + 4 * H4 * X2 * X4 * Y1 + 3 * H4 * X2 * X4 * Y2 + H4 * X2 * X4 * Y3 + 2 * H4 * X2 * X4 * Y4 + H4 * X3 * X4 * Y1 - H4 * X3 * X4 * Y4 - 3 * H4 * X4^2 * Y1 - H4 * X4^2 * Y2 - H4 * X4^2 * Y3 - 3 * H4 * X4^2 * Y4 - X2 * Y1 * Y2 - X2 * Y1 * Y3 + 2 * X2 * Y1 * Y4 - X2 * Y2^2 - X2 * Y2 * Y3 + 2 * X2 * Y2 * Y4 + 2 * X2 * Y3 * Y4 + 2 * X2 * Y4^2 + 2 * X4 * Y1 * Y2 + X4 * Y1 * Y3 - 3 * X4 * Y1 * Y4 + 2 * X4 * Y2^2 + 2 * X4 * Y2 * Y3 - 2 * X4 * Y2 * Y4 - 3 * X4 * Y3 * Y4 - 3 * X4 * Y4^2, E3 * H2 * Y3 - E3 * H2 * Y4 - E3 * H3 * H4 * Y3 + E3 * H3 * H4 * Y4 - E3 * H4^2 * X4 * Y3 + E3 * H4^2 * X4 * Y4 - E3 * H4 * Y3 * Y4 + E3 * H4 * Y4^2 + E4 * H3^2 * Y3 - E4 * H3^2 * Y4 + E4 * H3 * H4 * X4 * Y3 - E4 * H3 * H4 * X4 * Y4 + 4 * E4 * H3 * Y3 * Y4 - 4 * E4 * H3 * Y4^2 + E4 * H4 * X3 * Y2 * Y3 - E4 * H4 * X3 * Y2 * Y4 - E4 * H4 * X3 * Y3^2 + E4 * H4 * X3 * Y3 * Y4 - 2 * E4 * H4 * X4 * Y2 * Y3 + 2 * E4 * H4 * X4 * Y2 * Y4 + E4 * H4 * X4 * Y3^2 + 2 * E4 * H4 * X4 * Y3 * Y4 - 3 * E4 * H4 * X4 * Y4^2 - E4 * Y3^3 + 3 * E4 * Y3^2 * Y4 + E4 * Y3 * Y4^2 - 3 * E4 * Y4^3 + H3^2 * X3 - H3^2 * X4 - H3 * H4 * X3^2 + 5 * H3 * H4 * X3 * X4 - 4 * H3 * H4 * X4^2 - H3 * X3 * Y3 + 5 * H3 * X3 * Y4 + 3 * H3 * X4 * Y3 - 7 * H3 * X4 * Y4 - H4^2 * X1 * X2 * X3 + H4^2 * X1 * X2 * X4 - H4^2 * X1 * X3^2 + 4 * H4^2 * X1 * X3 * X4 - 3 * H4^2 * X1 * X4^2 + H4^2 * X2 * X3 * X4 - H4^2 * X2 * X4^2 - H4 * X1 * X3 * Y2 - H4 * X1 * X3 * Y3 + 2 * H4 * X1 * X3 * Y4 + H4 * X1 * X4 * Y2 + 2 * H4 * X1 * X4 * Y3 - 3 * H4 * X1 * X4 * Y4 - H4 * X2 * X3 * Y1 + H4 * X2 * X3 * Y4 + H4 * X2 * X4 * Y1 - H4 * X2 * X4 * Y4 - H4 * X3^2 * Y1 - H4 * X3^2 * Y3 + 4 * H4 * X3 * X4 * Y1 + H4 * X3 * X4 * Y2 + 3 * H4 * X3 * X4 * Y3 + 2 * H4 * X3 * X4 * Y4 - 3 * H4 * X4^2 * Y1 - H4 * X4^2 * Y2 - H4 * X4^2 * Y3 - 3 * H4 * X4^2 * Y4 - X3 * Y1 * Y2 - X3 * Y1 * Y3 + 2 * X3 * Y1 * Y4 - X3 * Y2 * Y3 + 2 * X3 * Y2 * Y4 - X3 * Y3^2 + 2 * X3 * Y3 * Y4 + 2 * X3 * Y4^2 + X4 * Y1 * Y2 + 2 * X4 * Y1 * Y3 - 3 * X4 * Y1 * Y4 + 2 * X4 * Y2 * Y3 - 3 * X4 * Y2 * Y4 + 2 * X4 * Y3^2 - 2 * X4 * Y3 * Y4 - 3 * X4 * Y4^2, E3 * H4^2 * X1 - E3 * H4^2 * X4 + E3 * H4 * Y1 - E3 * H4 * Y4 - E4 * H3 * H4 * X1 + E4 * H3 * H4 * X4 + E4 * H3 * Y1 - E4 * H3 * Y4 + E4 * H4 * X1 * Y1 - E4 * H4 * X1 * Y2 - E4 * H4 * X1 * Y3 - E4 * H4 * X1 * Y4 + E4 * H4 * X4 * Y1 + E4 * H4 * X4 * Y2 + E4 * H4 * X4 * Y3 - E4 * H4 * X4 * Y4 + E4 * Y1^2 - E4 * Y4^2 + 2 * H3 * X1 - 2 * H3 * X4 + H4 * X1^2 - H4 * X4^2 + X1 * Y1 + X1 * Y2 + X1 * Y3 + X1 * Y4 - X4 * Y1 - X4 * Y2 - X4 * Y3 - X4 * Y4, E3 * H4^2 * X2 - E3 * H4^2 * X4 + E3 * H4 * Y2 - E3 * H4 * Y4 - E4 * H3 * H4 * X2 + E4 * H3 * H4 * X4 + E4 * H3 * Y2 - E4 * H3 * Y4 - E4 * H4 * X2 * Y1 + E4 * H4 * X2 * Y2 - E4 * H4 * X2 * Y3 - E4 * H4 * X2 * Y4 + E4 * H4 * X4 * Y1 + E4 * H4 * X4 * Y2 + E4 * H4 * X4 * Y3 - E4 * H4 * X4 * Y4 + E4 * Y2^2 - E4 * Y4^2 + 2 * H3 * X2 - 2 * H3 * X4 + H4 * X2^2 - H4 * X4^2 + X2 * Y1 + X2 * Y2 + X2 * Y3 + X2 * Y4 - X4 * Y1 - X4 * Y2 - X4 * Y3 - X4 * Y4, E3 * H4^2 * X3 - E3 * H4^2 * X4 + E3 * H4 * Y3 - E3 * H4 * Y4 - E4 * H3 * H4 * X3 + E4 * H3 * H4 * X4 + E4 * H3 * Y3 - E4 * H3 * Y4 - E4 * H4 * X3 * Y1 - E4 * H4 * X3 * Y2 + E4 * H4 * X3 * Y3 - E4 * H4 * X3 * Y4 + E4 * H4 * X4 * Y1 + E4 * H4 * X4 * Y2 + E4 * H4 * X4 * Y3 - E4 * H4 * X4 * Y4 + E4 * Y3^2 - E4 * Y4^2 + 2 * H3 * X3 - 2 * H3 * X4 + H4 * X3^2 - H4 * X4^2 + X3 * Y1 + X3 * Y2 + X3 * Y3 + X3 * Y4 - X4 * Y1 - X4 * Y2 - X4 * Y3 - X4 * Y4, E3 * H4 * X1 * Y1 - E3 * H4 * X1 * Y4 - E3 * H4 * X4 * Y1 + E3 * H4 * X4 * Y4 + E3 * Y1^2 - 2 * E3 * Y1 * Y4 + E3 * Y4^2 - E4 * H3 * X1 * Y1 + E4 * H3 * X1 * Y4 + E4 * H3 * X4 * Y1 - E4 * H3 * X4 * Y4 - 2 * E4 * X1 * Y1 * Y4 - E4 * X1 * Y2 * Y3 + E4 * X1 * Y2 * Y4 + E4 * X1 * Y3 * Y4 + E4 * X1 * Y4^2 + E4 * X4 * Y1^2 + E4 * X4 * Y2 * Y3 - E4 * X4 * Y2 * Y4 - E4 * X4 * Y3 * Y4 - H3 * X1^2 + 2 * H3 * X1 * X4 - H3 * X4^2 - H4 * X1^2 * X4 - H4 * X1 * X2 * X3 + H4 * X1 * X2 * X4 + H4 * X1 * X3 * X4 + H4 * X1 * X4^2 + H4 * X2 * X3 * X4 - H4 * X2 * X4^2 - H4 * X3 * X4^2 - 2 * X1^2 * Y4 - X1 * X2 * Y3 + X1 * X2 * Y4 - X1 * X3 * Y2 + X1 * X3 * Y4 + X1 * X4 * Y2 + X1 * X4 * Y3 + 2 * X1 * X4 * Y4 + X2 * X4 * Y3 - X2 * X4 * Y4 + X3 * X4 * Y2 - X3 * X4 * Y4 - X4^2 * Y2 - X4^2 * Y3, E3 * H4 * X2 * Y1 - E3 * H4 * X2 * Y4 - E3 * H4 * X4 * Y1 + E3 * H4 * X4 * Y4 + E3 * Y1 * Y2 - E3 * Y1 * Y4 - E3 * Y2 * Y4 + E3 * Y4^2 - E4 * H3 * X2 * Y1 + E4 * H3 * X2 * Y4 + E4 * H3 * X4 * Y1 - E4 * H3 * X4 * Y4 - E4 * X2 * Y1^2 + E4 * X2 * Y4^2 + E4 * X4 * Y1^2 + E4 * X4 * Y2 * Y3 - E4 * X4 * Y2 * Y4 - E4 * X4 * Y3 * Y4 - H3 * X1 * X2 + H3 * X1 * X4 + H3 * X2 * X4 - H3 * X4^2 - H4 * X1 * X2^2 + H4 * X1 * X4^2 + H4 * X2^2 * X4 + H4 * X2 * X3 * X4 - H4 * X2 * X4^2 - H4 * X3 * X4^2 - X1 * X2 * Y1 - X1 * X2 * Y2 + X1 * X4 * Y1 + X1 * X4 * Y4 + X2 * X4 * Y2 + X2 * X4 * Y3 + X3 * X4 * Y2 - X3 * X4 * Y4 - X4^2 * Y2 - X4^2 * Y3, E3 * H4 * X2 * Y2 - E3 * H4 * X2 * Y4 - E3 * H4 * X4 * Y2 + E3 * H4 * X4 * Y4 + E3 * Y2^2 - 2 * E3 * Y2 * Y4 + E3 * Y4^2 - E4 * H3 * X2 * Y2 + E4 * H3 * X2 * Y4 + E4 * H3 * X4 * Y2 - E4 * H3 * X4 * Y4 - E4 * X2 * Y2 * Y3 - E4 * X2 * Y2 * Y4 + E4 * X2 * Y3 * Y4 + E4 * X2 * Y4^2 + E4 * X4 * Y2^2 + E4 * X4 * Y2 * Y3 - E4 * X4 * Y2 * Y4 - E4 * X4 * Y3 * Y4 - H3 * X2^2 + 2 * H3 * X2 * X4 - H3 * X4^2 - H4 * X2^2 * X3 + 2 * H4 * X2 * X3 * X4 - H4 * X3 * X4^2 - X2^2 * Y3 - X2^2 * Y4 - X2 * X3 * Y2 + X2 * X3 * Y4 + X2 * X4 * Y2 + 2 * X2 * X4 * Y3 + X2 * X4 * Y4 + X3 * X4 * Y2 - X3 * X4 * Y4 - X4^2 * Y2 - X4^2 * Y3, E3 * H4 * X3 * Y1 - E3 * H4 * X3 * Y4 - E3 * H4 * X4 * Y1 + E3 * H4 * X4 * Y4 + E3 * Y1 * Y3 - E3 * Y1 * Y4 - E3 * Y3 * Y4 + E3 * Y4^2 - E4 * H3 * X3 * Y1 + E4 * H3 * X3 * Y4 + E4 * H3 * X4 * Y1 - E4 * H3 * X4 * Y4 - E4 * X3 * Y1^2 + E4 * X3 * Y4^2 + E4 * X4 * Y1^2 + E4 * X4 * Y2 * Y3 - E4 * X4 * Y2 * Y4 - E4 * X4 * Y3 * Y4 - H3 * X1 * X3 + H3 * X1 * X4 + H3 * X3 * X4 - H3 * X4^2 - H4 * X1 * X3^2 + H4 * X1 * X4^2 + H4 * X2 * X3 * X4 - H4 * X2 * X4^2 + H4 * X3^2 * X4 - H4 * X3 * X4^2 - X1 * X3 * Y1 - X1 * X3 * Y3 + X1 * X4 * Y1 + X1 * X4 * Y4 + X2 * X4 * Y3 - X2 * X4 * Y4 + X3 * X4 * Y2 + X3 * X4 * Y3 - X4^2 * Y2 - X4^2 * Y3, E3 * H4 * X3 * Y2 - E3 * H4 * X3 * Y4 - E3 * H4 * X4 * Y2 + E3 * H4 * X4 * Y4 + E3 * Y2 * Y3 - E3 * Y2 * Y4 - E3 * Y3 * Y4 + E3 * Y4^2 - E4 * H3 * X3 * Y2 + E4 * H3 * X3 * Y4 + E4 * H3 * X4 * Y2 - E4 * H3 * X4 * Y4 - E4 * X3 * Y2^2 + E4 * X3 * Y4^2 + E4 * X4 * Y2^2 + E4 * X4 * Y2 * Y3 - E4 * X4 * Y2 * Y4 - E4 * X4 * Y3 * Y4 - H3 * X2 * X3 + H3 * X2 * X4 + H3 * X3 * X4 - H3 * X4^2 - H4 * X2 * X3^2 + H4 * X2 * X3 * X4 + H4 * X3^2 * X4 - H4 * X3 * X4^2 - X2 * X3 * Y2 - X2 * X3 * Y3 + X2 * X4 * Y2 + X2 * X4 * Y3 + X3 * X4 * Y2 + X3 * X4 * Y3 - X4^2 * Y2 - X4^2 * Y3, E3 * H4 * X3 * Y3 - E3 * H4 * X3 * Y4 - E3 * H4 * X4 * Y3 + E3 * H4 * X4 * Y4 + E3 * Y3^2 - 2 * E3 * Y3 * Y4 + E3 * Y4^2 - E4 * H3 * X3 * Y3 + E4 * H3 * X3 * Y4 + E4 * H3 * X4 * Y3 - E4 * H3 * X4 * Y4 - E4 * X3 * Y2 * Y3 + E4 * X3 * Y2 * Y4 - E4 * X3 * Y3 * Y4 + E4 * X3 * Y4^2 + E4 * X4 * Y2 * Y3 - E4 * X4 * Y2 * Y4 + E4 * X4 * Y3^2 - E4 * X4 * Y3 * Y4 - H3 * X3^2 + 2 * H3 * X3 * X4 - H3 * X4^2 - H4 * X2 * X3^2 + 2 * H4 * X2 * X3 * X4 - H4 * X2 * X4^2 - X2 * X3 * Y3 + X2 * X3 * Y4 + X2 * X4 * Y3 - X2 * X4 * Y4 - X3^2 * Y2 - X3^2 * Y4 + 2 * X3 * X4 * Y2 + X3 * X4 * Y3 + X3 * X4 * Y4 - X4^2 * Y2 - X4^2 * Y3, E3 * X1 * Y2 - E3 * X1 * Y4 - E3 * X2 * Y1 + E3 * X2 * Y4 + E3 * X4 * Y1 - E3 * X4 * Y2 - E4 * X1 * X2 * Y1 + E4 * X1 * X2 * Y2 + E4 * X1 * X4 * Y1 - E4 * X1 * X4 * Y4 - E4 * X2 * X4 * Y2 + E4 * X2 * X4 * Y4 - X1^2 * X2 + X1^2 * X4 + X1 * X2^2 - X1 * X4^2 - X2^2 * X4 + X2 * X4^2, E3 * X1 * Y3 - E3 * X1 * Y4 - E3 * X3 * Y1 + E3 * X3 * Y4 + E3 * X4 * Y1 - E3 * X4 * Y3 - E4 * X1 * X3 * Y1 + E4 * X1 * X3 * Y3 + E4 * X1 * X4 * Y1 - E4 * X1 * X4 * Y4 - E4 * X3 * X4 * Y3 + E4 * X3 * X4 * Y4 - X1^2 * X3 + X1^2 * X4 + X1 * X3^2 - X1 * X4^2 - X3^2 * X4 + X3 * X4^2, E3 * X2 * Y3 - E3 * X2 * Y4 - E3 * X3 * Y2 + E3 * X3 * Y4 + E3 * X4 * Y2 - E3 * X4 * Y3 - E4 * X2 * X3 * Y2 + E4 * X2 * X3 * Y3 + E4 * X2 * X4 * Y2 - E4 * X2 * X4 * Y4 - E4 * X3 * X4 * Y3 + E4 * X3 * X4 * Y4 - X2^2 * X3 + X2^2 * X4 + X2 * X3^2 - X2 * X4^2 - X3^2 * X4 + X3 * X4^2, E4 * H2^2 + 2 * E4 * H2 * H4 * Y4 - E4 * H4^2 * Y2 * Y3 + E4 * H4^2 * Y2 * Y4 + E4 * H4^2 * Y3 * Y4 - 2 * H2 * H3 - 2 * H2 * H4 * X4 - H2 * Y1 - H2 * Y2 - H2 * Y3 - H2 * Y4 + H3^2 * H4 + H3 * H4^2 * X1 + H3 * H4^2 * X2 + H3 * H4^2 * X3 - H3 * H4^2 * X4 + 2 * H3 * H4 * Y1 + 2 * H3 * H4 * Y2 + 2 * H3 * H4 * Y3 - 4 * H3 * H4 * Y4 + H4^3 * X1 * X2 + H4^3 * X1 * X3 - H4^3 * X1 * X4 + H4^2 * X1 * Y1 + H4^2 * X1 * Y2 + H4^2 * X1 * Y3 - H4^2 * X1 * Y4 + H4^2 * X2 * Y1 + H4^2 * X2 * Y2 + H4^2 * X3 * Y1 + H4^2 * X3 * Y3 - H4^2 * X4 * Y1 - 3 * H4^2 * X4 * Y4 + H4 * Y1^2 + H4 * Y1 * Y2 + H4 * Y1 * Y3 - H4 * Y1 * Y4 + H4 * Y2^2 + H4 * Y2 * Y3 - H4 * Y2 * Y4 + H4 * Y3^2 - H4 * Y3 * Y4 - 3 * H4 * Y4^2, E4 * H2 * Y1 - E4 * H2 * Y4 + E4 * H4 * Y1 * Y4 + E4 * H4 * Y2 * Y3 - E4 * H4 * Y2 * Y4 - E4 * H4 * Y3 * Y4 - H3 * H4 * X1 + H3 * H4 * X4 - 2 * H3 * Y1 + 2 * H3 * Y4 - H4^2 * X1 * X2 - H4^2 * X1 * X3 + H4^2 * X1 * X4 + H4^2 * X2 * X3 - H4 * X1 * Y1 - H4 * X1 * Y2 - H4 * X1 * Y3 + H4 * X1 * Y4 - H4 * X2 * Y1 + H4 * X2 * Y3 - H4 * X3 * Y1 + H4 * X3 * Y2 + H4 * X4 * Y1 + H4 * X4 * Y4 - Y1^2 - Y1 * Y2 - Y1 * Y3 + Y2 * Y4 + Y3 * Y4 + Y4^2, E4 * H2 * Y2 - E4 * H2 * Y4 + E4 * H4 * Y2 * Y3 - E4 * H4 * Y3 * Y4 - H3 * H4 * X2 + H3 * H4 * X4 - 2 * H3 * Y2 + 2 * H3 * Y4 - H4^2 * X1 * X2 + H4^2 * X1 * X4 - H4 * X1 * Y2 + H4 * X1 * Y4 - H4 * X2 * Y1 - H4 * X2 * Y2 + H4 * X4 * Y1 + H4 * X4 * Y4 - Y1 * Y2 + Y1 * Y4 - Y2^2 - Y2 * Y3 + Y3 * Y4 + Y4^2, E4 * H2 * Y3 - E4 * H2 * Y4 + E4 * H4 * Y2 * Y3 - E4 * H4 * Y2 * Y4 - H3 * H4 * X3 + H3 * H4 * X4 - 2 * H3 * Y3 + 2 * H3 * Y4 - H4^2 * X1 * X3 + H4^2 * X1 * X4 - H4 * X1 * Y3 + H4 * X1 * Y4 - H4 * X3 * Y1 - H4 * X3 * Y3 + H4 * X4 * Y1 + H4 * X4 * Y4 - Y1 * Y3 + Y1 * Y4 - Y2 * Y3 + Y2 * Y4 - Y3^2 + Y4^2, E4 * H3 * Y1^2 - 2 * E4 * H3 * Y1 * Y4 + E4 * H3 * Y4^2 + E4 * H4 * X1 * Y1^2 - 2 * E4 * H4 * X1 * Y1 * Y4 - E4 * H4 * X1 * Y2 * Y3 + E4 * H4 * X1 * Y2 * Y4 + E4 * H4 * X1 * Y3 * Y4 + E4 * H4 * X4 * Y2 * Y3 - E4 * H4 * X4 * Y2 * Y4 - E4 * H4 * X4 * Y3 * Y4 + E4 * H4 * X4 * Y4^2 + E4 * Y1^3 - E4 * Y1^2 * Y4 - E4 * Y1 * Y4^2 + E4 * Y4^3 + H3 * H4 * X1^2 - 2 * H3 * H4 * X1 * X4 + H3 * H4 * X4^2 + 2 * H3 * X1 * Y1 - 2 * H3 * X1 * Y4 - 2 * H3 * X4 * Y1 + 2 * H3 * X4 * Y4 + H4^2 * X1^2 * X2 + H4^2 * X1^2 * X3 - H4^2 * X1^2 * X4 - H4^2 * X1 * X2 * X3 - H4^2 * X1 * X2 * X4 - H4^2 * X1 * X3 * X4 + H4^2 * X1 * X4^2 + H4^2 * X2 * X3 * X4 + H4 * X1^2 * Y1 + H4 * X1^2 * Y2 + H4 * X1^2 * Y3 - H4 * X1^2 * Y4 + H4 * X1 * X2 * Y1 - H4 * X1 * X2 * Y3 + H4 * X1 * X3 * Y1 - H4 * X1 * X3 * Y2 - 2 * H4 * X1 * X4 * Y1 - H4 * X1 * X4 * Y2 - H4 * X1 * X4 * Y3 - H4 * X2 * X4 * Y1 + H4 * X2 * X4 * Y3 - H4 * X3 * X4 * Y1 + H4 * X3 * X4 * Y2 + H4 * X4^2 * Y1 + H4 * X4^2 * Y4 + X1 * Y1^2 + X1 * Y1 * Y2 + X1 * Y1 * Y3 - X1 * Y2 * Y4 - X1 * Y3 * Y4 - X1 * Y4^2 - X4 * Y1^2 - X4 * Y1 * Y2 - X4 * Y1 * Y3 + X4 * Y2 * Y4 + X4 * Y3 * Y4 + X4 * Y4^2, E4 * H3 * Y2^2 - 2 * E4 * H3 * Y2 * Y4 + E4 * H3 * Y4^2 + E4 * H4 * X2 * Y2^2 - E4 * H4 * X2 * Y2 * Y3 - E4 * H4 * X2 * Y2 * Y4 + E4 * H4 * X2 * Y3 * Y4 + E4 * H4 * X4 * Y2 * Y3 - E4 * H4 * X4 * Y2 * Y4 - E4 * H4 * X4 * Y3 * Y4 + E4 * H4 * X4 * Y4^2 + E4 * Y2^3 - E4 * Y2^2 * Y4 - E4 * Y2 * Y4^2 + E4 * Y4^3 + H3 * H4 * X2^2 - 2 * H3 * H4 * X2 * X4 + H3 * H4 * X4^2 + 2 * H3 * X2 * Y2 - 2 * H3 * X2 * Y4 - 2 * H3 * X4 * Y2 + 2 * H3 * X4 * Y4 + H4^2 * X1 * X2^2 - 2 * H4^2 * X1 * X2 * X4 + H4^2 * X1 * X4^2 + H4 * X1 * X2 * Y2 - H4 * X1 * X2 * Y4 - H4 * X1 * X4 * Y2 + H4 * X1 * X4 * Y4 + H4 * X2^2 * Y1 + H4 * X2^2 * Y2 - 2 * H4 * X2 * X4 * Y1 - H4 * X2 * X4 * Y2 - H4 * X2 * X4 * Y4 + H4 * X4^2 * Y1 + H4 * X4^2 * Y4 + X2 * Y1 * Y2 - X2 * Y1 * Y4 + X2 * Y2^2 + X2 * Y2 * Y3 - X2 * Y3 * Y4 - X2 * Y4^2 - X4 * Y1 * Y2 + X4 * Y1 * Y4 - X4 * Y2^2 - X4 * Y2 * Y3 + X4 * Y3 * Y4 + X4 * Y4^2, E4 * H3 * Y2 * Y3 - E4 * H3 * Y2 * Y4 - E4 * H3 * Y3 * Y4 + E4 * H3 * Y4^2 + E4 * H4 * X4 * Y2 * Y3 - E4 * H4 * X4 * Y2 * Y4 - E4 * H4 * X4 * Y3 * Y4 + E4 * H4 * X4 * Y4^2 + E4 * Y2 * Y3^2 - E4 * Y2 * Y4^2 - E4 * Y3^2 * Y4 + E4 * Y4^3 + H3 * H4 * X2 * X3 - H3 * H4 * X2 * X4 - H3 * H4 * X3 * X4 + H3 * H4 * X4^2 + 2 * H3 * X3 * Y2 - 2 * H3 * X3 * Y4 - 2 * H3 * X4 * Y2 + 2 * H3 * X4 * Y4 + H4^2 * X1 * X2 * X3 - H4^2 * X1 * X2 * X4 - H4^2 * X1 * X3 * X4 + H4^2 * X1 * X4^2 + H4 * X1 * X3 * Y2 - H4 * X1 * X3 * Y4 - H4 * X1 * X4 * Y2 + H4 * X1 * X4 * Y4 + H4 * X2 * X3 * Y1 + H4 * X2 * X3 * Y2 - H4 * X2 * X4 * Y1 - H4 * X2 * X4 * Y2 - H4 * X3 * X4 * Y1 - H4 * X3 * X4 * Y4 + H4 * X4^2 * Y1 + H4 * X4^2 * Y4 + X3 * Y1 * Y2 - X3 * Y1 * Y4 + X3 * Y2^2 + X3 * Y2 * Y3 - X3 * Y3 * Y4 - X3 * Y4^2 - X4 * Y1 * Y2 + X4 * Y1 * Y4 - X4 * Y2^2 - X4 * Y2 * Y3 + X4 * Y3 * Y4 + X4 * Y4^2, E4 * H3 * Y3^2 - 2 * E4 * H3 * Y3 * Y4 + E4 * H3 * Y4^2 - E4 * H4 * X3 * Y2 * Y3 + E4 * H4 * X3 * Y2 * Y4 + E4 * H4 * X3 * Y3^2 - E4 * H4 * X3 * Y3 * Y4 + E4 * H4 * X4 * Y2 * Y3 - E4 * H4 * X4 * Y2 * Y4 - E4 * H4 * X4 * Y3 * Y4 + E4 * H4 * X4 * Y4^2 + E4 * Y3^3 - E4 * Y3^2 * Y4 - E4 * Y3 * Y4^2 + E4 * Y4^3 + H3 * H4 * X3^2 - 2 * H3 * H4 * X3 * X4 + H3 * H4 * X4^2 + 2 * H3 * X3 * Y3 - 2 * H3 * X3 * Y4 - 2 * H3 * X4 * Y3 + 2 * H3 * X4 * Y4 + H4^2 * X1 * X3^2 - 2 * H4^2 * X1 * X3 * X4 + H4^2 * X1 * X4^2 + H4 * X1 * X3 * Y3 - H4 * X1 * X3 * Y4 - H4 * X1 * X4 * Y3 + H4 * X1 * X4 * Y4 + H4 * X3^2 * Y1 + H4 * X3^2 * Y3 - 2 * H4 * X3 * X4 * Y1 - H4 * X3 * X4 * Y3 - H4 * X3 * X4 * Y4 + H4 * X4^2 * Y1 + H4 * X4^2 * Y4 + X3 * Y1 * Y3 - X3 * Y1 * Y4 + X3 * Y2 * Y3 - X3 * Y2 * Y4 + X3 * Y3^2 - X3 * Y4^2 - X4 * Y1 * Y3 + X4 * Y1 * Y4 - X4 * Y2 * Y3 + X4 * Y2 * Y4 - X4 * Y3^2 + X4 * Y4^2, E4 * Y1 * Y2 - E4 * Y1 * Y4 - E4 * Y2 * Y3 + E4 * Y3 * Y4 + H4 * X1 * X2 - H4 * X1 * X4 - H4 * X2 * X3 + H4 * X3 * X4 + X1 * Y2 - X1 * Y4 + X2 * Y1 - X2 * Y3 - X3 * Y2 + X3 * Y4 - X4 * Y1 + X4 * Y3, E4 * Y1 * Y3 - E4 * Y1 * Y4 - E4 * Y2 * Y3 + E4 * Y2 * Y4 + H4 * X1 * X3 - H4 * X1 * X4 - H4 * X2 * X3 + H4 * X2 * X4 + X1 * Y3 - X1 * Y4 - X2 * Y3 + X2 * Y4 + X3 * Y1 - X3 * Y2 - X4 * Y1 + X4 * Y2, E4 * Y2^2 * Y3 - E4 * Y2^2 * Y4 - E4 * Y2 * Y3^2 + E4 * Y2 * Y4^2 + E4 * Y3^2 * Y4 - E4 * Y3 * Y4^2 + H4 * X1 * X2 * Y3 - H4 * X1 * X2 * Y4 - H4 * X1 * X3 * Y2 + H4 * X1 * X3 * Y4 + H4 * X1 * X4 * Y2 - H4 * X1 * X4 * Y3 + H4 * X2 * X3 * Y2 - H4 * X2 * X3 * Y3 - H4 * X2 * X4 * Y2 + H4 * X2 * X4 * Y4 + H4 * X3 * X4 * Y3 - H4 * X3 * X4 * Y4 + X2 * Y1 * Y3 - X2 * Y1 * Y4 + X2 * Y2 * Y3 - X2 * Y2 * Y4 - X2 * Y3^2 + X2 * Y4^2 - X3 * Y1 * Y2 + X3 * Y1 * Y4 + X3 * Y2^2 - X3 * Y2 * Y3 + X3 * Y3 * Y4 - X3 * Y4^2 + X4 * Y1 * Y2 - X4 * Y1 * Y3 - X4 * Y2^2 + X4 * Y2 * Y4 + X4 * Y3^2 - X4 * Y3 * Y4, H1 + H2 * X4 + H3 * Y4 + H4 * X4 * Y4 + Y4^2, H2 * X1 - H2 * X4 + H3 * Y1 - H3 * Y4 + H4 * X1 * Y1 - H4 * X4 * Y4 + Y1^2 - Y4^2, H2 * X2 - H2 * X4 + H3 * Y2 - H3 * Y4 + H4 * X2 * Y2 - H4 * X4 * Y4 + Y2^2 - Y4^2, H2 * X3 - H2 * X4 + H3 * Y3 - H3 * Y4 + H4 * X3 * Y3 - H4 * X4 * Y4 + Y3^2 - Y4^2, H3 * X1 * Y2 - H3 * X1 * Y4 - H3 * X2 * Y1 + H3 * X2 * Y4 + H3 * X4 * Y1 - H3 * X4 * Y2 - H4 * X1 * X2 * Y1 + H4 * X1 * X2 * Y2 + H4 * X1 * X4 * Y1 - H4 * X1 * X4 * Y4 - H4 * X2 * X4 * Y2 + H4 * X2 * X4 * Y4 + X1 * Y2^2 - X1 * Y4^2 - X2 * Y1^2 + X2 * Y4^2 + X4 * Y1^2 - X4 * Y2^2, H3 * X1 * Y3 - H3 * X1 * Y4 - H3 * X3 * Y1 + H3 * X3 * Y4 + H3 * X4 * Y1 - H3 * X4 * Y3 - H4 * X1 * X3 * Y1 + H4 * X1 * X3 * Y3 + H4 * X1 * X4 * Y1 - H4 * X1 * X4 * Y4 - H4 * X3 * X4 * Y3 + H4 * X3 * X4 * Y4 + X1 * Y3^2 - X1 * Y4^2 - X3 * Y1^2 + X3 * Y4^2 + X4 * Y1^2 - X4 * Y3^2, H3 * X2 * Y3 - H3 * X2 * Y4 - H3 * X3 * Y2 + H3 * X3 * Y4 + H3 * X4 * Y2 - H3 * X4 * Y3 - H4 * X2 * X3 * Y2 + H4 * X2 * X3 * Y3 + H4 * X2 * X4 * Y2 - H4 * X2 * X4 * Y4 - H4 * X3 * X4 * Y3 + H4 * X3 * X4 * Y4 + X2 * Y3^2 - X2 * Y4^2 - X3 * Y2^2 + X3 * Y4^2 + X4 * Y2^2 - X4 * Y3^2, H4 * X1 * X2 * Y1 * Y3 - H4 * X1 * X2 * Y1 * Y4 - H4 * X1 * X2 * Y2 * Y3 + H4 * X1 * X2 * Y2 * Y4 - H4 * X1 * X3 * Y1 * Y2 + H4 * X1 * X3 * Y1 * Y4 + H4 * X1 * X3 * Y2 * Y3 - H4 * X1 * X3 * Y3 * Y4 + H4 * X1 * X4 * Y1 * Y2 - H4 * X1 * X4 * Y1 * Y3 - H4 * X1 * X4 * Y2 * Y4 + H4 * X1 * X4 * Y3 * Y4 + H4 * X2 * X3 * Y1 * Y2 - H4 * X2 * X3 * Y1 * Y3 - H4 * X2 * X3 * Y2 * Y4 + H4 * X2 * X3 * Y3 * Y4 - H4 * X2 * X4 * Y1 * Y2 + H4 * X2 * X4 * Y1 * Y4 + H4 * X2 * X4 * Y2 * Y3 - H4 * X2 * X4 * Y3 * Y4 + H4 * X3 * X4 * Y1 * Y3 - H4 * X3 * X4 * Y1 * Y4 - H4 * X3 * X4 * Y2 * Y3 + H4 * X3 * X4 * Y2 * Y4 - X1 * Y2^2 * Y3 + X1 * Y2^2 * Y4 + X1 * Y2 * Y3^2 - X1 * Y2 * Y4^2 - X1 * Y3^2 * Y4 + X1 * Y3 * Y4^2 + X2 * Y1^2 * Y3 - X2 * Y1^2 * Y4 - X2 * Y1 * Y3^2 + X2 * Y1 * Y4^2 + X2 * Y3^2 * Y4 - X2 * Y3 * Y4^2 - X3 * Y1^2 * Y2 + X3 * Y1^2 * Y4 + X3 * Y1 * Y2^2 - X3 * Y1 * Y4^2 - X3 * Y2^2 * Y4 + X3 * Y2 * Y4^2 + X4 * Y1^2 * Y2 - X4 * Y1^2 * Y3 - X4 * Y1 * Y2^2 + X4 * Y1 * Y3^2 + X4 * Y2^2 * Y3 - X4 * Y2 * Y3^2 ]
Note: See TracBrowser for help on using the repository browser.