Solution 6 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
6 2 2 6 2 6 2 2 6 4
0=16*a11 *a23 *c22 + 32*a11 *a23 *c22*c33 + 16*a11 *a23 *c33 + a11 *b32
5 2 2 5 2 2 4 4 2
- 16*a11 *a23 *b32 *c22 + 16*a11 *a23 *b32 *c33 + 32*a11 *a23 *c22
4 4 4 4 2 4 2 4
- 192*a11 *a23 *c22*c33 + 32*a11 *a23 *c33 - 2*a11 *a23 *b32
3 4 2 2 6 2 2 6
+ 32*a11 *a23 *b32 *c22 + 16*a11 *a23 *c22 + 32*a11 *a23 *c22*c33
2 6 2 2 4 4 6 2
+ 16*a11 *a23 *c33 + a11 *a23 *b32 - 16*a11*a23 *b32 *c22
6 2 6 4
- 16*a11*a23 *b32 *c33 + 4*a23 *b32
Expressions
The solution is given through the following expressions:
1 3 1 3 1 2 3
r20=(---*a11 *b32*c22*r26 + ---*a11 *b32*c33*r26 + ----*a11 *b32 *r26
4 4 16
3 2 1 2 1 2 3
- ---*a11*a23 *b32*c22*r26 + ---*a11*a23 *b32*c33*r26 + ----*a23 *b32 *r26
4 4 16
3 3 3 3
)/(a11 *a23*c22 + a11 *a23*c33 - a11*a23 *c22 - a11*a23 *c33
1 3 2
+ ---*a23 *b32 )
2
1 6 3 1 6 3
r21=( - ----*a11 *b32 *c22*r26 - ----*a11 *b32 *c33*r26
16 16
1 5 2 2 1 5 2 2
+ ---*a11 *a23 *b32*c22 *r26 - ---*a11 *a23 *b32*c33 *r26
2 2
1 5 5 3 4 2 3
- ----*a11 *b32 *r26 + ---*a11 *a23 *b32 *c22*r26
64 8
1 4 2 3 3 3 4 2
- ---*a11 *a23 *b32 *c33*r26 - ---*a11 *a23 *b32*c22 *r26
8 2
3 4 1 3 4 2
+ 2*a11 *a23 *b32*c22*c33*r26 - ---*a11 *a23 *b32*c33 *r26
2
1 2 4 3 1 2 4 3
- ----*a11 *a23 *b32 *c22*r26 - ----*a11 *a23 *b32 *c33*r26
16 16
1 4 5 6 2 2 6 2
+ ----*a11*a23 *b32 *r26)/(a11 *a23 *c22 + 2*a11 *a23 *c22*c33
64
6 2 2 4 4 2 4 4 4 4 2
+ a11 *a23 *c33 - 2*a11 *a23 *c22 - 4*a11 *a23 *c22*c33 - 2*a11 *a23 *c33
3 4 2 3 4 2 2 6 2
+ a11 *a23 *b32 *c22 + a11 *a23 *b32 *c33 + a11 *a23 *c22
2 6 2 6 2 6 2
+ 2*a11 *a23 *c22*c33 + a11 *a23 *c33 - a11*a23 *b32 *c22
6 2 1 6 4
- a11*a23 *b32 *c33 + ---*a23 *b32 )
4
r23=0
r24=0
1 6 2 6 1 6 2
r25=( - ---*a11 *b32*c22 *r26 - a11 *b32*c22*c33*r26 - ---*a11 *b32*c33 *r26
2 2
4 2 2 4 2
+ a11 *a23 *b32*c22 *r26 + 2*a11 *a23 *b32*c22*c33*r26
4 2 2 1 4 5 3 2 3
+ a11 *a23 *b32*c33 *r26 + ----*a11 *b32 *r26 - a11 *a23 *b32 *c22*r26
32
3 2 4 2 2 4
+ ---*a11 *a23 *b32*c22 *r26 - 5*a11 *a23 *b32*c22*c33*r26
2
3 2 4 2 1 2 2 5
+ ---*a11 *a23 *b32*c33 *r26 - ----*a11 *a23 *b32 *r26
2 16
4 3 3 4 5 5 2
+ a11*a23 *b32 *c22*r26 - ----*a23 *b32 *r26)/(a11 *a23*b32 *c22
32
5 2 4 3 2 4 3 2
+ a11 *a23*b32 *c33 - 8*a11 *a23 *c22 + 8*a11 *a23 *c33
3 3 2 3 3 2 2 5 2
- 2*a11 *a23 *b32 *c22 - 2*a11 *a23 *b32 *c33 + 8*a11 *a23 *c22
2 5 2 1 2 3 4 5 2
- 8*a11 *a23 *c33 + ---*a11 *a23 *b32 - 3*a11*a23 *b32 *c22
2
5 2 1 5 4
+ 5*a11*a23 *b32 *c33 - ---*a23 *b32 )
2
1 4 1 4 1 3 2
r27=(---*a11 *c22*r26 + ---*a11 *c33*r26 - ---*a11 *b32 *r26
2 2 8
1 2 2 3 2 2 3 2 2
+ ---*a11 *a23 *c22*r26 - ---*a11 *a23 *c33*r26 + ---*a11*a23 *b32 *r26)/(
2 2 8
3 3 3 3 1 3 2
a11 *a23*c22 + a11 *a23*c33 - a11*a23 *c22 - a11*a23 *c33 + ---*a23 *b32 )
2
r28=0
r29=0
1 4 1 4 1 3 2
r210=( - ---*a11 *c22*r26 - ---*a11 *c33*r26 - ---*a11 *b32 *r26
2 2 8
3 2 2 1 2 2 1 2 2
+ ---*a11 *a23 *c22*r26 - ---*a11 *a23 *c33*r26 - ---*a11*a23 *b32 *r26)/
2 2 8
3 3 3 3 1 3 2
(a11 *a23*c22 + a11 *a23*c33 - a11*a23 *c22 - a11*a23 *c33 + ---*a23 *b32 )
2
r212=0
r213=0
r214=0
r215=0
r216=0
1 7 2 1 7 2 6 2 2
r217=( - ---*a11 *b32 *c22*r26 - ---*a11 *b32 *c33*r26 + a11 *a23 *c22 *r26
8 8
6 2 2 1 6 4 3 5 2 2
- a11 *a23 *c33 *r26 - ----*a11 *b32 *r26 + ---*a11 *a23 *b32 *c22*r26
32 4
1 5 2 2 4 4 2
- ---*a11 *a23 *b32 *c33*r26 - 3*a11 *a23 *c22 *r26
4
4 4 4 4 2
+ 4*a11 *a23 *c22*c33*r26 - a11 *a23 *c33 *r26
1 3 4 2 1 3 4 2
- ---*a11 *a23 *b32 *c22*r26 - ---*a11 *a23 *b32 *c33*r26
8 8
1 2 4 4 6 2 2 6 2
+ ----*a11 *a23 *b32 *r26)/(a11 *a23 *c22 + 2*a11 *a23 *c22*c33
32
6 2 2 4 4 2 4 4 4 4 2
+ a11 *a23 *c33 - 2*a11 *a23 *c22 - 4*a11 *a23 *c22*c33 - 2*a11 *a23 *c33
3 4 2 3 4 2 2 6 2
+ a11 *a23 *b32 *c22 + a11 *a23 *b32 *c33 + a11 *a23 *c22
2 6 2 6 2 6 2
+ 2*a11 *a23 *c22*c33 + a11 *a23 *c33 - a11*a23 *b32 *c22
6 2 1 6 4
- a11*a23 *b32 *c33 + ---*a23 *b32 )
4
r218=0
r219=0
5 2 3 5 2 2 5 2 2
c23=(4*a11 *a23 *c22 + 4*a11 *a23 *c22 *c33 - 4*a11 *a23 *c22*c33
5 2 3 1 5 4 4 2 2 2
- 4*a11 *a23 *c33 + ---*a11 *b32 *c22 - 3*a11 *a23 *b32 *c22
4
4 2 2 4 2 2 2 3 4 3
+ 4*a11 *a23 *b32 *c22*c33 - a11 *a23 *b32 *c33 + 4*a11 *a23 *c22
3 4 2 3 4 2 3 4 3
- 28*a11 *a23 *c22 *c33 + 28*a11 *a23 *c22*c33 - 4*a11 *a23 *c33
1 3 2 4 1 3 2 4 2 4 2 2
- ---*a11 *a23 *b32 *c22 + ---*a11 *a23 *b32 *c33 + 5*a11 *a23 *b32 *c22
4 4
2 4 2 2 4 2 2 1 2 2 6
- 4*a11 *a23 *b32 *c22*c33 - a11 *a23 *b32 *c33 + ----*a11 *a23 *b32
16
1 4 4 1 4 4 1 4 6
- ---*a11*a23 *b32 *c22 + ---*a11*a23 *b32 *c33 + ----*a23 *b32 )/(
2 4 16
5 2 5 2 4 3 2 4 3 2
a11 *a23*b32 *c22 + a11 *a23*b32 *c33 - 8*a11 *a23 *c22 + 8*a11 *a23 *c33
3 3 2 3 3 2 2 5 2
- 2*a11 *a23 *b32 *c22 - 2*a11 *a23 *b32 *c33 + 8*a11 *a23 *c22
2 5 2 1 2 3 4 5 2
- 8*a11 *a23 *c33 + ---*a11 *a23 *b32 - 3*a11*a23 *b32 *c22
2
5 2 1 5 4
+ 5*a11*a23 *b32 *c33 - ---*a23 *b32 )
2
c13=0
c12=0
3 3 3
b33=( - 4*a11 *a23*b32*c22 - 4*a11 *a23*b32*c33 + 4*a11*a23 *b32*c22
3 3 3 3 2 2 2
+ 4*a11*a23 *b32*c33 - 2*a23 *b32 )/(a11 *b32 - 8*a11 *a23 *c22
2 2 2 2
+ 8*a11 *a23 *c33 - a11*a23 *b32 )
b31=0
b21=0
b11=0
1 3 2 2 2 2 2 1 2 2
---*a11 *b32 - 2*a11 *a23 *c22 + 2*a11 *a23 *c33 - ---*a11*a23 *b32
4 4
a33=-----------------------------------------------------------------------
3 3 2 2 1 2 2
a11 *c22 + a11 *c33 - a11*a23 *c22 - a11*a23 *c33 + ---*a23 *b32
2
1 3 2 2 2 2 2 1 2 2
- ---*a11 *b32 + 2*a11 *a23 *c22 - 2*a11 *a23 *c33 + ---*a11*a23 *b32
4 4
a22=--------------------------------------------------------------------------
3 3 2 2 1 2 2
a11 *c22 + a11 *c33 - a11*a23 *c22 - a11*a23 *c33 + ---*a23 *b32
2
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
r26, c22, c33, b32, a11, a23
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
2 2 2 2 2 2
{a11 *b32 - 8*a11*a23 *c22 + 8*a11*a23 *c33 - a23 *b32 ,
3 3 2 2 2 2
2*a11 *c22 + 2*a11 *c33 - 2*a11*a23 *c22 - 2*a11*a23 *c33 + a23 *b32 ,
c22,
a23,
a11,
r26,
a22}
Relevance for the application:
Modulo the following equation:
6 2 2 6 2 6 2 2 6 4
0=16*a11 *a23 *c22 + 32*a11 *a23 *c22*c33 + 16*a11 *a23 *c33 + a11 *b32
5 2 2 5 2 2 4 4 2
- 16*a11 *a23 *b32 *c22 + 16*a11 *a23 *b32 *c33 + 32*a11 *a23 *c22
4 4 4 4 2 4 2 4
- 192*a11 *a23 *c22*c33 + 32*a11 *a23 *c33 - 2*a11 *a23 *b32
3 4 2 2 6 2 2 6
+ 32*a11 *a23 *b32 *c22 + 16*a11 *a23 *c22 + 32*a11 *a23 *c22*c33
2 6 2 2 4 4 6 2
+ 16*a11 *a23 *c33 + a11 *a23 *b32 - 16*a11*a23 *b32 *c22
6 2 6 4
- 16*a11*a23 *b32 *c33 + 4*a23 *b32
the system of equations related to the Hamiltonian HAM:
2 7 2 7 2 6 3 2
HAM=(u1 *(a11 *a23*b32 *c22 + a11 *a23*b32 *c33 - 8*a11 *a23 *c22
6 3 2 5 3 2 5 3 2
+ 8*a11 *a23 *c33 - 2*a11 *a23 *b32 *c22 - 2*a11 *a23 *b32 *c33
4 5 2 4 5 2 1 4 3 4
+ 8*a11 *a23 *c22 - 8*a11 *a23 *c33 + ---*a11 *a23 *b32
2
3 5 2 3 5 2 1 2 5 4
- 3*a11 *a23 *b32 *c22 + 5*a11 *a23 *b32 *c33 - ---*a11 *a23 *b32 ) +
2
2 1 6 4 5 3 2 5 3 2
u2 *( - ---*a11 *a23*b32 + 4*a11 *a23 *b32 *c22 - 4*a11 *a23 *b32 *c33
4
4 5 2 4 5 4 5 2
- 16*a11 *a23 *c22 + 32*a11 *a23 *c22*c33 - 16*a11 *a23 *c33
1 4 3 4 3 5 2 3 5 2
+ ---*a11 *a23 *b32 - 4*a11 *a23 *b32 *c22 + 4*a11 *a23 *b32 *c33
2
1 2 5 4 6 2 2
- ---*a11 *a23 *b32 ) + u2*u3*(2*a11 *a23 *b32 *c22
4
6 2 2 5 4 2 5 4 2
+ 2*a11 *a23 *b32 *c33 - 16*a11 *a23 *c22 + 16*a11 *a23 *c33
4 4 2 4 4 2 3 6 2
- 4*a11 *a23 *b32 *c22 - 4*a11 *a23 *b32 *c33 + 16*a11 *a23 *c22
3 6 2 3 4 4 2 6 2
- 16*a11 *a23 *c33 + a11 *a23 *b32 - 6*a11 *a23 *b32 *c22
2 6 2 6 4 2 1 6 4
+ 10*a11 *a23 *b32 *c33 - a11*a23 *b32 ) + u3 *(---*a11 *a23*b32
4
5 3 2 5 3 2 4 5 2
- 4*a11 *a23 *b32 *c22 + 4*a11 *a23 *b32 *c33 + 16*a11 *a23 *c22
4 5 4 5 2 1 4 3 4
- 32*a11 *a23 *c22*c33 + 16*a11 *a23 *c33 - ---*a11 *a23 *b32
2
3 5 2 3 5 2 1 2 5 4
+ 4*a11 *a23 *b32 *c22 - 4*a11 *a23 *b32 *c33 + ---*a11 *a23 *b32 ) +
4
6 3 6 3 5 3 2
u3*v2*(a11 *a23*b32 *c22 + a11 *a23*b32 *c33 - 8*a11 *a23 *b32*c22
5 3 2 4 3 3
+ 8*a11 *a23 *b32*c33 - 2*a11 *a23 *b32 *c22
4 3 3 3 5 2
- 2*a11 *a23 *b32 *c33 + 8*a11 *a23 *b32*c22
3 5 2 1 3 3 5 2 5 3
- 8*a11 *a23 *b32*c33 + ---*a11 *a23 *b32 - 3*a11 *a23 *b32 *c22
2
2 5 3 1 5 5
+ 5*a11 *a23 *b32 *c33 - ---*a11*a23 *b32 ) + u3*v3*(
2
6 2 2 6 2 6 2 2
- 4*a11 *a23 *b32*c22 - 8*a11 *a23 *b32*c22*c33 - 4*a11 *a23 *b32*c33
4 4 2 4 4
+ 8*a11 *a23 *b32*c22 + 16*a11 *a23 *b32*c22*c33
4 4 2 3 4 3 3 4 3
+ 8*a11 *a23 *b32*c33 - 4*a11 *a23 *b32 *c22 - 4*a11 *a23 *b32 *c33
2 6 2 2 6 2 6 2
- 4*a11 *a23 *b32*c22 - 8*a11 *a23 *b32*c22*c33 - 4*a11 *a23 *b32*c33
6 3 6 3 6 5 2
+ 4*a11*a23 *b32 *c22 + 4*a11*a23 *b32 *c33 - a23 *b32 ) + v2 *(
6 2 2 6 2 5 3 3
a11 *a23*b32 *c22 + a11 *a23*b32 *c22*c33 - 8*a11 *a23 *c22
5 3 2 4 3 2 2
+ 8*a11 *a23 *c22*c33 - 2*a11 *a23 *b32 *c22
4 3 2 3 5 3 3 5 2
- 2*a11 *a23 *b32 *c22*c33 + 8*a11 *a23 *c22 - 8*a11 *a23 *c22*c33
1 3 3 4 2 5 2 2
+ ---*a11 *a23 *b32 *c22 - 3*a11 *a23 *b32 *c22
2
2 5 2 1 5 4
+ 5*a11 *a23 *b32 *c22*c33 - ---*a11*a23 *b32 *c22) + v2*v3*(
2
6 2 3 6 2 2 6 2 2
8*a11 *a23 *c22 + 8*a11 *a23 *c22 *c33 - 8*a11 *a23 *c22*c33
6 2 3 1 6 4 5 2 2 2
- 8*a11 *a23 *c33 + ---*a11 *b32 *c22 - 6*a11 *a23 *b32 *c22
2
5 2 2 5 2 2 2 4 4 3
+ 8*a11 *a23 *b32 *c22*c33 - 2*a11 *a23 *b32 *c33 + 8*a11 *a23 *c22
4 4 2 4 4 2 4 4 3
- 56*a11 *a23 *c22 *c33 + 56*a11 *a23 *c22*c33 - 8*a11 *a23 *c33
1 4 2 4 1 4 2 4
- ---*a11 *a23 *b32 *c22 + ---*a11 *a23 *b32 *c33
2 2
3 4 2 2 3 4 2
+ 10*a11 *a23 *b32 *c22 - 8*a11 *a23 *b32 *c22*c33
3 4 2 2 1 3 2 6 2 4 4
- 2*a11 *a23 *b32 *c33 + ---*a11 *a23 *b32 - a11 *a23 *b32 *c22
8
1 2 4 4 1 4 6 2
+ ---*a11 *a23 *b32 *c33 + ---*a11*a23 *b32 ) + v3 *(
2 8
6 2 6 2 2 5 3 2
a11 *a23*b32 *c22*c33 + a11 *a23*b32 *c33 - 8*a11 *a23 *c22 *c33
5 3 3 4 3 2 4 3 2 2
+ 8*a11 *a23 *c33 - 2*a11 *a23 *b32 *c22*c33 - 2*a11 *a23 *b32 *c33
3 5 2 3 5 3 1 3 3 4
+ 8*a11 *a23 *c22 *c33 - 8*a11 *a23 *c33 + ---*a11 *a23 *b32 *c33
2
2 5 2 2 5 2 2
- 3*a11 *a23 *b32 *c22*c33 + 5*a11 *a23 *b32 *c33
1 5 4 6 2 6 2
- ---*a11*a23 *b32 *c33))/(a11 *a23*b32 *c22 + a11 *a23*b32 *c33
2
5 3 2 5 3 2 4 3 2
- 8*a11 *a23 *c22 + 8*a11 *a23 *c33 - 2*a11 *a23 *b32 *c22
4 3 2 3 5 2 3 5 2
- 2*a11 *a23 *b32 *c33 + 8*a11 *a23 *c22 - 8*a11 *a23 *c33
1 3 3 4 2 5 2 2 5 2
+ ---*a11 *a23 *b32 - 3*a11 *a23 *b32 *c22 + 5*a11 *a23 *b32 *c33
2
1 5 4
- ---*a11*a23 *b32 )
2
has apart from the Hamiltonian and Casimirs only the following first integral:
1 9 4 1 9 4 8 2 2 2
FI=u1*v1*( - ---*a11 *b32 *c22 - ---*a11 *b32 *c33 + 2*a11 *a23 *b32 *c22
8 8
8 2 2 2 1 8 6 7 4 3
- 2*a11 *a23 *b32 *c33 - ----*a11 *b32 - 8*a11 *a23 *c22
32
7 4 2 7 4 2 7 4 3
+ 8*a11 *a23 *c22 *c33 + 8*a11 *a23 *c22*c33 - 8*a11 *a23 *c33
9 7 2 4 3 7 2 4
+ ---*a11 *a23 *b32 *c22 - ---*a11 *a23 *b32 *c33
8 8
6 4 2 2 6 4 2
- 10*a11 *a23 *b32 *c22 + 12*a11 *a23 *b32 *c22*c33
6 4 2 2 1 6 2 6 5 6 3
- 2*a11 *a23 *b32 *c33 + ----*a11 *a23 *b32 + 24*a11 *a23 *c22
32
5 6 2 5 6 2 5 6 3
- 56*a11 *a23 *c22 *c33 + 40*a11 *a23 *c22*c33 - 8*a11 *a23 *c33
7 5 4 4 1 5 4 4
- ---*a11 *a23 *b32 *c22 + ---*a11 *a23 *b32 *c33
8 8
4 6 2 2 4 6 2
+ 4*a11 *a23 *b32 *c22 - 4*a11 *a23 *b32 *c22*c33
1 4 4 6 1 3 6 4
+ ----*a11 *a23 *b32 - ---*a11 *a23 *b32 *c22
32 8
3 3 6 4 1 2 6 6
+ ---*a11 *a23 *b32 *c33 - ----*a11 *a23 *b32 ) + u2*v3*(
8 32
1 9 2 2 9 2 1 9 2 2
- ---*a11 *a23*b32 *c22 - a11 *a23*b32 *c22*c33 - ---*a11 *a23*b32 *c33
2 2
8 3 3 8 3 2 8 3 2
+ 4*a11 *a23 *c22 + 4*a11 *a23 *c22 *c33 - 4*a11 *a23 *c22*c33
8 3 3 1 8 4 1 8 4
- 4*a11 *a23 *c33 - ---*a11 *a23*b32 *c22 - ---*a11 *a23*b32 *c33
8 8
7 7 3 2 2 7 3 2
+ ---*a11 *a23 *b32 *c22 + 3*a11 *a23 *b32 *c22*c33
2
1 7 3 2 2 6 5 3 6 5 2
- ---*a11 *a23 *b32 *c33 - 16*a11 *a23 *c22 + 16*a11 *a23 *c22*c33
2
1 6 3 4 1 6 3 4
- ---*a11 *a23 *b32 *c22 - ---*a11 *a23 *b32 *c33
8 8
3 5 5 2 2 5 5 2
- ---*a11 *a23 *b32 *c22 - 3*a11 *a23 *b32 *c22*c33
2
3 5 5 2 2 1 5 3 6 4 7 3
- ---*a11 *a23 *b32 *c33 - ----*a11 *a23 *b32 + 12*a11 *a23 *c22
2 16
4 7 2 4 7 2 4 7 3
- 4*a11 *a23 *c22 *c33 - 12*a11 *a23 *c22*c33 + 4*a11 *a23 *c33
13 4 5 4 3 4 5 4
+ ----*a11 *a23 *b32 *c22 - ---*a11 *a23 *b32 *c33
8 8
11 3 7 2 2 3 7 2
- ----*a11 *a23 *b32 *c22 + 9*a11 *a23 *b32 *c22*c33
2
3 3 7 2 2 3 2 7 4
- ---*a11 *a23 *b32 *c33 - ---*a11 *a23 *b32 *c22
2 8
3 2 7 4 1 7 6
- ---*a11 *a23 *b32 *c33 + ----*a11*a23 *b32 ) + u3*v2*(
8 16
1 9 2 2 9 2 1 9 2 2
---*a11 *a23*b32 *c22 + a11 *a23*b32 *c22*c33 + ---*a11 *a23*b32 *c33
2 2
8 3 3 8 3 2 8 3 2
- 4*a11 *a23 *c22 - 4*a11 *a23 *c22 *c33 + 4*a11 *a23 *c22*c33
8 3 3 1 8 4 1 8 4
+ 4*a11 *a23 *c33 - ---*a11 *a23*b32 *c22 - ---*a11 *a23*b32 *c33
8 8
1 7 3 2 2 7 3 2
+ ---*a11 *a23 *b32 *c22 - 3*a11 *a23 *b32 *c22*c33
2
7 7 3 2 2 6 5 2 6 5 3
- ---*a11 *a23 *b32 *c33 + 16*a11 *a23 *c22 *c33 - 16*a11 *a23 *c33
2
7 6 3 4 7 6 3 4
+ ---*a11 *a23 *b32 *c22 + ---*a11 *a23 *b32 *c33
8 8
13 5 5 2 2 5 5 2
- ----*a11 *a23 *b32 *c22 + 3*a11 *a23 *b32 *c22*c33
2
19 5 5 2 2 1 5 3 6 4 7 3
+ ----*a11 *a23 *b32 *c33 - ----*a11 *a23 *b32 + 4*a11 *a23 *c22
2 16
4 7 2 4 7 2 4 7 3
- 12*a11 *a23 *c22 *c33 - 4*a11 *a23 *c22*c33 + 12*a11 *a23 *c33
3 4 5 4 19 4 5 4
- ---*a11 *a23 *b32 *c22 - ----*a11 *a23 *b32 *c33
8 8
3 3 7 2 2 3 7 2
+ ---*a11 *a23 *b32 *c22 + 7*a11 *a23 *b32 *c22*c33
2
21 3 7 2 2 1 3 5 6 11 2 7 4
- ----*a11 *a23 *b32 *c33 + ---*a11 *a23 *b32 - ----*a11 *a23 *b32 *c22
2 4 8
21 2 7 4 3 7 6
+ ----*a11 *a23 *b32 *c33 - ----*a11*a23 *b32 ) + u3*v3*(
8 16
8 2 2 2 8 2 2 8 2 2 2
a11 *a23 *b32 *c22 + 2*a11 *a23 *b32 *c22*c33 + a11 *a23 *b32 *c33
7 4 3 7 4 2 7 4 2
- 8*a11 *a23 *c22 - 8*a11 *a23 *c22 *c33 + 8*a11 *a23 *c22*c33
7 4 3 6 4 2 2 6 4 2
+ 8*a11 *a23 *c33 - 3*a11 *a23 *b32 *c22 - 6*a11 *a23 *b32 *c22*c33
6 4 2 2 5 6 3 5 6 2
- 3*a11 *a23 *b32 *c33 + 16*a11 *a23 *c22 + 16*a11 *a23 *c22 *c33
5 6 2 5 6 3 5 4 4
- 16*a11 *a23 *c22*c33 - 16*a11 *a23 *c33 + a11 *a23 *b32 *c22
5 4 4 4 6 2 2 4 6 2
+ a11 *a23 *b32 *c33 - 5*a11 *a23 *b32 *c22 + 6*a11 *a23 *b32 *c22*c33
4 6 2 2 3 8 3 3 8 2
+ 11*a11 *a23 *b32 *c33 - 8*a11 *a23 *c22 - 8*a11 *a23 *c22 *c33
3 8 2 3 8 3 3 6 4
+ 8*a11 *a23 *c22*c33 + 8*a11 *a23 *c33 - 2*a11 *a23 *b32 *c22
3 6 4 2 8 2 2 2 8 2
- 2*a11 *a23 *b32 *c33 + 7*a11 *a23 *b32 *c22 - 2*a11 *a23 *b32 *c22*c33
2 8 2 2 1 2 6 6 8 4
- 9*a11 *a23 *b32 *c33 + ---*a11 *a23 *b32 - a11*a23 *b32 *c22
4
8 4 1 8 6 2 1 9 3
+ 3*a11*a23 *b32 *c33 - ---*a23 *b32 ) + v1 *( - ---*a11 *a23*b32*c22
4 2
3 9 2 3 9 2
- ---*a11 *a23*b32*c22 *c33 - ---*a11 *a23*b32*c22*c33
2 2
1 9 3 3 7 3 3
- ---*a11 *a23*b32*c33 + ---*a11 *a23 *b32*c22
2 2
9 7 3 2 9 7 3 2
+ ---*a11 *a23 *b32*c22 *c33 + ---*a11 *a23 *b32*c22*c33
2 2
3 7 3 3 1 7 5
+ ---*a11 *a23 *b32*c33 + ----*a11 *a23*b32 *c22
2 32
1 7 5 5 6 3 3 2
+ ----*a11 *a23*b32 *c33 - ---*a11 *a23 *b32 *c22
32 4
3 6 3 3 1 6 3 3 2
- ---*a11 *a23 *b32 *c22*c33 - ---*a11 *a23 *b32 *c33
2 4
1 5 5 3 13 5 5 2
+ ---*a11 *a23 *b32*c22 - ----*a11 *a23 *b32*c22 *c33
2 2
13 5 5 2 1 5 5 3
- ----*a11 *a23 *b32*c22*c33 + ---*a11 *a23 *b32*c33
2 2
3 5 3 5 3 5 3 5
- ----*a11 *a23 *b32 *c22 - ----*a11 *a23 *b32 *c33
32 32
5 4 5 3 2 4 5 3
+ ---*a11 *a23 *b32 *c22 + 3*a11 *a23 *b32 *c22*c33
2
1 4 5 3 2 1 4 3 7 3 3 7 3
+ ---*a11 *a23 *b32 *c33 + ----*a11 *a23 *b32 - ---*a11 *a23 *b32*c22
2 64 2
7 3 7 2 7 3 7 2
+ ---*a11 *a23 *b32*c22 *c33 + ---*a11 *a23 *b32*c22*c33
2 2
3 3 7 3 17 3 5 5
- ---*a11 *a23 *b32*c33 - ----*a11 *a23 *b32 *c22
2 32
1 3 5 5 1 2 7 3 2
- ----*a11 *a23 *b32 *c33 - ---*a11 *a23 *b32 *c22
32 4
7 2 7 3 3 2 7 3 2
- ---*a11 *a23 *b32 *c22*c33 + ---*a11 *a23 *b32 *c33
2 4
1 2 5 7 19 7 5 3 7 5
- ----*a11 *a23 *b32 + ----*a11*a23 *b32 *c22 + ----*a11*a23 *b32 *c33
32 32 32
3 7 7 1 8 5 1 8 5
- ----*a23 *b32 ) + v2*v3*( - ----*a11 *b32 *c22 - ----*a11 *b32 *c33
64 16 16
7 2 3 2 7 2 3 2 1 7 7
+ a11 *a23 *b32 *c22 - a11 *a23 *b32 *c33 - ----*a11 *b32
64
6 4 3 6 4 2
- 4*a11 *a23 *b32*c22 + 4*a11 *a23 *b32*c22 *c33
6 4 2 6 4 3
+ 4*a11 *a23 *b32*c22*c33 - 4*a11 *a23 *b32*c33
9 6 2 5 3 6 2 5
+ ----*a11 *a23 *b32 *c22 - ----*a11 *a23 *b32 *c33
16 16
5 4 3 2 5 4 3 5 4 3 2
- 5*a11 *a23 *b32 *c22 + 6*a11 *a23 *b32 *c22*c33 - a11 *a23 *b32 *c33
1 5 2 7 4 6 3 4 6 2
+ ----*a11 *a23 *b32 + 12*a11 *a23 *b32*c22 - 28*a11 *a23 *b32*c22 *c33
64
4 6 2 4 6 3
+ 20*a11 *a23 *b32*c22*c33 - 4*a11 *a23 *b32*c33
7 4 4 5 1 4 4 5
- ----*a11 *a23 *b32 *c22 + ----*a11 *a23 *b32 *c33
16 16
3 6 3 2 3 6 3 1 3 4 7
+ 2*a11 *a23 *b32 *c22 - 2*a11 *a23 *b32 *c22*c33 + ----*a11 *a23 *b32
64
1 2 6 5 3 2 6 5 1 6 7
- ----*a11 *a23 *b32 *c22 + ----*a11 *a23 *b32 *c33 - ----*a11*a23 *b32 )
16 16 64
2 1 8 3 2 1 8 3
+ v3 *(---*a11 *a23*b32 *c22 + ---*a11 *a23*b32 *c22*c33
4 2
1 8 3 2 7 3 3
+ ---*a11 *a23*b32 *c33 - 2*a11 *a23 *b32*c22
4
7 3 2 7 3 2
- 2*a11 *a23 *b32*c22 *c33 + 2*a11 *a23 *b32*c22*c33
7 3 3 1 7 5
+ 2*a11 *a23 *b32*c33 + ----*a11 *a23*b32 *c22
16
1 7 5 7 6 3 3 2
+ ----*a11 *a23*b32 *c33 - ---*a11 *a23 *b32 *c22
16 4
3 6 3 3 1 6 3 3 2
- ---*a11 *a23 *b32 *c22*c33 + ---*a11 *a23 *b32 *c33
2 4
5 5 3 5 5 2
+ 8*a11 *a23 *b32*c22 - 8*a11 *a23 *b32*c22*c33
1 5 3 5 1 5 3 5
+ ----*a11 *a23 *b32 *c22 + ----*a11 *a23 *b32 *c33
16 16
3 4 5 3 2 3 4 5 3
+ ---*a11 *a23 *b32 *c22 + ---*a11 *a23 *b32 *c22*c33
4 2
3 4 5 3 2 1 4 3 7
+ ---*a11 *a23 *b32 *c33 + ----*a11 *a23 *b32
4 32
3 7 3 3 7 2
- 6*a11 *a23 *b32*c22 + 2*a11 *a23 *b32*c22 *c33
3 7 2 3 7 3
+ 6*a11 *a23 *b32*c22*c33 - 2*a11 *a23 *b32*c33
13 3 5 5 3 3 5 5
- ----*a11 *a23 *b32 *c22 + ----*a11 *a23 *b32 *c33
16 16
11 2 7 3 2 9 2 7 3
+ ----*a11 *a23 *b32 *c22 - ---*a11 *a23 *b32 *c22*c33
4 2
3 2 7 3 2 3 7 5
+ ---*a11 *a23 *b32 *c33 + ----*a11*a23 *b32 *c22
4 16
3 7 5 1 7 7
+ ----*a11*a23 *b32 *c33 - ----*a23 *b32 )
16 32
{HAM,FI} = 0
And again in machine readable form:
HAM=(u1**2*(a11**7*a23*b32**2*c22 + a11**7*a23*b32**2*c33 - 8*a11**6*a23**3*c22
**2 + 8*a11**6*a23**3*c33**2 - 2*a11**5*a23**3*b32**2*c22 - 2*a11**5*a23**3*b32
**2*c33 + 8*a11**4*a23**5*c22**2 - 8*a11**4*a23**5*c33**2 + 1/2*a11**4*a23**3*
b32**4 - 3*a11**3*a23**5*b32**2*c22 + 5*a11**3*a23**5*b32**2*c33 - 1/2*a11**2*
a23**5*b32**4) + u2**2*( - 1/4*a11**6*a23*b32**4 + 4*a11**5*a23**3*b32**2*c22 -
4*a11**5*a23**3*b32**2*c33 - 16*a11**4*a23**5*c22**2 + 32*a11**4*a23**5*c22*c33
- 16*a11**4*a23**5*c33**2 + 1/2*a11**4*a23**3*b32**4 - 4*a11**3*a23**5*b32**2*
c22 + 4*a11**3*a23**5*b32**2*c33 - 1/4*a11**2*a23**5*b32**4) + u2*u3*(2*a11**6*
a23**2*b32**2*c22 + 2*a11**6*a23**2*b32**2*c33 - 16*a11**5*a23**4*c22**2 + 16*
a11**5*a23**4*c33**2 - 4*a11**4*a23**4*b32**2*c22 - 4*a11**4*a23**4*b32**2*c33 +
16*a11**3*a23**6*c22**2 - 16*a11**3*a23**6*c33**2 + a11**3*a23**4*b32**4 - 6*
a11**2*a23**6*b32**2*c22 + 10*a11**2*a23**6*b32**2*c33 - a11*a23**6*b32**4) + u3
**2*(1/4*a11**6*a23*b32**4 - 4*a11**5*a23**3*b32**2*c22 + 4*a11**5*a23**3*b32**2
*c33 + 16*a11**4*a23**5*c22**2 - 32*a11**4*a23**5*c22*c33 + 16*a11**4*a23**5*c33
**2 - 1/2*a11**4*a23**3*b32**4 + 4*a11**3*a23**5*b32**2*c22 - 4*a11**3*a23**5*
b32**2*c33 + 1/4*a11**2*a23**5*b32**4) + u3*v2*(a11**6*a23*b32**3*c22 + a11**6*
a23*b32**3*c33 - 8*a11**5*a23**3*b32*c22**2 + 8*a11**5*a23**3*b32*c33**2 - 2*a11
**4*a23**3*b32**3*c22 - 2*a11**4*a23**3*b32**3*c33 + 8*a11**3*a23**5*b32*c22**2
- 8*a11**3*a23**5*b32*c33**2 + 1/2*a11**3*a23**3*b32**5 - 3*a11**2*a23**5*b32**3
*c22 + 5*a11**2*a23**5*b32**3*c33 - 1/2*a11*a23**5*b32**5) + u3*v3*( - 4*a11**6*
a23**2*b32*c22**2 - 8*a11**6*a23**2*b32*c22*c33 - 4*a11**6*a23**2*b32*c33**2 + 8
*a11**4*a23**4*b32*c22**2 + 16*a11**4*a23**4*b32*c22*c33 + 8*a11**4*a23**4*b32*
c33**2 - 4*a11**3*a23**4*b32**3*c22 - 4*a11**3*a23**4*b32**3*c33 - 4*a11**2*a23
**6*b32*c22**2 - 8*a11**2*a23**6*b32*c22*c33 - 4*a11**2*a23**6*b32*c33**2 + 4*
a11*a23**6*b32**3*c22 + 4*a11*a23**6*b32**3*c33 - a23**6*b32**5) + v2**2*(a11**6
*a23*b32**2*c22**2 + a11**6*a23*b32**2*c22*c33 - 8*a11**5*a23**3*c22**3 + 8*a11
**5*a23**3*c22*c33**2 - 2*a11**4*a23**3*b32**2*c22**2 - 2*a11**4*a23**3*b32**2*
c22*c33 + 8*a11**3*a23**5*c22**3 - 8*a11**3*a23**5*c22*c33**2 + 1/2*a11**3*a23**
3*b32**4*c22 - 3*a11**2*a23**5*b32**2*c22**2 + 5*a11**2*a23**5*b32**2*c22*c33 -
1/2*a11*a23**5*b32**4*c22) + v2*v3*(8*a11**6*a23**2*c22**3 + 8*a11**6*a23**2*c22
**2*c33 - 8*a11**6*a23**2*c22*c33**2 - 8*a11**6*a23**2*c33**3 + 1/2*a11**6*b32**
4*c22 - 6*a11**5*a23**2*b32**2*c22**2 + 8*a11**5*a23**2*b32**2*c22*c33 - 2*a11**
5*a23**2*b32**2*c33**2 + 8*a11**4*a23**4*c22**3 - 56*a11**4*a23**4*c22**2*c33 +
56*a11**4*a23**4*c22*c33**2 - 8*a11**4*a23**4*c33**3 - 1/2*a11**4*a23**2*b32**4*
c22 + 1/2*a11**4*a23**2*b32**4*c33 + 10*a11**3*a23**4*b32**2*c22**2 - 8*a11**3*
a23**4*b32**2*c22*c33 - 2*a11**3*a23**4*b32**2*c33**2 + 1/8*a11**3*a23**2*b32**6
- a11**2*a23**4*b32**4*c22 + 1/2*a11**2*a23**4*b32**4*c33 + 1/8*a11*a23**4*b32
**6) + v3**2*(a11**6*a23*b32**2*c22*c33 + a11**6*a23*b32**2*c33**2 - 8*a11**5*
a23**3*c22**2*c33 + 8*a11**5*a23**3*c33**3 - 2*a11**4*a23**3*b32**2*c22*c33 - 2*
a11**4*a23**3*b32**2*c33**2 + 8*a11**3*a23**5*c22**2*c33 - 8*a11**3*a23**5*c33**
3 + 1/2*a11**3*a23**3*b32**4*c33 - 3*a11**2*a23**5*b32**2*c22*c33 + 5*a11**2*a23
**5*b32**2*c33**2 - 1/2*a11*a23**5*b32**4*c33))/(a11**6*a23*b32**2*c22 + a11**6*
a23*b32**2*c33 - 8*a11**5*a23**3*c22**2 + 8*a11**5*a23**3*c33**2 - 2*a11**4*a23
**3*b32**2*c22 - 2*a11**4*a23**3*b32**2*c33 + 8*a11**3*a23**5*c22**2 - 8*a11**3*
a23**5*c33**2 + 1/2*a11**3*a23**3*b32**4 - 3*a11**2*a23**5*b32**2*c22 + 5*a11**2
*a23**5*b32**2*c33 - 1/2*a11*a23**5*b32**4)$
FI=u1*v1*( - 1/8*a11**9*b32**4*c22 - 1/8*a11**9*b32**4*c33 + 2*a11**8*a23**2*b32
**2*c22**2 - 2*a11**8*a23**2*b32**2*c33**2 - 1/32*a11**8*b32**6 - 8*a11**7*a23**
4*c22**3 + 8*a11**7*a23**4*c22**2*c33 + 8*a11**7*a23**4*c22*c33**2 - 8*a11**7*
a23**4*c33**3 + 9/8*a11**7*a23**2*b32**4*c22 - 3/8*a11**7*a23**2*b32**4*c33 - 10
*a11**6*a23**4*b32**2*c22**2 + 12*a11**6*a23**4*b32**2*c22*c33 - 2*a11**6*a23**4
*b32**2*c33**2 + 1/32*a11**6*a23**2*b32**6 + 24*a11**5*a23**6*c22**3 - 56*a11**5
*a23**6*c22**2*c33 + 40*a11**5*a23**6*c22*c33**2 - 8*a11**5*a23**6*c33**3 - 7/8*
a11**5*a23**4*b32**4*c22 + 1/8*a11**5*a23**4*b32**4*c33 + 4*a11**4*a23**6*b32**2
*c22**2 - 4*a11**4*a23**6*b32**2*c22*c33 + 1/32*a11**4*a23**4*b32**6 - 1/8*a11**
3*a23**6*b32**4*c22 + 3/8*a11**3*a23**6*b32**4*c33 - 1/32*a11**2*a23**6*b32**6)
+ u2*v3*( - 1/2*a11**9*a23*b32**2*c22**2 - a11**9*a23*b32**2*c22*c33 - 1/2*a11**
9*a23*b32**2*c33**2 + 4*a11**8*a23**3*c22**3 + 4*a11**8*a23**3*c22**2*c33 - 4*
a11**8*a23**3*c22*c33**2 - 4*a11**8*a23**3*c33**3 - 1/8*a11**8*a23*b32**4*c22 -
1/8*a11**8*a23*b32**4*c33 + 7/2*a11**7*a23**3*b32**2*c22**2 + 3*a11**7*a23**3*
b32**2*c22*c33 - 1/2*a11**7*a23**3*b32**2*c33**2 - 16*a11**6*a23**5*c22**3 + 16*
a11**6*a23**5*c22*c33**2 - 1/8*a11**6*a23**3*b32**4*c22 - 1/8*a11**6*a23**3*b32
**4*c33 - 3/2*a11**5*a23**5*b32**2*c22**2 - 3*a11**5*a23**5*b32**2*c22*c33 - 3/2
*a11**5*a23**5*b32**2*c33**2 - 1/16*a11**5*a23**3*b32**6 + 12*a11**4*a23**7*c22
**3 - 4*a11**4*a23**7*c22**2*c33 - 12*a11**4*a23**7*c22*c33**2 + 4*a11**4*a23**7
*c33**3 + 13/8*a11**4*a23**5*b32**4*c22 - 3/8*a11**4*a23**5*b32**4*c33 - 11/2*
a11**3*a23**7*b32**2*c22**2 + 9*a11**3*a23**7*b32**2*c22*c33 - 3/2*a11**3*a23**7
*b32**2*c33**2 - 3/8*a11**2*a23**7*b32**4*c22 - 3/8*a11**2*a23**7*b32**4*c33 + 1
/16*a11*a23**7*b32**6) + u3*v2*(1/2*a11**9*a23*b32**2*c22**2 + a11**9*a23*b32**2
*c22*c33 + 1/2*a11**9*a23*b32**2*c33**2 - 4*a11**8*a23**3*c22**3 - 4*a11**8*a23
**3*c22**2*c33 + 4*a11**8*a23**3*c22*c33**2 + 4*a11**8*a23**3*c33**3 - 1/8*a11**
8*a23*b32**4*c22 - 1/8*a11**8*a23*b32**4*c33 + 1/2*a11**7*a23**3*b32**2*c22**2 -
3*a11**7*a23**3*b32**2*c22*c33 - 7/2*a11**7*a23**3*b32**2*c33**2 + 16*a11**6*
a23**5*c22**2*c33 - 16*a11**6*a23**5*c33**3 + 7/8*a11**6*a23**3*b32**4*c22 + 7/8
*a11**6*a23**3*b32**4*c33 - 13/2*a11**5*a23**5*b32**2*c22**2 + 3*a11**5*a23**5*
b32**2*c22*c33 + 19/2*a11**5*a23**5*b32**2*c33**2 - 1/16*a11**5*a23**3*b32**6 +
4*a11**4*a23**7*c22**3 - 12*a11**4*a23**7*c22**2*c33 - 4*a11**4*a23**7*c22*c33**
2 + 12*a11**4*a23**7*c33**3 - 3/8*a11**4*a23**5*b32**4*c22 - 19/8*a11**4*a23**5*
b32**4*c33 + 3/2*a11**3*a23**7*b32**2*c22**2 + 7*a11**3*a23**7*b32**2*c22*c33 -
21/2*a11**3*a23**7*b32**2*c33**2 + 1/4*a11**3*a23**5*b32**6 - 11/8*a11**2*a23**7
*b32**4*c22 + 21/8*a11**2*a23**7*b32**4*c33 - 3/16*a11*a23**7*b32**6) + u3*v3*(
a11**8*a23**2*b32**2*c22**2 + 2*a11**8*a23**2*b32**2*c22*c33 + a11**8*a23**2*b32
**2*c33**2 - 8*a11**7*a23**4*c22**3 - 8*a11**7*a23**4*c22**2*c33 + 8*a11**7*a23
**4*c22*c33**2 + 8*a11**7*a23**4*c33**3 - 3*a11**6*a23**4*b32**2*c22**2 - 6*a11
**6*a23**4*b32**2*c22*c33 - 3*a11**6*a23**4*b32**2*c33**2 + 16*a11**5*a23**6*c22
**3 + 16*a11**5*a23**6*c22**2*c33 - 16*a11**5*a23**6*c22*c33**2 - 16*a11**5*a23
**6*c33**3 + a11**5*a23**4*b32**4*c22 + a11**5*a23**4*b32**4*c33 - 5*a11**4*a23
**6*b32**2*c22**2 + 6*a11**4*a23**6*b32**2*c22*c33 + 11*a11**4*a23**6*b32**2*c33
**2 - 8*a11**3*a23**8*c22**3 - 8*a11**3*a23**8*c22**2*c33 + 8*a11**3*a23**8*c22*
c33**2 + 8*a11**3*a23**8*c33**3 - 2*a11**3*a23**6*b32**4*c22 - 2*a11**3*a23**6*
b32**4*c33 + 7*a11**2*a23**8*b32**2*c22**2 - 2*a11**2*a23**8*b32**2*c22*c33 - 9*
a11**2*a23**8*b32**2*c33**2 + 1/4*a11**2*a23**6*b32**6 - a11*a23**8*b32**4*c22 +
3*a11*a23**8*b32**4*c33 - 1/4*a23**8*b32**6) + v1**2*( - 1/2*a11**9*a23*b32*c22
**3 - 3/2*a11**9*a23*b32*c22**2*c33 - 3/2*a11**9*a23*b32*c22*c33**2 - 1/2*a11**9
*a23*b32*c33**3 + 3/2*a11**7*a23**3*b32*c22**3 + 9/2*a11**7*a23**3*b32*c22**2*
c33 + 9/2*a11**7*a23**3*b32*c22*c33**2 + 3/2*a11**7*a23**3*b32*c33**3 + 1/32*a11
**7*a23*b32**5*c22 + 1/32*a11**7*a23*b32**5*c33 - 5/4*a11**6*a23**3*b32**3*c22**
2 - 3/2*a11**6*a23**3*b32**3*c22*c33 - 1/4*a11**6*a23**3*b32**3*c33**2 + 1/2*a11
**5*a23**5*b32*c22**3 - 13/2*a11**5*a23**5*b32*c22**2*c33 - 13/2*a11**5*a23**5*
b32*c22*c33**2 + 1/2*a11**5*a23**5*b32*c33**3 - 3/32*a11**5*a23**3*b32**5*c22 -
3/32*a11**5*a23**3*b32**5*c33 + 5/2*a11**4*a23**5*b32**3*c22**2 + 3*a11**4*a23**
5*b32**3*c22*c33 + 1/2*a11**4*a23**5*b32**3*c33**2 + 1/64*a11**4*a23**3*b32**7 -
3/2*a11**3*a23**7*b32*c22**3 + 7/2*a11**3*a23**7*b32*c22**2*c33 + 7/2*a11**3*
a23**7*b32*c22*c33**2 - 3/2*a11**3*a23**7*b32*c33**3 - 17/32*a11**3*a23**5*b32**
5*c22 - 1/32*a11**3*a23**5*b32**5*c33 - 1/4*a11**2*a23**7*b32**3*c22**2 - 7/2*
a11**2*a23**7*b32**3*c22*c33 + 3/4*a11**2*a23**7*b32**3*c33**2 - 1/32*a11**2*a23
**5*b32**7 + 19/32*a11*a23**7*b32**5*c22 + 3/32*a11*a23**7*b32**5*c33 - 3/64*a23
**7*b32**7) + v2*v3*( - 1/16*a11**8*b32**5*c22 - 1/16*a11**8*b32**5*c33 + a11**7
*a23**2*b32**3*c22**2 - a11**7*a23**2*b32**3*c33**2 - 1/64*a11**7*b32**7 - 4*a11
**6*a23**4*b32*c22**3 + 4*a11**6*a23**4*b32*c22**2*c33 + 4*a11**6*a23**4*b32*c22
*c33**2 - 4*a11**6*a23**4*b32*c33**3 + 9/16*a11**6*a23**2*b32**5*c22 - 3/16*a11
**6*a23**2*b32**5*c33 - 5*a11**5*a23**4*b32**3*c22**2 + 6*a11**5*a23**4*b32**3*
c22*c33 - a11**5*a23**4*b32**3*c33**2 + 1/64*a11**5*a23**2*b32**7 + 12*a11**4*
a23**6*b32*c22**3 - 28*a11**4*a23**6*b32*c22**2*c33 + 20*a11**4*a23**6*b32*c22*
c33**2 - 4*a11**4*a23**6*b32*c33**3 - 7/16*a11**4*a23**4*b32**5*c22 + 1/16*a11**
4*a23**4*b32**5*c33 + 2*a11**3*a23**6*b32**3*c22**2 - 2*a11**3*a23**6*b32**3*c22
*c33 + 1/64*a11**3*a23**4*b32**7 - 1/16*a11**2*a23**6*b32**5*c22 + 3/16*a11**2*
a23**6*b32**5*c33 - 1/64*a11*a23**6*b32**7) + v3**2*(1/4*a11**8*a23*b32**3*c22**
2 + 1/2*a11**8*a23*b32**3*c22*c33 + 1/4*a11**8*a23*b32**3*c33**2 - 2*a11**7*a23
**3*b32*c22**3 - 2*a11**7*a23**3*b32*c22**2*c33 + 2*a11**7*a23**3*b32*c22*c33**2
+ 2*a11**7*a23**3*b32*c33**3 + 1/16*a11**7*a23*b32**5*c22 + 1/16*a11**7*a23*b32
**5*c33 - 7/4*a11**6*a23**3*b32**3*c22**2 - 3/2*a11**6*a23**3*b32**3*c22*c33 + 1
/4*a11**6*a23**3*b32**3*c33**2 + 8*a11**5*a23**5*b32*c22**3 - 8*a11**5*a23**5*
b32*c22*c33**2 + 1/16*a11**5*a23**3*b32**5*c22 + 1/16*a11**5*a23**3*b32**5*c33 +
3/4*a11**4*a23**5*b32**3*c22**2 + 3/2*a11**4*a23**5*b32**3*c22*c33 + 3/4*a11**4
*a23**5*b32**3*c33**2 + 1/32*a11**4*a23**3*b32**7 - 6*a11**3*a23**7*b32*c22**3 +
2*a11**3*a23**7*b32*c22**2*c33 + 6*a11**3*a23**7*b32*c22*c33**2 - 2*a11**3*a23
**7*b32*c33**3 - 13/16*a11**3*a23**5*b32**5*c22 + 3/16*a11**3*a23**5*b32**5*c33
+ 11/4*a11**2*a23**7*b32**3*c22**2 - 9/2*a11**2*a23**7*b32**3*c22*c33 + 3/4*a11
**2*a23**7*b32**3*c33**2 + 3/16*a11*a23**7*b32**5*c22 + 3/16*a11*a23**7*b32**5*
c33 - 1/32*a23**7*b32**7)$