Solution 12 to problem over
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Expressions
The solution is given through the following expressions:
3 2
r10=(4*a33*b23*c13 *m2*n1*n3*r455 + 4*a33*b23*c13 *c23*m2*n2*n3*r455
4 2 3
+ 8*a33*c13 *n1 *n3*r455 + 8*a33*c13 *c23*n1*n2*n3*r455
2 3 2 2 2 2
- 2*b23 *c13 *n1*n3 *r455 + b23 *c13 *c23*n1 *n2*r455
2 2 3 2 2 2
+ b23 *c13 *c23*n2 *r455 - 2*b23 *c13 *c23*n2*n3 *r455
2 2 3 2 2 2
- b23 *c13*c23 *n1 *r455 - b23 *c13*c23 *n1*n2 *r455)/(
2 3 2 2 3 3
2*a33 *b23 *c13 *c23 + 2*a33 *b23 *c23 )
3 2 2
r11=(2*a33*b23*c13 *m2*n1*n2*r455 - a33*b23*c13 *c23*m2*n1 *r455
2 2 4 2
+ a33*b23*c13 *c23*m2*n2 *r455 + 4*a33*c13 *n1 *n2*r455
3 2 2 3
+ 4*a33*c13 *c23*n1*n2 *r455 - b23 *c13 *n1*n2*n3*r455
2 2 2 2 3 2 2 3 3
- b23 *c13 *c23*n2 *n3*r455)/(a33 *b23 *c13 *c23 + a33 *b23 *c23 )
3 2 3 2
r12=(2*a33*b23*c13 *m2*n1 *r455 - 2*a33*b23*c13 *m2*n2 *r455
2 4 3
+ 4*a33*b23*c13 *c23*m2*n1*n2*r455 + 4*a33*c13 *n1 *r455
4 2 3 2
- 4*a33*c13 *n1*n2 *r455 + 4*a33*c13 *c23*n1 *n2*r455
3 3 2 3 2 2 3 2
- 4*a33*c13 *c23*n2 *r455 - b23 *c13 *n1 *n3*r455 + b23 *c13 *n2 *n3*r455
2 2 2 2 2
- 2*b23 *c13 *c23*n1*n2*n3*r455 + b23 *c13*c23 *n1 *n3*r455
2 2 2 2 3 2 2 3 3
+ b23 *c13*c23 *n2 *n3*r455)/(2*a33 *b23 *c13 *c23 + 2*a33 *b23 *c23 )
2 2 2 2
- c13 *n1 *n3*r455 - c13 *n2 *n3*r455
r13=----------------------------------------
2 2 2 2
a33*b23 *c13 + a33*b23 *c23
2 2 2 3
- c13 *n1 *n2*r455 - c13 *n2 *r455
r14=-------------------------------------
2 2 2 2
a33*b23 *c13 + a33*b23 *c23
2 3 2 2
- c13 *n1 *r455 - c13 *n1*n2 *r455
r15=-------------------------------------
2 2 2 2
a33*b23 *c13 + a33*b23 *c23
2 2 4 2 2 2 2 2 2
r20=( - 4*a33 *b23 *c13 *m2 *r455 - 4*a33 *b23 *c13 *c23 *m2 *r455
2 5 2 4
- 16*a33 *b23*c13 *m2*n1*r455 - 16*a33 *b23*c13 *c23*m2*n2*r455
2 6 2 2 5
- 16*a33 *c13 *n1 *r455 - 32*a33 *c13 *c23*n1*n2*r455
2 4 2 2 3 4
- 16*a33 *c13 *c23 *n2 *r455 + 4*a33*b23 *c13 *m2*n3*r455
3 2 2 2 5
+ 4*a33*b23 *c13 *c23 *m2*n3*r455 + 8*a33*b23 *c13 *n1*n3*r455
2 4 2 3 2
+ 8*a33*b23 *c13 *c23*n2*n3*r455 + 16*a33*b23 *c13 *c23 *n1*n3*r455
2 2 3 4 4 2
+ 16*a33*b23 *c13 *c23 *n2*n3*r455 - b23 *c13 *n3 *r455
4 2 2 2 4 2 2 2
- b23 *c13 *c23 *n1 *r455 + 3*b23 *c13 *c23 *n2 *r455
4 2 2 2 4 3
- b23 *c13 *c23 *n3 *r455 - 4*b23 *c13*c23 *n1*n2*r455
4 4 2 4 4 2 2 4 2 2
+ b23 *c23 *n1 *r455 + b23 *c23 *n2 *r455)/(4*a33 *b23 *c13 *c23
2 4 4
+ 4*a33 *b23 *c23 )
3 2
r21=(2*a33*b23*c13 *m2*n1*r455 + 2*a33*b23*c13*c23 *m2*n1*r455
4 2 3
+ 4*a33*c13 *n1 *r455 + 8*a33*c13 *c23*n1*n2*r455
2 2 2 2 3
- 4*a33*c13 *c23 *n1 *r455 - b23 *c13 *n1*n3*r455
2 2 2 3 2 2 2
+ b23 *c13*c23 *n1*n3*r455 + 2*b23 *c23 *n2*n3*r455)/(2*a33 *b23 *c13 *c23
2 2 3
+ 2*a33 *b23 *c23 )
2 2
- n1 *r455 + n2 *r455
r22=------------------------
2
2*a33
3 2
r23=( - 2*a33*b23*c13 *m2*n2*r455 - 2*a33*b23*c13*c23 *m2*n2*r455
4 3 2
- 4*a33*c13 *n1*n2*r455 - 8*a33*c13 *c23*n2 *r455
2 2 2 3
+ 4*a33*c13 *c23 *n1*n2*r455 + b23 *c13 *n2*n3*r455
2 2 2 2
+ 2*b23 *c13 *c23*n1*n3*r455 + 3*b23 *c13*c23 *n2*n3*r455)/(
2 2 2 2 2 3
2*a33 *b23 *c13 *c23 + 2*a33 *b23 *c23 )
n1*n2*r455
r24=------------
2
a33
3 2
r26=(2*a33*b23*c13 *m2*n1*r455 + 2*a33*b23*c13 *c23*m2*n2*r455
4 2 3 2 3
+ 4*a33*c13 *n1 *r455 + 4*a33*c13 *c23*n1*n2*r455 - b23 *c13 *n1*n3*r455
2 2 3 2 3 3
- b23 *c13 *c23*n2*n3*r455)/(a33*b23 *c13 *c23 + a33*b23 *c23 )
2 2 2 2
- c13 *n1 *r455 + c13 *n2 *r455 - 2*c13*c23*n1*n2*r455
r27=---------------------------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
2 2 2
2*c13 *n1*n2*r455 - c13*c23*n1 *r455 + c13*c23*n2 *r455
r28=---------------------------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
2 2
- 2*c13 *n2 *r455 + 2*c13*c23*n1*n2*r455
r210=-------------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
3 2
r212=(2*a33*b23*c13 *m2*n2*r455 - 2*a33*b23*c13 *c23*m2*n1*r455
4 3 2 2 3
+ 4*a33*c13 *n1*n2*r455 + 4*a33*c13 *c23*n2 *r455 - b23 *c13 *n2*n3*r455
2 2 2 2
- b23 *c13 *c23*n1*n3*r455 - 2*b23 *c13*c23 *n2*n3*r455)/(
3 2 3 3
a33*b23 *c13 *c23 + a33*b23 *c23 )
r213=0
2 2 2 2
c13 *n1 *r455 + c13 *n2 *r455
r214=-------------------------------
2 2 2 2
b23 *c13 + b23 *c23
2 2
- 2*c13 *n1*n2*r455 + 2*c13*c23*n1 *r455
r215=-------------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
3 2
r216=( - 2*a33*b23*c13 *m2*n2*r455 + 2*a33*b23*c13 *c23*m2*n1*r455
4 3 2 2 3
- 4*a33*c13 *n1*n2*r455 - 4*a33*c13 *c23*n2 *r455 + b23 *c13 *n2*n3*r455
2 2 2 2
+ b23 *c13 *c23*n1*n3*r455 + 2*b23 *c13*c23 *n2*n3*r455)/(
3 2 3 3
a33*b23 *c13 *c23 + a33*b23 *c23 )
r217=0
r218=0
r219=0
2 2 2 2
c13 *n1 *r455 + c13 *n2 *r455
r220=-------------------------------
2 2 2 2
b23 *c13 + b23 *c23
b23*c13*n2*r455 - b23*c23*n1*r455
r30=-----------------------------------
2
2*a33 *c13
2
- 2*a33*b23*m2*r455 + 4*a33*c13*n1*r455 + b23 *n3*r455
r31=---------------------------------------------------------
2
2*a33 *b23
2 6 2 4 2
r32=(8*a33 *b23*c13 *m2*r455 + 16*a33 *b23*c13 *c23 *m2*r455
2 2 4 2 7
+ 8*a33 *b23*c13 *c23 *m2*r455 + 16*a33 *c13 *n1*r455
2 6 2 5 2
+ 16*a33 *c13 *c23*n2*r455 + 16*a33 *c13 *c23 *n1*r455
2 4 3 2 6
+ 16*a33 *c13 *c23 *n2*r455 - 4*a33*b23 *c13 *n3*r455
2 4 2 2 2 4
- 8*a33*b23 *c13 *c23 *n3*r455 - 4*a33*b23 *c13 *c23 *n3*r455
4 4 4 2 3 4 5
+ b23 *c13 *c23*n2*r455 + 2*b23 *c13 *c23 *n2*r455 + b23 *c23 *n2*r455)/(
2 3 4 2 3 2 3 2 3 5
2*a33 *b23 *c13 *c23 + 4*a33 *b23 *c13 *c23 + 2*a33 *b23 *c23 )
3 2
2*c13 *n1*r455 + 2*c13 *c23*n2*r455
r33=-------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
2
r34=( - 2*a33*b23*c13*m2*r455 - 4*a33*c13 *n1*r455 - 8*a33*c13*c23*n2*r455
2 2
+ b23 *c13*n3*r455)/(2*a33 *b23*c23)
b23*c13*n1*r455 - b23*c23*n2*r455
r35=-----------------------------------
2
2*a33 *c13
2 2
- 2*c13 *c23*n1*r455 - 2*c13*c23 *n2*r455
r36=--------------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
2 7 2 5 2
r37=(8*a33 *b23*c13 *m2*r455 + 16*a33 *b23*c13 *c23 *m2*r455
2 3 4 2 8
+ 8*a33 *b23*c13 *c23 *m2*r455 + 16*a33 *c13 *n1*r455
2 7 2 6 2
+ 16*a33 *c13 *c23*n2*r455 + 16*a33 *c13 *c23 *n1*r455
2 5 3 2 7
+ 16*a33 *c13 *c23 *n2*r455 - 4*a33*b23 *c13 *n3*r455
2 5 2 2 3 4
- 8*a33*b23 *c13 *c23 *n3*r455 - 4*a33*b23 *c13 *c23 *n3*r455
4 4 2 4 2 4 4 6
- b23 *c13 *c23 *n1*r455 - 2*b23 *c13 *c23 *n1*r455 - b23 *c23 *n1*r455)/(
2 3 5 2 3 3 3 2 3 5
2*a33 *b23 *c13 *c23 + 4*a33 *b23 *c13 *c23 + 2*a33 *b23 *c13*c23 )
3 2
2*c13 *n1*r455 + 2*c13 *c23*n2*r455
r38=-------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
2 2
- 2*c13 *c23*n1*r455 - 2*c13*c23 *n2*r455
r39=--------------------------------------------
2 2
a33*b23*c13 + a33*b23*c23
r310=0
2 2
2*c13 *n2*r455 + c13*c23*n1*r455 + 3*c23 *n2*r455
r311=---------------------------------------------------
2 2
a33*c13 + a33*c23
3 2
- 4*c13 *n1*r455 - 4*c13 *c23*n2*r455
r312=----------------------------------------
2 2 2 2
b23 *c13 + b23 *c23
2*n1*r455
r313=-----------
a33
r314=0
3 2
- 4*c13 *n1*r455 - 4*c13 *c23*n2*r455
r315=----------------------------------------
2 2 2 2
b23 *c13 + b23 *c23
2
2*c13 *n2*r455 - 2*c13*c23*n1*r455
r316=------------------------------------
2 2
b23*c13 + b23*c23
r317=0
r318=0
r319=0
- 2*n2*r455
r320=--------------
a33
5 3 2
r323=(2*a33*b23*c13 *m2*r455 + 4*a33*b23*c13 *c23 *m2*r455
4 6
+ 2*a33*b23*c13*c23 *m2*r455 + 4*a33*c13 *n1*r455
5 3 3
+ 8*a33*c13 *c23*n2*r455 + 8*a33*c13 *c23 *n2*r455
2 4 2 5 2 3 2
- 4*a33*c13 *c23 *n1*r455 - b23 *c13 *n3*r455 - 2*b23 *c13 *c23 *n3*r455
2 4 2 4 2 2 3
- b23 *c13*c23 *n3*r455)/(a33*b23 *c13 *c23 + 2*a33*b23 *c13 *c23
2 5
+ a33*b23 *c23 )
2
- c13*c23*n1*r455 - c23 *n2*r455
r325=-----------------------------------
2 2
a33*c13 + a33*c23
r326=0
2
- 2*c13 *n1*r455 - 2*c13*c23*n2*r455
r328=---------------------------------------
2 2
b23*c13 + b23*c23
r329=0
2
2*c13 *n2*r455 - 2*c13*c23*n1*r455
r330=------------------------------------
2 2
b23*c13 + b23*c23
r332=0
r333=0
r334=0
- 2*n1*r455
r335=--------------
a33
5 3 2
r336=( - 2*a33*b23*c13 *m2*r455 - 4*a33*b23*c13 *c23 *m2*r455
4 6
- 2*a33*b23*c13*c23 *m2*r455 - 4*a33*c13 *n1*r455
5 3 3
- 8*a33*c13 *c23*n2*r455 - 8*a33*c13 *c23 *n2*r455
2 4 2 5 2 3 2
+ 4*a33*c13 *c23 *n1*r455 + b23 *c13 *n3*r455 + 2*b23 *c13 *c23 *n3*r455
2 4 2 4 2 2 3
+ b23 *c13*c23 *n3*r455)/(a33*b23 *c13 *c23 + 2*a33*b23 *c13 *c23
2 5
+ a33*b23 *c23 )
2
- c13 *n1*r455 - c13*c23*n2*r455
r337=-----------------------------------
2 2
a33*c13 + a33*c23
r338=0
2
c13*c23*n1*r455 + c23 *n2*r455
r339=--------------------------------
2 2
a33*c13 + a33*c23
2
- c13 *n1*r455 - c13*c23*n2*r455
r340=-----------------------------------
2 2
a33*c13 + a33*c23
r341=0
2
2*c13 *n1*r455 + 2*c13*c23*n2*r455
r342=------------------------------------
2 2
b23*c13 + b23*c23
r343=0
r344=0
r345=0
r347=0
r348=0
r349=0
2
2*c13 *n2*r455 - 2*c13*c23*n1*r455
r350=------------------------------------
2 2
b23*c13 + b23*c23
r351=0
r352=0
r353=0
r354=0
r355=0
2 2 2 2
b23 *c13 *r455 + b23 *c23 *r455
r40=---------------------------------
2 2
4*a33 *c13
- 2*c23*r455
r41=---------------
a33
2 2 4
16*a33 *c13 *r455 + b23 *r455
r42=-------------------------------
2 2
4*a33 *b23
r43=0
r44=0
- 2*c13*r455
r45=---------------
a33
2
- b23 *c23*r455
r46=------------------
2
2*a33 *c13
r47=0
r48=0
2 4 4 2
16*a33 *c13 *r455 + b23 *c23 *r455
r49=------------------------------------
2 2 2
4*a33 *b23 *c13
r410=0
r411=0
r412=0
r413=0
r415=0
b23*r455
r416=----------
a33
r417=0
r418=0
- b23*c23*r455
r419=-----------------
a33*c13
r420=0
r421=0
r422=0
r423=0
r424=0
r425=r455
r426=0
r427=0
r428=0
r429=0
r431=0
r432=0
r433=0
- b23*r455
r435=-------------
a33
r442=0
r444=0
r445=0
r448=0
r450=0
r451=0
r453=0
r454=0
r458=0
r460=0
r461=0
r463=0
r464=0
r465=0
r467=0
r468=0
r469=0
b23*c23*r455
r470=--------------
a33*c13
- 4*c13*r455
r471=---------------
b23
r472=0
r473=0
r474=0
r475=0
r476=0
r477=0
r478=0
r479=0
r480=0
r481=0
r482=0
r483=0
r484=0
r485=0
r486=0
r487=0
r488=0
r489=0
r490=0
r493=0
r495=0
r496=0
r498=0
r499=0
r4100=0
r4102=0
r4103=0
r4104=0
r4105=r455
r4106=0
r4107=0
r4108=0
r4109=0
r4110=0
r4111=0
r4112=0
r4113=0
r4114=0
r4115=0
r4117=0
r4118=0
r4119=0
r4120=0
r4121=0
r4122=0
r4123=0
r4124=0
r4125=0
- b23*c13*n2 + b23*c23*n1
m3=----------------------------
2*a33*c13
2 3 2 2 2
m1=(2*a33*b23*c13 *m2 + 4*a33*c13 *n1 + 4*a33*c13 *c23*n2 - b23 *c13 *n3
2 2
- b23 *c23 *n3)/(2*a33*b23*c13*c23)
2 2 2 2
- 2*b23 *c13 - b23 *c23
c33=----------------------------
2
4*a33*c13
2 2 2 2
- b23 *c13 + b23 *c23
c22=--------------------------
2
4*a33*c13
2
b23 *c23
c12=-----------
4*a33*c13
c11=0
b33=0
b32=0
b31=0
b22=0
b21=0
- b23*c23
b13=------------
c13
b12=0
b11=0
a23=0
a22=0
a13=0
a12=0
a11=0
4*c13*r455
r439=------------
b23
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:
r455, m2, n3, b23, n1, n2, c23, c13, a33
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.
{b23,a33}
Relevance for the application:
The new Hamiltonian in form of a list of vanishing expressions:
{a11,
a12,
a13,
a22,
a23,
b11,
b12,
b13*c13 + b23*c23,
b21,
b22,
b31,
b32,
b33,
c11,
4*a33*c12*c13 - b23**2*c23,
4*a33*c13**2*c22 + b23**2*c13**2 - b23**2*c23**2,
4*a33*c13**2*c33 + 2*b23**2*c13**2 + b23**2*c23**2,
- 2*a33*b23*c13**2*m2 + 2*a33*b23*c13*c23*m1 - 4*a33*c13**3*n1 - 4*a33*c13**2*
c23*n2 + b23**2*c13**2*n3 + b23**2*c23**2*n3,
2*a33*c13*m3 + b23*c13*n2 - b23*c23*n1}$
The system of equations related to the Hamiltonian HAM:
- u1*v3*b23*c23 2
HAM=------------------ + u1*n1 + u2*v3*b23 + u2*n2 + u3 *a33 + u3*n3
c13
2
v1*v2*b23 *c23 2 3
+ ---------------- + 2*v1*v3*c13 + v1*(2*a33*b23*c13 *m2 + 4*a33*c13 *n1
2*a33*c13
2 2 2 2 2
+ 4*a33*c13 *c23*n2 - b23 *c13 *n3 - b23 *c23 *n3)/(2*a33*b23*c13*c23)
2 2 2 2
2 - b23 *c13 + b23 *c23
+ v2 *-------------------------- + 2*v2*v3*c23 + v2*m2
2
4*a33*c13
2 2 2 2
2 - 2*b23 *c13 - b23 *c23 - b23*c13*n2 + b23*c23*n1
+ v3 *---------------------------- + v3*----------------------------
2 2*a33*c13
4*a33*c13
has apart from the Hamiltonian and Casimirs only the following first integral:
2 2
FI=u1 *v3
2 4 6 2 2 4 4 4 2 4 2 6
*(4*a33 *b23 *c13 *c23 + 8*a33 *b23 *c13 *c23 + 4*a33 *b23 *c13 *c23 ) +
2 2 3 6 2 2 3 5 3
u1 *v3*(8*a33 *b23 *c13 *c23 *n2 - 8*a33 *b23 *c13 *c23 *n1
2 3 4 4 2 3 3 5 2
+ 8*a33 *b23 *c13 *c23 *n2 - 8*a33 *b23 *c13 *c23 *n1) + u1 *(
2 2 6 2 2 2 2 6 2 2
4*a33 *b23 *c13 *c23 *n1 + 4*a33 *b23 *c13 *c23 *n2
2 2 4 4 2 2 2 4 4 2
+ 4*a33 *b23 *c13 *c23 *n1 + 4*a33 *b23 *c13 *c23 *n2 ) + u1*u3*v2*(
2 3 6 2 2 3 5 3
8*a33 *b23 *c13 *c23 *n1 + 8*a33 *b23 *c13 *c23 *n2
2 3 4 4 2 3 3 5 2
+ 8*a33 *b23 *c13 *c23 *n1 + 8*a33 *b23 *c13 *c23 *n2) + u1*v1 *(
4 6 2 4 5 3
- 4*a33*b23 *c13 *c23 *n1 - 4*a33*b23 *c13 *c23 *n2
4 4 4 4 3 5
- 4*a33*b23 *c13 *c23 *n1 - 4*a33*b23 *c13 *c23 *n2) + u1*v1*v2*(
4 5 3 4 4 4
4*a33*b23 *c13 *c23 *n1 + 4*a33*b23 *c13 *c23 *n2
4 3 5 4 2 6 2
+ 4*a33*b23 *c13 *c23 *n1 + 4*a33*b23 *c13 *c23 *n2) + u1*v2 *(
4 6 2 4 5 3
- 4*a33*b23 *c13 *c23 *n1 - 4*a33*b23 *c13 *c23 *n2
4 4 4 4 3 5 2
- 4*a33*b23 *c13 *c23 *n1 - 4*a33*b23 *c13 *c23 *n2) + u1*v2*v3 *(
2 3 7 2 2 3 5 4
- 16*a33 *b23 *c13 *c23 - 32*a33 *b23 *c13 *c23
2 3 3 6 2 3 7
- 16*a33 *b23 *c13 *c23 ) + u1*v2*v3*( - 8*a33 *b23 *c13 *c23*m2
2 3 5 3 2 3 3 5
- 16*a33 *b23 *c13 *c23 *m2 - 8*a33 *b23 *c13 *c23 *m2
2 2 8 2 2 7 2
- 16*a33 *b23 *c13 *c23*n1 - 32*a33 *b23 *c13 *c23 *n2
2 2 5 4 2 2 4 5
- 32*a33 *b23 *c13 *c23 *n2 + 16*a33 *b23 *c13 *c23 *n1
4 7 4 5 3
+ 4*a33*b23 *c13 *c23*n3 + 8*a33*b23 *c13 *c23 *n3
4 3 5 2 2 7
+ 4*a33*b23 *c13 *c23 *n3) + u1*v2*( - 8*a33 *b23 *c13 *c23*m2*n2
2 2 6 2 2 2 5 3
+ 8*a33 *b23 *c13 *c23 *m2*n1 - 8*a33 *b23 *c13 *c23 *m2*n2
2 2 4 4 2 8
+ 8*a33 *b23 *c13 *c23 *m2*n1 - 16*a33 *b23*c13 *c23*n1*n2
2 7 2 2 2 6 3
- 16*a33 *b23*c13 *c23 *n2 - 16*a33 *b23*c13 *c23 *n1*n2
2 5 4 2 3 7
- 16*a33 *b23*c13 *c23 *n2 + 4*a33*b23 *c13 *c23*n2*n3
3 6 2 3 5 3
+ 4*a33*b23 *c13 *c23 *n1*n3 + 12*a33*b23 *c13 *c23 *n2*n3
3 4 4 3 3 5
+ 4*a33*b23 *c13 *c23 *n1*n3 + 8*a33*b23 *c13 *c23 *n2*n3)
3 5 5 3 5 3 5 5 7
+ u1*v3 *(4*a33*b23 *c13 *c23 + 8*a33*b23 *c13 *c23 + 4*a33*b23 *c13*c23 )
2 4 6 2 4 4 4
+ u1*v3 *( - 8*a33*b23 *c13 *c23 *n1 - 16*a33*b23 *c13 *c23 *n1
4 2 6 3 6 2
- 8*a33*b23 *c13 *c23 *n1) + u1*v3*( - 8*a33*b23 *c13 *c23 *n1*n2
3 5 3 2 3 4 4
+ 8*a33*b23 *c13 *c23 *n1 - 8*a33*b23 *c13 *c23 *n1*n2
3 3 5 2 2 6 2 3
+ 8*a33*b23 *c13 *c23 *n1 ) + u1*( - 4*a33*b23 *c13 *c23 *n1
2 6 2 2 2 4 4 3
- 4*a33*b23 *c13 *c23 *n1*n2 - 4*a33*b23 *c13 *c23 *n1
2 4 4 2 2 2
- 4*a33*b23 *c13 *c23 *n1*n2 ) + u2 *v3
2 4 6 2 2 4 4 4 2 4 2 6
*(4*a33 *b23 *c13 *c23 + 8*a33 *b23 *c13 *c23 + 4*a33 *b23 *c13 *c23 ) +
2 2 3 6 2 2 3 5 3
u2 *v3*(8*a33 *b23 *c13 *c23 *n2 - 8*a33 *b23 *c13 *c23 *n1
2 3 4 4 2 3 3 5 2
+ 8*a33 *b23 *c13 *c23 *n2 - 8*a33 *b23 *c13 *c23 *n1) + u2 *(
2 2 6 2 2 2 2 6 2 2
4*a33 *b23 *c13 *c23 *n1 + 4*a33 *b23 *c13 *c23 *n2
2 2 4 4 2 2 2 4 4 2
+ 4*a33 *b23 *c13 *c23 *n1 + 4*a33 *b23 *c13 *c23 *n2 ) + u2*u3*v1*(
2 3 6 2 2 3 5 3
- 8*a33 *b23 *c13 *c23 *n1 - 8*a33 *b23 *c13 *c23 *n2
2 3 4 4 2 3 3 5 2
- 8*a33 *b23 *c13 *c23 *n1 - 8*a33 *b23 *c13 *c23 *n2) + u2*v1 *(
4 5 3 4 4 4
- 4*a33*b23 *c13 *c23 *n1 - 4*a33*b23 *c13 *c23 *n2
4 3 5 4 2 6 2
- 4*a33*b23 *c13 *c23 *n1 - 4*a33*b23 *c13 *c23 *n2) + u2*v1*v3
2 3 7 2 2 3 5 4 2 3 3 6
*(16*a33 *b23 *c13 *c23 + 32*a33 *b23 *c13 *c23 + 16*a33 *b23 *c13 *c23 ) +
2 3 7 2 3 5 3
u2*v1*v3*(8*a33 *b23 *c13 *c23*m2 + 16*a33 *b23 *c13 *c23 *m2
2 3 3 5 2 2 8
+ 8*a33 *b23 *c13 *c23 *m2 + 16*a33 *b23 *c13 *c23*n1
2 2 7 2 2 2 5 4
+ 32*a33 *b23 *c13 *c23 *n2 + 32*a33 *b23 *c13 *c23 *n2
2 2 4 5 4 7
- 16*a33 *b23 *c13 *c23 *n1 - 4*a33*b23 *c13 *c23*n3
4 5 3 4 3 5
- 8*a33*b23 *c13 *c23 *n3 - 4*a33*b23 *c13 *c23 *n3) + u2*v1*(
2 2 7 2 2 6 2
8*a33 *b23 *c13 *c23*m2*n2 - 8*a33 *b23 *c13 *c23 *m2*n1
2 2 5 3 2 2 4 4
+ 8*a33 *b23 *c13 *c23 *m2*n2 - 8*a33 *b23 *c13 *c23 *m2*n1
2 8 2 7 2 2
+ 16*a33 *b23*c13 *c23*n1*n2 + 16*a33 *b23*c13 *c23 *n2
2 6 3 2 5 4 2
+ 16*a33 *b23*c13 *c23 *n1*n2 + 16*a33 *b23*c13 *c23 *n2
3 7 3 6 2
- 4*a33*b23 *c13 *c23*n2*n3 - 4*a33*b23 *c13 *c23 *n1*n3
3 5 3 3 4 4
- 12*a33*b23 *c13 *c23 *n2*n3 - 4*a33*b23 *c13 *c23 *n1*n3
3 3 5 3
- 8*a33*b23 *c13 *c23 *n2*n3) + u2*v3
5 6 2 5 4 4 5 2 6
*( - 4*a33*b23 *c13 *c23 - 8*a33*b23 *c13 *c23 - 4*a33*b23 *c13 *c23 ) + u2
2 4 6 2 4 4 4
*v3 *( - 8*a33*b23 *c13 *c23 *n2 - 16*a33*b23 *c13 *c23 *n2
4 2 6 3 6 2 2
- 8*a33*b23 *c13 *c23 *n2) + u2*v3*( - 8*a33*b23 *c13 *c23 *n2
3 5 3 3 4 4 2
+ 8*a33*b23 *c13 *c23 *n1*n2 - 8*a33*b23 *c13 *c23 *n2
3 3 5 2 6 2 2
+ 8*a33*b23 *c13 *c23 *n1*n2) + u2*( - 4*a33*b23 *c13 *c23 *n1 *n2
2 6 2 3 2 4 4 2
- 4*a33*b23 *c13 *c23 *n2 - 4*a33*b23 *c13 *c23 *n1 *n2
2 4 4 3 2 2
- 4*a33*b23 *c13 *c23 *n2 ) + u3 *v3
2 4 6 2 2 4 4 4 2 4 2 6
*(4*a33 *b23 *c13 *c23 + 8*a33 *b23 *c13 *c23 + 4*a33 *b23 *c13 *c23 ) +
2 2 3 6 2 2 3 5 3
u3 *v3*(8*a33 *b23 *c13 *c23 *n2 - 8*a33 *b23 *c13 *c23 *n1
2 3 4 4 2 3 3 5 2
+ 8*a33 *b23 *c13 *c23 *n2 - 8*a33 *b23 *c13 *c23 *n1) + u3*v1 *(
2 2 7 2 2 2 6 3
- 16*a33 *b23 *c13 *c23 *n1 - 16*a33 *b23 *c13 *c23 *n2
2 2 5 4 2 2 4 5 2
- 16*a33 *b23 *c13 *c23 *n1 - 16*a33 *b23 *c13 *c23 *n2) + u3*v1*v3
5 5 3 5 3 5 5 7
*( - 4*a33*b23 *c13 *c23 - 8*a33*b23 *c13 *c23 - 4*a33*b23 *c13*c23 ) + u3
4 6 2 4 4 4
*v1*v3*(8*a33*b23 *c13 *c23 *n1 + 16*a33*b23 *c13 *c23 *n1
4 2 6 3 6 2
+ 8*a33*b23 *c13 *c23 *n1) + u3*v1*(8*a33*b23 *c13 *c23 *n1*n2
3 5 3 2 3 5 3 2
- 4*a33*b23 *c13 *c23 *n1 + 4*a33*b23 *c13 *c23 *n2
3 4 4 3 3 5 2
+ 8*a33*b23 *c13 *c23 *n1*n2 - 4*a33*b23 *c13 *c23 *n1
3 3 5 2 2 2 2 7 2
+ 4*a33*b23 *c13 *c23 *n2 ) + u3*v2 *( - 16*a33 *b23 *c13 *c23 *n1
2 2 6 3 2 2 5 4
- 16*a33 *b23 *c13 *c23 *n2 - 16*a33 *b23 *c13 *c23 *n1
2 2 4 5 2
- 16*a33 *b23 *c13 *c23 *n2) + u3*v2*v3
5 6 2 5 4 4 5 2 6
*(4*a33*b23 *c13 *c23 + 8*a33*b23 *c13 *c23 + 4*a33*b23 *c13 *c23 ) + u3*v2
4 6 2 4 5 3
*v3*(8*a33*b23 *c13 *c23 *n2 + 4*a33*b23 *c13 *c23 *n1
4 4 4 4 3 5
+ 20*a33*b23 *c13 *c23 *n2 + 4*a33*b23 *c13 *c23 *n1
4 2 6 3 6 2 2
+ 12*a33*b23 *c13 *c23 *n2) + u3*v2*( - 4*a33*b23 *c13 *c23 *n1
3 6 2 2 3 5 3
+ 4*a33*b23 *c13 *c23 *n2 - 8*a33*b23 *c13 *c23 *n1*n2
3 4 4 2 3 4 4 2
- 4*a33*b23 *c13 *c23 *n1 + 4*a33*b23 *c13 *c23 *n2
3 3 5 2 2 7
- 8*a33*b23 *c13 *c23 *n1*n2) + u3*v3*(8*a33 *b23 *c13 *c23*m2*n1
2 2 6 2 2 2 5 3
+ 8*a33 *b23 *c13 *c23 *m2*n2 + 8*a33 *b23 *c13 *c23 *m2*n1
2 2 4 4 2 8 2
+ 8*a33 *b23 *c13 *c23 *m2*n2 + 16*a33 *b23*c13 *c23*n1
2 7 2 2 6 3 2
+ 16*a33 *b23*c13 *c23 *n1*n2 + 16*a33 *b23*c13 *c23 *n1
2 5 4 3 7
+ 16*a33 *b23*c13 *c23 *n1*n2 - 4*a33*b23 *c13 *c23*n1*n3
3 6 2 3 5 3
- 4*a33*b23 *c13 *c23 *n2*n3 - 4*a33*b23 *c13 *c23 *n1*n3
3 4 4 2 6 2 2
- 4*a33*b23 *c13 *c23 *n2*n3) + u3*( - 4*a33*b23 *c13 *c23 *n1 *n3
2 6 2 2 2 4 4 2
- 4*a33*b23 *c13 *c23 *n2 *n3 - 4*a33*b23 *c13 *c23 *n1 *n3
2 4 4 2 3 3 6 3
- 4*a33*b23 *c13 *c23 *n2 *n3) + v1 *( - 8*a33*b23 *c13 *c23 *n1
3 5 4 3 4 5
- 8*a33*b23 *c13 *c23 *n2 - 8*a33*b23 *c13 *c23 *n1
3 3 6 2 3 7 2
- 8*a33*b23 *c13 *c23 *n2) + v1 *v2*(8*a33*b23 *c13 *c23 *n1
3 6 3 3 5 4
+ 8*a33*b23 *c13 *c23 *n2 + 8*a33*b23 *c13 *c23 *n1
3 4 5 2 2 2 2 8 2
+ 8*a33*b23 *c13 *c23 *n2) + v1 *v3 *(16*a33 *b23 *c13 *c23
2 2 6 4 2 2 4 6 6 4 4
+ 32*a33 *b23 *c13 *c23 + 16*a33 *b23 *c13 *c23 + b23 *c13 *c23
6 2 6 6 8 2 2 2 8
+ 2*b23 *c13 *c23 + b23 *c23 ) + v1 *v3*(16*a33 *b23 *c13 *c23*m2
2 2 6 3 2 2 4 5
+ 32*a33 *b23 *c13 *c23 *m2 + 16*a33 *b23 *c13 *c23 *m2
2 9 2 8 2
+ 32*a33 *b23*c13 *c23*n1 + 32*a33 *b23*c13 *c23 *n2
2 7 3 2 6 4
+ 32*a33 *b23*c13 *c23 *n1 + 32*a33 *b23*c13 *c23 *n2
3 8 3 6 3
- 8*a33*b23 *c13 *c23*n3 - 16*a33*b23 *c13 *c23 *n3
3 4 5 5 5 3 5 3 5
- 8*a33*b23 *c13 *c23 *n3 - 2*b23 *c13 *c23 *n1 - 4*b23 *c13 *c23 *n1
5 7 2 3 6 3
- 2*b23 *c13*c23 *n1) + v1*v2 *( - 8*a33*b23 *c13 *c23 *n1
3 5 4 3 4 5
- 8*a33*b23 *c13 *c23 *n2 - 8*a33*b23 *c13 *c23 *n1
3 3 6
- 8*a33*b23 *c13 *c23 *n2)
2 6 5 3 6 3 5 6 7
+ v1*v2*v3 *( - 2*b23 *c13 *c23 - 4*b23 *c13 *c23 - 2*b23 *c13*c23 ) + v1
5 6 2 5 5 3 5 4 4
*v2*v3*(2*b23 *c13 *c23 *n1 - 2*b23 *c13 *c23 *n2 + 4*b23 *c13 *c23 *n1
5 3 5 5 2 6 5 7
- 4*b23 *c13 *c23 *n2 + 2*b23 *c13 *c23 *n1 - 2*b23 *c13*c23 *n2) +
v1*v2
4 6 2 4 4 4 4 2 6
*(4*b23 *c13 *c23 *n1*n2 + 8*b23 *c13 *c23 *n1*n2 + 4*b23 *c13 *c23 *n1*n2) +
3
v1*v3
4 7 2 4 5 4 4 3 6
*( - 8*a33*b23 *c13 *c23 - 16*a33*b23 *c13 *c23 - 8*a33*b23 *c13 *c23 ) +
2 4 7 4 5 3
v1*v3 *( - 4*a33*b23 *c13 *c23*m2 - 8*a33*b23 *c13 *c23 *m2
4 3 5 3 8
- 4*a33*b23 *c13 *c23 *m2 - 8*a33*b23 *c13 *c23*n1
3 7 2 3 6 3
- 16*a33*b23 *c13 *c23 *n2 - 16*a33*b23 *c13 *c23 *n1
3 5 4 3 4 5
- 32*a33*b23 *c13 *c23 *n2 - 8*a33*b23 *c13 *c23 *n1
3 3 6 5 7
- 16*a33*b23 *c13 *c23 *n2 + 2*b23 *c13 *c23*n3
5 5 3 5 3 5
+ 4*b23 *c13 *c23 *n3 + 2*b23 *c13 *c23 *n3) + v1*v3*(
3 7 3 5 3
- 4*a33*b23 *c13 *c23*m2*n2 - 8*a33*b23 *c13 *c23 *m2*n2
3 3 5 2 8
- 4*a33*b23 *c13 *c23 *m2*n2 - 8*a33*b23 *c13 *c23*n1*n2
2 7 2 2 2 5 4 2
- 16*a33*b23 *c13 *c23 *n2 - 16*a33*b23 *c13 *c23 *n2
2 4 5 4 7
+ 8*a33*b23 *c13 *c23 *n1*n2 + 2*b23 *c13 *c23*n2*n3
4 6 2 4 5 3
+ 4*b23 *c13 *c23 *n1*n3 + 8*b23 *c13 *c23 *n2*n3
4 4 4 4 3 5
+ 4*b23 *c13 *c23 *n1*n3 + 6*b23 *c13 *c23 *n2*n3) + v1*(
2 7 2 2 7 2
4*a33*b23 *c13 *c23*m2*n1 - 4*a33*b23 *c13 *c23*m2*n2
2 6 2 2 5 3 2
+ 8*a33*b23 *c13 *c23 *m2*n1*n2 + 4*a33*b23 *c13 *c23 *m2*n1
2 5 3 2 2 4 4
- 4*a33*b23 *c13 *c23 *m2*n2 + 8*a33*b23 *c13 *c23 *m2*n1*n2
8 3 8 2
+ 8*a33*b23*c13 *c23*n1 - 8*a33*b23*c13 *c23*n1*n2
7 2 2 7 2 3
+ 8*a33*b23*c13 *c23 *n1 *n2 - 8*a33*b23*c13 *c23 *n2
6 3 3 6 3 2
+ 8*a33*b23*c13 *c23 *n1 - 8*a33*b23*c13 *c23 *n1*n2
5 4 2 5 4 3
+ 8*a33*b23*c13 *c23 *n1 *n2 - 8*a33*b23*c13 *c23 *n2
3 7 2 3 7 2
- 2*b23 *c13 *c23*n1 *n3 + 2*b23 *c13 *c23*n2 *n3
3 6 2 3 5 3 2
- 4*b23 *c13 *c23 *n1*n2*n3 + 4*b23 *c13 *c23 *n2 *n3
3 4 4 3 3 5 2
- 4*b23 *c13 *c23 *n1*n2*n3 + 2*b23 *c13 *c23 *n1 *n3
3 3 5 2 3 3 7 2
+ 2*b23 *c13 *c23 *n2 *n3) + v2 *(8*a33*b23 *c13 *c23 *n1
3 6 3 3 5 4
+ 8*a33*b23 *c13 *c23 *n2 + 8*a33*b23 *c13 *c23 *n1
3 4 5 2 2 2 2 8 2
+ 8*a33*b23 *c13 *c23 *n2) + v2 *v3 *(16*a33 *b23 *c13 *c23
2 2 6 4 2 2 4 6 6 6 2
+ 32*a33 *b23 *c13 *c23 + 16*a33 *b23 *c13 *c23 + b23 *c13 *c23
6 4 4 6 2 6 2 2 2 8
+ 2*b23 *c13 *c23 + b23 *c13 *c23 ) + v2 *v3*(16*a33 *b23 *c13 *c23*m2
2 2 6 3 2 2 4 5
+ 32*a33 *b23 *c13 *c23 *m2 + 16*a33 *b23 *c13 *c23 *m2
2 9 2 8 2
+ 32*a33 *b23*c13 *c23*n1 + 32*a33 *b23*c13 *c23 *n2
2 7 3 2 6 4
+ 32*a33 *b23*c13 *c23 *n1 + 32*a33 *b23*c13 *c23 *n2
3 8 3 6 3
- 8*a33*b23 *c13 *c23*n3 - 16*a33*b23 *c13 *c23 *n3
3 4 5 5 6 2 5 4 4
- 8*a33*b23 *c13 *c23 *n3 + 2*b23 *c13 *c23 *n2 + 4*b23 *c13 *c23 *n2
5 2 6 2 4 6 2 2
+ 2*b23 *c13 *c23 *n2) + v2 *( - 2*b23 *c13 *c23 *n1
4 6 2 2 4 4 4 2 4 4 4 2
+ 2*b23 *c13 *c23 *n2 - 4*b23 *c13 *c23 *n1 + 4*b23 *c13 *c23 *n2
4 2 6 2 4 2 6 2 3
- 2*b23 *c13 *c23 *n1 + 2*b23 *c13 *c23 *n2 ) + v2*v3
4 6 3 4 4 5 4 2 7
*( - 8*a33*b23 *c13 *c23 - 16*a33*b23 *c13 *c23 - 8*a33*b23 *c13 *c23 ) +
2 4 6 2 4 4 4
v2*v3 *( - 4*a33*b23 *c13 *c23 *m2 - 8*a33*b23 *c13 *c23 *m2
4 2 6 3 7 2
- 4*a33*b23 *c13 *c23 *m2 + 8*a33*b23 *c13 *c23 *n1
3 5 4 3 3 6
+ 16*a33*b23 *c13 *c23 *n1 + 8*a33*b23 *c13 *c23 *n1
5 6 2 5 4 4 5 2 6
+ 2*b23 *c13 *c23 *n3 + 4*b23 *c13 *c23 *n3 + 2*b23 *c13 *c23 *n3) +
3 7 3 5 3
v2*v3*(4*a33*b23 *c13 *c23*m2*n1 + 8*a33*b23 *c13 *c23 *m2*n1
3 3 5 2 8 2
+ 4*a33*b23 *c13 *c23 *m2*n1 + 8*a33*b23 *c13 *c23*n1
2 7 2 2 5 4
+ 16*a33*b23 *c13 *c23 *n1*n2 + 16*a33*b23 *c13 *c23 *n1*n2
2 4 5 2 4 7
- 8*a33*b23 *c13 *c23 *n1 - 2*b23 *c13 *c23*n1*n3
4 4 4 4 3 5
+ 4*b23 *c13 *c23 *n2*n3 + 2*b23 *c13 *c23 *n1*n3
4 2 6 2 7
+ 4*b23 *c13 *c23 *n2*n3) + v2*(8*a33*b23 *c13 *c23*m2*n1*n2
2 6 2 2 2 6 2 2
- 4*a33*b23 *c13 *c23 *m2*n1 + 4*a33*b23 *c13 *c23 *m2*n2
2 5 3 2 4 4 2
+ 8*a33*b23 *c13 *c23 *m2*n1*n2 - 4*a33*b23 *c13 *c23 *m2*n1
2 4 4 2 8 2
+ 4*a33*b23 *c13 *c23 *m2*n2 + 16*a33*b23*c13 *c23*n1 *n2
7 2 2 6 3 2
+ 16*a33*b23*c13 *c23 *n1*n2 + 16*a33*b23*c13 *c23 *n1 *n2
5 4 2 3 7
+ 16*a33*b23*c13 *c23 *n1*n2 - 4*b23 *c13 *c23*n1*n2*n3
3 6 2 2 3 5 3
- 4*b23 *c13 *c23 *n2 *n3 - 4*b23 *c13 *c23 *n1*n2*n3
3 4 4 2
- 4*b23 *c13 *c23 *n2 *n3)
4 6 6 2 6 4 4 6 2 6 6 8
+ v3 *(b23 *c13 *c23 + 3*b23 *c13 *c23 + 3*b23 *c13 *c23 + b23 *c23 ) +
3 5 6 2 5 5 3 5 4 4
v3 *(2*b23 *c13 *c23 *n2 - 2*b23 *c13 *c23 *n1 + 4*b23 *c13 *c23 *n2
5 3 5 5 2 6 5 7 2
- 4*b23 *c13 *c23 *n1 + 2*b23 *c13 *c23 *n2 - 2*b23 *c13*c23 *n1) + v3
2 2 8 2 2 2 6 2 2
*( - 4*a33 *b23 *c13 *m2 - 8*a33 *b23 *c13 *c23 *m2
2 2 4 4 2 2 9
- 4*a33 *b23 *c13 *c23 *m2 - 16*a33 *b23*c13 *m2*n1
2 8 2 7 2
- 16*a33 *b23*c13 *c23*m2*n2 - 16*a33 *b23*c13 *c23 *m2*n1
2 6 3 2 10 2 2 9
- 16*a33 *b23*c13 *c23 *m2*n2 - 16*a33 *c13 *n1 - 32*a33 *c13 *c23*n1*n2
2 8 2 2 2 8 2 2 2 7 3
- 16*a33 *c13 *c23 *n1 - 16*a33 *c13 *c23 *n2 - 32*a33 *c13 *c23 *n1*n2
2 6 4 2 3 8
- 16*a33 *c13 *c23 *n2 + 4*a33*b23 *c13 *m2*n3
3 6 2 3 4 4
+ 8*a33*b23 *c13 *c23 *m2*n3 + 4*a33*b23 *c13 *c23 *m2*n3
2 9 2 8
+ 8*a33*b23 *c13 *n1*n3 + 8*a33*b23 *c13 *c23*n2*n3
2 7 2 2 6 3
+ 24*a33*b23 *c13 *c23 *n1*n3 + 24*a33*b23 *c13 *c23 *n2*n3
2 5 4 2 4 5
+ 16*a33*b23 *c13 *c23 *n1*n3 + 16*a33*b23 *c13 *c23 *n2*n3
4 8 2 4 6 2 2 4 6 2 2
- b23 *c13 *n3 - b23 *c13 *c23 *n1 + 3*b23 *c13 *c23 *n2
4 6 2 2 4 5 3 4 4 4 2
- 2*b23 *c13 *c23 *n3 - 4*b23 *c13 *c23 *n1*n2 + 4*b23 *c13 *c23 *n2
4 4 4 2 4 3 5 4 2 6 2
- b23 *c13 *c23 *n3 - 4*b23 *c13 *c23 *n1*n2 + b23 *c13 *c23 *n1
4 2 6 2 2 7
+ b23 *c13 *c23 *n2 ) + v3*(8*a33*b23 *c13 *c23*m2*n1*n3
2 6 2 2 5 3
+ 8*a33*b23 *c13 *c23 *m2*n2*n3 + 8*a33*b23 *c13 *c23 *m2*n1*n3
2 4 4 8 2
+ 8*a33*b23 *c13 *c23 *m2*n2*n3 + 16*a33*b23*c13 *c23*n1 *n3
7 2 6 3 2
+ 16*a33*b23*c13 *c23 *n1*n2*n3 + 16*a33*b23*c13 *c23 *n1 *n3
5 4 3 7 2
+ 16*a33*b23*c13 *c23 *n1*n2*n3 - 4*b23 *c13 *c23*n1*n3
3 6 2 2 3 6 2 3
+ 2*b23 *c13 *c23 *n1 *n2 + 2*b23 *c13 *c23 *n2
3 6 2 2 3 5 3 3
- 4*b23 *c13 *c23 *n2*n3 - 2*b23 *c13 *c23 *n1
3 5 3 2 3 5 3 2
- 2*b23 *c13 *c23 *n1*n2 - 4*b23 *c13 *c23 *n1*n3
3 4 4 2 3 4 4 3
+ 2*b23 *c13 *c23 *n1 *n2 + 2*b23 *c13 *c23 *n2
3 4 4 2 3 3 5 3
- 4*b23 *c13 *c23 *n2*n3 - 2*b23 *c13 *c23 *n1
3 3 5 2
- 2*b23 *c13 *c23 *n1*n2 )
= a product of the elements of: {4,
c13 - i*c23,
c13 + i*c23,
2 2 2 4 4 2 2 4 2 4
u1 *v3 *(a33 *b23 *c13 *c23 + a33 *b23 *c13 *c23 )
2 2 3 4 2 2 3 3 3
+ u1 *v3*(2*a33 *b23 *c13 *c23 *n2 - 2*a33 *b23 *c13 *c23 *n1)
2 2 2 4 2 2 2 2 4 2 2
+ u1 *(a33 *b23 *c13 *c23 *n1 + a33 *b23 *c13 *c23 *n2 )
2 3 4 2 2 3 3 3
+ u1*u3*v2*(2*a33 *b23 *c13 *c23 *n1 + 2*a33 *b23 *c13 *c23 *n2)
2 4 4 2 4 3 3
+ u1*v1 *( - a33*b23 *c13 *c23 *n1 - a33*b23 *c13 *c23 *n2)
4 3 3 4 2 4
+ u1*v1*v2*(a33*b23 *c13 *c23 *n1 + a33*b23 *c13 *c23 *n2)
2 4 4 2 4 3 3
+ u1*v2 *( - a33*b23 *c13 *c23 *n1 - a33*b23 *c13 *c23 *n2)
2 2 3 5 2 2 3 3 4
+ u1*v2*v3 *( - 4*a33 *b23 *c13 *c23 - 4*a33 *b23 *c13 *c23 ) + u1*v2*v3*(
2 3 5 2 3 3 3
- 2*a33 *b23 *c13 *c23*m2 - 2*a33 *b23 *c13 *c23 *m2
2 2 6 2 2 5 2
- 4*a33 *b23 *c13 *c23*n1 - 8*a33 *b23 *c13 *c23 *n2
2 2 4 3 4 5 4 3 3
+ 4*a33 *b23 *c13 *c23 *n1 + a33*b23 *c13 *c23*n3 + a33*b23 *c13 *c23 *n3
2 2 5 2 2 4 2
) + u1*v2*( - 2*a33 *b23 *c13 *c23*m2*n2 + 2*a33 *b23 *c13 *c23 *m2*n1
2 6 2 5 2 2
- 4*a33 *b23*c13 *c23*n1*n2 - 4*a33 *b23*c13 *c23 *n2
3 5 3 4 2
+ a33*b23 *c13 *c23*n2*n3 + a33*b23 *c13 *c23 *n1*n3
3 3 3
+ 2*a33*b23 *c13 *c23 *n2*n3)
3 5 3 3 5 5
+ u1*v3 *(a33*b23 *c13 *c23 + a33*b23 *c13*c23 )
2 4 4 2 4 2 4
+ u1*v3 *( - 2*a33*b23 *c13 *c23 *n1 - 2*a33*b23 *c13 *c23 *n1)
3 4 2 3 3 3 2
+ u1*v3*( - 2*a33*b23 *c13 *c23 *n1*n2 + 2*a33*b23 *c13 *c23 *n1 )
2 4 2 3 2 4 2 2
+ u1*( - a33*b23 *c13 *c23 *n1 - a33*b23 *c13 *c23 *n1*n2 )
2 2 2 4 4 2 2 4 2 4
+ u2 *v3 *(a33 *b23 *c13 *c23 + a33 *b23 *c13 *c23 )
2 2 3 4 2 2 3 3 3
+ u2 *v3*(2*a33 *b23 *c13 *c23 *n2 - 2*a33 *b23 *c13 *c23 *n1)
2 2 2 4 2 2 2 2 4 2 2
+ u2 *(a33 *b23 *c13 *c23 *n1 + a33 *b23 *c13 *c23 *n2 )
2 3 4 2 2 3 3 3
+ u2*u3*v1*( - 2*a33 *b23 *c13 *c23 *n1 - 2*a33 *b23 *c13 *c23 *n2)
2 4 3 3 4 2 4
+ u2*v1 *( - a33*b23 *c13 *c23 *n1 - a33*b23 *c13 *c23 *n2)
2 2 3 5 2 2 3 3 4
+ u2*v1*v3 *(4*a33 *b23 *c13 *c23 + 4*a33 *b23 *c13 *c23 ) + u2*v1*v3*(
2 3 5 2 3 3 3
2*a33 *b23 *c13 *c23*m2 + 2*a33 *b23 *c13 *c23 *m2
2 2 6 2 2 5 2
+ 4*a33 *b23 *c13 *c23*n1 + 8*a33 *b23 *c13 *c23 *n2
2 2 4 3 4 5 4 3 3
- 4*a33 *b23 *c13 *c23 *n1 - a33*b23 *c13 *c23*n3 - a33*b23 *c13 *c23 *n3
2 2 5 2 2 4 2
) + u2*v1*(2*a33 *b23 *c13 *c23*m2*n2 - 2*a33 *b23 *c13 *c23 *m2*n1
2 6 2 5 2 2
+ 4*a33 *b23*c13 *c23*n1*n2 + 4*a33 *b23*c13 *c23 *n2
3 5 3 4 2
- a33*b23 *c13 *c23*n2*n3 - a33*b23 *c13 *c23 *n1*n3
3 3 3
- 2*a33*b23 *c13 *c23 *n2*n3)
3 5 4 2 5 2 4
+ u2*v3 *( - a33*b23 *c13 *c23 - a33*b23 *c13 *c23 )
2 4 4 2 4 2 4
+ u2*v3 *( - 2*a33*b23 *c13 *c23 *n2 - 2*a33*b23 *c13 *c23 *n2)
3 4 2 2 3 3 3
+ u2*v3*( - 2*a33*b23 *c13 *c23 *n2 + 2*a33*b23 *c13 *c23 *n1*n2)
2 4 2 2 2 4 2 3
+ u2*( - a33*b23 *c13 *c23 *n1 *n2 - a33*b23 *c13 *c23 *n2 )
2 2 2 4 4 2 2 4 2 4
+ u3 *v3 *(a33 *b23 *c13 *c23 + a33 *b23 *c13 *c23 )
2 2 3 4 2 2 3 3 3
+ u3 *v3*(2*a33 *b23 *c13 *c23 *n2 - 2*a33 *b23 *c13 *c23 *n1)
2 2 2 5 2 2 2 4 3
+ u3*v1 *( - 4*a33 *b23 *c13 *c23 *n1 - 4*a33 *b23 *c13 *c23 *n2)
2 5 3 3 5 5
+ u3*v1*v3 *( - a33*b23 *c13 *c23 - a33*b23 *c13*c23 )
4 4 2 4 2 4
+ u3*v1*v3*(2*a33*b23 *c13 *c23 *n1 + 2*a33*b23 *c13 *c23 *n1) + u3*v1*(
3 4 2 3 3 3 2
2*a33*b23 *c13 *c23 *n1*n2 - a33*b23 *c13 *c23 *n1
3 3 3 2
+ a33*b23 *c13 *c23 *n2 )
2 2 2 5 2 2 2 4 3
+ u3*v2 *( - 4*a33 *b23 *c13 *c23 *n1 - 4*a33 *b23 *c13 *c23 *n2)
2 5 4 2 5 2 4
+ u3*v2*v3 *(a33*b23 *c13 *c23 + a33*b23 *c13 *c23 ) + u3*v2*v3
4 4 2 4 3 3 4 2 4
*(2*a33*b23 *c13 *c23 *n2 + a33*b23 *c13 *c23 *n1 + 3*a33*b23 *c13 *c23 *n2)
3 4 2 2 3 4 2 2
+ u3*v2*( - a33*b23 *c13 *c23 *n1 + a33*b23 *c13 *c23 *n2
3 3 3 2 2 5
- 2*a33*b23 *c13 *c23 *n1*n2) + u3*v3*(2*a33 *b23 *c13 *c23*m2*n1
2 2 4 2 2 6 2
+ 2*a33 *b23 *c13 *c23 *m2*n2 + 4*a33 *b23*c13 *c23*n1
2 5 2 3 5
+ 4*a33 *b23*c13 *c23 *n1*n2 - a33*b23 *c13 *c23*n1*n3
3 4 2
- a33*b23 *c13 *c23 *n2*n3)
2 4 2 2 2 4 2 2
+ u3*( - a33*b23 *c13 *c23 *n1 *n3 - a33*b23 *c13 *c23 *n2 *n3)
3 3 4 3 3 3 4
+ v1 *( - 2*a33*b23 *c13 *c23 *n1 - 2*a33*b23 *c13 *c23 *n2)
2 3 5 2 3 4 3 2 2
+ v1 *v2*(2*a33*b23 *c13 *c23 *n1 + 2*a33*b23 *c13 *c23 *n2) + v1 *v3 *(
2 2 6 2 2 2 4 4 6 2 4
16*a33 *b23 *c13 *c23 + 16*a33 *b23 *c13 *c23 + b23 *c13 *c23
6 6 2 2 2 6
+ b23 *c23 )/4 + v1 *v3*(8*a33 *b23 *c13 *c23*m2
2 2 4 3 2 7
+ 8*a33 *b23 *c13 *c23 *m2 + 16*a33 *b23*c13 *c23*n1
2 6 2 3 6
+ 16*a33 *b23*c13 *c23 *n2 - 4*a33*b23 *c13 *c23*n3
3 4 3 5 3 3 5 5
- 4*a33*b23 *c13 *c23 *n3 - b23 *c13 *c23 *n1 - b23 *c13*c23 *n1)/2
2 3 4 3 3 3 4
+ v1*v2 *( - 2*a33*b23 *c13 *c23 *n1 - 2*a33*b23 *c13 *c23 *n2)
6 3 3 6 5
2 - b23 *c13 *c23 - b23 *c13*c23
+ v1*v2*v3 *----------------------------------- + v1*v2*v3*(
2
5 4 2 5 3 3 5 2 4
b23 *c13 *c23 *n1 - b23 *c13 *c23 *n2 + b23 *c13 *c23 *n1
5 5
- b23 *c13*c23 *n2)/2
4 4 2 4 2 4
+ v1*v2*(b23 *c13 *c23 *n1*n2 + b23 *c13 *c23 *n1*n2)
3 4 5 2 4 3 4 2
+ v1*v3 *( - 2*a33*b23 *c13 *c23 - 2*a33*b23 *c13 *c23 ) + v1*v3 *(
4 5 4 3 3
- 2*a33*b23 *c13 *c23*m2 - 2*a33*b23 *c13 *c23 *m2
3 6 3 5 2
- 4*a33*b23 *c13 *c23*n1 - 8*a33*b23 *c13 *c23 *n2
3 4 3 3 3 4 5 5
- 4*a33*b23 *c13 *c23 *n1 - 8*a33*b23 *c13 *c23 *n2 + b23 *c13 *c23*n3
5 3 3 3 5
+ b23 *c13 *c23 *n3)/2 + v1*v3*( - 2*a33*b23 *c13 *c23*m2*n2
3 3 3 2 6
- 2*a33*b23 *c13 *c23 *m2*n2 - 4*a33*b23 *c13 *c23*n1*n2
2 5 2 2 2 4 3
- 8*a33*b23 *c13 *c23 *n2 + 4*a33*b23 *c13 *c23 *n1*n2
4 5 4 4 2 4 3 3
+ b23 *c13 *c23*n2*n3 + 2*b23 *c13 *c23 *n1*n3 + 3*b23 *c13 *c23 *n2*n3)/
2 5 2 2 5 2
2 + v1*(2*a33*b23 *c13 *c23*m2*n1 - 2*a33*b23 *c13 *c23*m2*n2
2 4 2 6 3
+ 4*a33*b23 *c13 *c23 *m2*n1*n2 + 4*a33*b23*c13 *c23*n1
6 2 5 2 2
- 4*a33*b23*c13 *c23*n1*n2 + 4*a33*b23*c13 *c23 *n1 *n2
5 2 3 3 5 2
- 4*a33*b23*c13 *c23 *n2 - b23 *c13 *c23*n1 *n3
3 5 2 3 4 2
+ b23 *c13 *c23*n2 *n3 - 2*b23 *c13 *c23 *n1*n2*n3
3 3 3 2 3 3 3 2
+ b23 *c13 *c23 *n1 *n3 + b23 *c13 *c23 *n2 *n3)/2
3 3 5 2 3 4 3 2 2
+ v2 *(2*a33*b23 *c13 *c23 *n1 + 2*a33*b23 *c13 *c23 *n2) + v2 *v3 *(
2 2 6 2 2 2 4 4 6 4 2
16*a33 *b23 *c13 *c23 + 16*a33 *b23 *c13 *c23 + b23 *c13 *c23
6 2 4 2 2 2 6
+ b23 *c13 *c23 )/4 + v2 *v3*(8*a33 *b23 *c13 *c23*m2
2 2 4 3 2 7
+ 8*a33 *b23 *c13 *c23 *m2 + 16*a33 *b23*c13 *c23*n1
2 6 2 3 6
+ 16*a33 *b23*c13 *c23 *n2 - 4*a33*b23 *c13 *c23*n3
3 4 3 5 4 2 5 2 4
- 4*a33*b23 *c13 *c23 *n3 + b23 *c13 *c23 *n2 + b23 *c13 *c23 *n2)/2 +
2 4 4 2 2 4 4 2 2 4 2 4 2
v2 *( - b23 *c13 *c23 *n1 + b23 *c13 *c23 *n2 - b23 *c13 *c23 *n1
4 2 4 2
+ b23 *c13 *c23 *n2 )/2
3 4 4 3 4 2 5 2
+ v2*v3 *( - 2*a33*b23 *c13 *c23 - 2*a33*b23 *c13 *c23 ) + v2*v3 *(
4 4 2 4 2 4
- 2*a33*b23 *c13 *c23 *m2 - 2*a33*b23 *c13 *c23 *m2
3 5 2 3 3 4 5 4 2
+ 4*a33*b23 *c13 *c23 *n1 + 4*a33*b23 *c13 *c23 *n1 + b23 *c13 *c23 *n3
5 2 4 3 5
+ b23 *c13 *c23 *n3)/2 + v2*v3*(2*a33*b23 *c13 *c23*m2*n1
3 3 3 2 6 2
+ 2*a33*b23 *c13 *c23 *m2*n1 + 4*a33*b23 *c13 *c23*n1
2 5 2 2 4 3 2
+ 8*a33*b23 *c13 *c23 *n1*n2 - 4*a33*b23 *c13 *c23 *n1
4 5 4 3 3 4 2 4
- b23 *c13 *c23*n1*n3 + b23 *c13 *c23 *n1*n3 + 2*b23 *c13 *c23 *n2*n3)/2
2 5 2 4 2 2
+ v2*(2*a33*b23 *c13 *c23*m2*n1*n2 - a33*b23 *c13 *c23 *m2*n1
2 4 2 2 6 2
+ a33*b23 *c13 *c23 *m2*n2 + 4*a33*b23*c13 *c23*n1 *n2
5 2 2 3 5
+ 4*a33*b23*c13 *c23 *n1*n2 - b23 *c13 *c23*n1*n2*n3
3 4 2 2
- b23 *c13 *c23 *n2 *n3)
6 4 2 6 2 4 6 6
4 b23 *c13 *c23 + 2*b23 *c13 *c23 + b23 *c23 3
+ v3 *----------------------------------------------- + v3 *(
4
5 4 2 5 3 3 5 2 4
b23 *c13 *c23 *n2 - b23 *c13 *c23 *n1 + b23 *c13 *c23 *n2
5 5 2 2 2 6 2
- b23 *c13*c23 *n1)/2 + v3 *( - 4*a33 *b23 *c13 *m2
2 2 4 2 2 2 7
- 4*a33 *b23 *c13 *c23 *m2 - 16*a33 *b23*c13 *m2*n1
2 6 2 8 2 2 7
- 16*a33 *b23*c13 *c23*m2*n2 - 16*a33 *c13 *n1 - 32*a33 *c13 *c23*n1*n2
2 6 2 2 3 6
- 16*a33 *c13 *c23 *n2 + 4*a33*b23 *c13 *m2*n3
3 4 2 2 7
+ 4*a33*b23 *c13 *c23 *m2*n3 + 8*a33*b23 *c13 *n1*n3
2 6 2 5 2
+ 8*a33*b23 *c13 *c23*n2*n3 + 16*a33*b23 *c13 *c23 *n1*n3
2 4 3 4 6 2 4 4 2 2
+ 16*a33*b23 *c13 *c23 *n2*n3 - b23 *c13 *n3 - b23 *c13 *c23 *n1
4 4 2 2 4 4 2 2 4 3 3
+ 3*b23 *c13 *c23 *n2 - b23 *c13 *c23 *n3 - 4*b23 *c13 *c23 *n1*n2
4 2 4 2 4 2 4 2
+ b23 *c13 *c23 *n1 + b23 *c13 *c23 *n2 )/4 + v3*(
2 5 2 4 2
4*a33*b23 *c13 *c23*m2*n1*n3 + 4*a33*b23 *c13 *c23 *m2*n2*n3
6 2 5 2
+ 8*a33*b23*c13 *c23*n1 *n3 + 8*a33*b23*c13 *c23 *n1*n2*n3
3 5 2 3 4 2 2 3 4 2 3
- 2*b23 *c13 *c23*n1*n3 + b23 *c13 *c23 *n1 *n2 + b23 *c13 *c23 *n2
3 4 2 2 3 3 3 3 3 3 3 2
- 2*b23 *c13 *c23 *n2*n3 - b23 *c13 *c23 *n1 - b23 *c13 *c23 *n1*n2 )/2
}
{HAM,FI} = {8,
b23,
b23,
u1*v1 + u2*v2 + u3*v3,
c23,
c13,
c13 - i*c23,
c13 + i*c23,
a33,
2 3 3 3 3
u1*v3 *(a33*b23 *c13 *c23 + a33*b23 *c13*c23 ) + u1*v3*(
2 3 2 2 2
2*a33*b23 *c13 *c23*n2 - a33*b23 *c13 *c23 *n1
2 3
+ a33*b23 *c13*c23 *n2)
3 2 2 2
+ u1*(a33*b23*c13 *c23*n2 - a33*b23*c13 *c23 *n1*n2)
2 3 2 2 3 4
+ u2*v3 *(a33*b23 *c13 *c23 + a33*b23 *c23 ) + u2*v3*(
2 3 2 2 2
- a33*b23 *c13 *c23*n1 + a33*b23 *c13 *c23 *n2
2 3
- 2*a33*b23 *c13*c23 *n1)
3 2 2 2
+ u2*( - a33*b23*c13 *c23*n1*n2 + a33*b23*c13 *c23 *n1 )
2 2 2 2 3
+ u3*v1*( - a33*b23 *c13 *c23 *n1 - a33*b23 *c13*c23 *n2)
3 3 3 4
2 - b23 *c13*c23 *n1 - b23 *c23 *n2
+ v1 *------------------------------------
2
3 2 2 3 3
+ v1*v2*(b23 *c13 *c23 *n1 + b23 *c13*c23 *n2)
2 2 3 2 2 4
+ v1*v3 *(2*a33*b23 *c13 *c23 + 2*a33*b23 *c13*c23 ) + v1*v3*(
2 3 2 3
2*a33*b23 *c13 *c23*m2 + 2*a33*b23 *c13*c23 *m2
3 2 2 3
+ 4*a33*b23*c13 *c23 *n2 - 4*a33*b23*c13 *c23 *n1
3 3 3 3
- b23 *c13 *c23*n3 - b23 *c13*c23 *n3)/2 + v1*(
3 2 2
2*a33*b23*c13 *c23*m2*n2 - 2*a33*b23*c13 *c23 *m2*n1
2 3 2 2 2
- b23 *c13 *c23*n2*n3 - b23 *c13 *c23 *n1*n3
2 3
- 2*b23 *c13*c23 *n2*n3)/2
3 3 3 2 2
2 - b23 *c13 *c23*n1 - b23 *c13 *c23 *n2
+ v2 *-----------------------------------------
2
2 2 4 2 2 3
+ v2*v3 *( - 2*a33*b23 *c13 *c23 - 2*a33*b23 *c13 *c23 ) + v2*v3*(
2 4 2 2 2
- 2*a33*b23 *c13 *m2 - 2*a33*b23 *c13 *c23 *m2
5 4
- 4*a33*b23*c13 *n1 - 8*a33*b23*c13 *c23*n2
2 3 3 4 3 2 2
- 4*a33*b23*c13 *c23 *n2 + b23 *c13 *n3 + b23 *c13 *c23 *n3)/2 +
4 3
v2*( - 2*a33*b23*c13 *m2*n2 + 2*a33*b23*c13 *c23*m2*n1
5 4 2 4 2
- 4*a33*c13 *n1*n2 + 4*a33*c13 *c23*n1 - 4*a33*c13 *c23*n2
3 2 2 4
+ 4*a33*c13 *c23 *n1*n2 + b23 *c13 *n2*n3
2 2 2
+ b23 *c13 *c23 *n2*n3)/2
3 3 3 4
2 - b23 *c13*c23 *n1 - b23 *c23 *n2
+ v3 *------------------------------------
2
2 2 2 2 2 3
b23 *c13 *c23 *n1 + b23 *c13*c23 *n1*n2
+ v3*------------------------------------------}
2
And again in machine readable form:
HAM=( - u1*v3*b23*c23)/c13 + u1*n1 + u2*v3*b23 + u2*n2 + u3**2*a33 + u3*n3 + (v1
*v2*b23**2*c23)/(2*a33*c13) + 2*v1*v3*c13 + v1*(2*a33*b23*c13**2*m2 + 4*a33*c13
**3*n1 + 4*a33*c13**2*c23*n2 - b23**2*c13**2*n3 - b23**2*c23**2*n3)/(2*a33*b23*
c13*c23) + v2**2*( - b23**2*c13**2 + b23**2*c23**2)/(4*a33*c13**2) + 2*v2*v3*c23
+ v2*m2 + v3**2*( - 2*b23**2*c13**2 - b23**2*c23**2)/(4*a33*c13**2) + v3*( -
b23*c13*n2 + b23*c23*n1)/(2*a33*c13)$
FI=u1**2*v3**2*(4*a33**2*b23**4*c13**6*c23**2 + 8*a33**2*b23**4*c13**4*c23**4 +
4*a33**2*b23**4*c13**2*c23**6) + u1**2*v3*(8*a33**2*b23**3*c13**6*c23**2*n2 - 8*
a33**2*b23**3*c13**5*c23**3*n1 + 8*a33**2*b23**3*c13**4*c23**4*n2 - 8*a33**2*b23
**3*c13**3*c23**5*n1) + u1**2*(4*a33**2*b23**2*c13**6*c23**2*n1**2 + 4*a33**2*
b23**2*c13**6*c23**2*n2**2 + 4*a33**2*b23**2*c13**4*c23**4*n1**2 + 4*a33**2*b23
**2*c13**4*c23**4*n2**2) + u1*u3*v2*(8*a33**2*b23**3*c13**6*c23**2*n1 + 8*a33**2
*b23**3*c13**5*c23**3*n2 + 8*a33**2*b23**3*c13**4*c23**4*n1 + 8*a33**2*b23**3*
c13**3*c23**5*n2) + u1*v1**2*( - 4*a33*b23**4*c13**6*c23**2*n1 - 4*a33*b23**4*
c13**5*c23**3*n2 - 4*a33*b23**4*c13**4*c23**4*n1 - 4*a33*b23**4*c13**3*c23**5*n2
) + u1*v1*v2*(4*a33*b23**4*c13**5*c23**3*n1 + 4*a33*b23**4*c13**4*c23**4*n2 + 4*
a33*b23**4*c13**3*c23**5*n1 + 4*a33*b23**4*c13**2*c23**6*n2) + u1*v2**2*( - 4*
a33*b23**4*c13**6*c23**2*n1 - 4*a33*b23**4*c13**5*c23**3*n2 - 4*a33*b23**4*c13**
4*c23**4*n1 - 4*a33*b23**4*c13**3*c23**5*n2) + u1*v2*v3**2*( - 16*a33**2*b23**3*
c13**7*c23**2 - 32*a33**2*b23**3*c13**5*c23**4 - 16*a33**2*b23**3*c13**3*c23**6)
+ u1*v2*v3*( - 8*a33**2*b23**3*c13**7*c23*m2 - 16*a33**2*b23**3*c13**5*c23**3*
m2 - 8*a33**2*b23**3*c13**3*c23**5*m2 - 16*a33**2*b23**2*c13**8*c23*n1 - 32*a33
**2*b23**2*c13**7*c23**2*n2 - 32*a33**2*b23**2*c13**5*c23**4*n2 + 16*a33**2*b23
**2*c13**4*c23**5*n1 + 4*a33*b23**4*c13**7*c23*n3 + 8*a33*b23**4*c13**5*c23**3*
n3 + 4*a33*b23**4*c13**3*c23**5*n3) + u1*v2*( - 8*a33**2*b23**2*c13**7*c23*m2*n2
+ 8*a33**2*b23**2*c13**6*c23**2*m2*n1 - 8*a33**2*b23**2*c13**5*c23**3*m2*n2 + 8
*a33**2*b23**2*c13**4*c23**4*m2*n1 - 16*a33**2*b23*c13**8*c23*n1*n2 - 16*a33**2*
b23*c13**7*c23**2*n2**2 - 16*a33**2*b23*c13**6*c23**3*n1*n2 - 16*a33**2*b23*c13
**5*c23**4*n2**2 + 4*a33*b23**3*c13**7*c23*n2*n3 + 4*a33*b23**3*c13**6*c23**2*n1
*n3 + 12*a33*b23**3*c13**5*c23**3*n2*n3 + 4*a33*b23**3*c13**4*c23**4*n1*n3 + 8*
a33*b23**3*c13**3*c23**5*n2*n3) + u1*v3**3*(4*a33*b23**5*c13**5*c23**3 + 8*a33*
b23**5*c13**3*c23**5 + 4*a33*b23**5*c13*c23**7) + u1*v3**2*( - 8*a33*b23**4*c13
**6*c23**2*n1 - 16*a33*b23**4*c13**4*c23**4*n1 - 8*a33*b23**4*c13**2*c23**6*n1)
+ u1*v3*( - 8*a33*b23**3*c13**6*c23**2*n1*n2 + 8*a33*b23**3*c13**5*c23**3*n1**2
- 8*a33*b23**3*c13**4*c23**4*n1*n2 + 8*a33*b23**3*c13**3*c23**5*n1**2) + u1*( -
4*a33*b23**2*c13**6*c23**2*n1**3 - 4*a33*b23**2*c13**6*c23**2*n1*n2**2 - 4*a33*
b23**2*c13**4*c23**4*n1**3 - 4*a33*b23**2*c13**4*c23**4*n1*n2**2) + u2**2*v3**2*
(4*a33**2*b23**4*c13**6*c23**2 + 8*a33**2*b23**4*c13**4*c23**4 + 4*a33**2*b23**4
*c13**2*c23**6) + u2**2*v3*(8*a33**2*b23**3*c13**6*c23**2*n2 - 8*a33**2*b23**3*
c13**5*c23**3*n1 + 8*a33**2*b23**3*c13**4*c23**4*n2 - 8*a33**2*b23**3*c13**3*c23
**5*n1) + u2**2*(4*a33**2*b23**2*c13**6*c23**2*n1**2 + 4*a33**2*b23**2*c13**6*
c23**2*n2**2 + 4*a33**2*b23**2*c13**4*c23**4*n1**2 + 4*a33**2*b23**2*c13**4*c23
**4*n2**2) + u2*u3*v1*( - 8*a33**2*b23**3*c13**6*c23**2*n1 - 8*a33**2*b23**3*c13
**5*c23**3*n2 - 8*a33**2*b23**3*c13**4*c23**4*n1 - 8*a33**2*b23**3*c13**3*c23**5
*n2) + u2*v1**2*( - 4*a33*b23**4*c13**5*c23**3*n1 - 4*a33*b23**4*c13**4*c23**4*
n2 - 4*a33*b23**4*c13**3*c23**5*n1 - 4*a33*b23**4*c13**2*c23**6*n2) + u2*v1*v3**
2*(16*a33**2*b23**3*c13**7*c23**2 + 32*a33**2*b23**3*c13**5*c23**4 + 16*a33**2*
b23**3*c13**3*c23**6) + u2*v1*v3*(8*a33**2*b23**3*c13**7*c23*m2 + 16*a33**2*b23
**3*c13**5*c23**3*m2 + 8*a33**2*b23**3*c13**3*c23**5*m2 + 16*a33**2*b23**2*c13**
8*c23*n1 + 32*a33**2*b23**2*c13**7*c23**2*n2 + 32*a33**2*b23**2*c13**5*c23**4*n2
- 16*a33**2*b23**2*c13**4*c23**5*n1 - 4*a33*b23**4*c13**7*c23*n3 - 8*a33*b23**4
*c13**5*c23**3*n3 - 4*a33*b23**4*c13**3*c23**5*n3) + u2*v1*(8*a33**2*b23**2*c13
**7*c23*m2*n2 - 8*a33**2*b23**2*c13**6*c23**2*m2*n1 + 8*a33**2*b23**2*c13**5*c23
**3*m2*n2 - 8*a33**2*b23**2*c13**4*c23**4*m2*n1 + 16*a33**2*b23*c13**8*c23*n1*n2
+ 16*a33**2*b23*c13**7*c23**2*n2**2 + 16*a33**2*b23*c13**6*c23**3*n1*n2 + 16*
a33**2*b23*c13**5*c23**4*n2**2 - 4*a33*b23**3*c13**7*c23*n2*n3 - 4*a33*b23**3*
c13**6*c23**2*n1*n3 - 12*a33*b23**3*c13**5*c23**3*n2*n3 - 4*a33*b23**3*c13**4*
c23**4*n1*n3 - 8*a33*b23**3*c13**3*c23**5*n2*n3) + u2*v3**3*( - 4*a33*b23**5*c13
**6*c23**2 - 8*a33*b23**5*c13**4*c23**4 - 4*a33*b23**5*c13**2*c23**6) + u2*v3**2
*( - 8*a33*b23**4*c13**6*c23**2*n2 - 16*a33*b23**4*c13**4*c23**4*n2 - 8*a33*b23
**4*c13**2*c23**6*n2) + u2*v3*( - 8*a33*b23**3*c13**6*c23**2*n2**2 + 8*a33*b23**
3*c13**5*c23**3*n1*n2 - 8*a33*b23**3*c13**4*c23**4*n2**2 + 8*a33*b23**3*c13**3*
c23**5*n1*n2) + u2*( - 4*a33*b23**2*c13**6*c23**2*n1**2*n2 - 4*a33*b23**2*c13**6
*c23**2*n2**3 - 4*a33*b23**2*c13**4*c23**4*n1**2*n2 - 4*a33*b23**2*c13**4*c23**4
*n2**3) + u3**2*v3**2*(4*a33**2*b23**4*c13**6*c23**2 + 8*a33**2*b23**4*c13**4*
c23**4 + 4*a33**2*b23**4*c13**2*c23**6) + u3**2*v3*(8*a33**2*b23**3*c13**6*c23**
2*n2 - 8*a33**2*b23**3*c13**5*c23**3*n1 + 8*a33**2*b23**3*c13**4*c23**4*n2 - 8*
a33**2*b23**3*c13**3*c23**5*n1) + u3*v1**2*( - 16*a33**2*b23**2*c13**7*c23**2*n1
- 16*a33**2*b23**2*c13**6*c23**3*n2 - 16*a33**2*b23**2*c13**5*c23**4*n1 - 16*
a33**2*b23**2*c13**4*c23**5*n2) + u3*v1*v3**2*( - 4*a33*b23**5*c13**5*c23**3 - 8
*a33*b23**5*c13**3*c23**5 - 4*a33*b23**5*c13*c23**7) + u3*v1*v3*(8*a33*b23**4*
c13**6*c23**2*n1 + 16*a33*b23**4*c13**4*c23**4*n1 + 8*a33*b23**4*c13**2*c23**6*
n1) + u3*v1*(8*a33*b23**3*c13**6*c23**2*n1*n2 - 4*a33*b23**3*c13**5*c23**3*n1**2
+ 4*a33*b23**3*c13**5*c23**3*n2**2 + 8*a33*b23**3*c13**4*c23**4*n1*n2 - 4*a33*
b23**3*c13**3*c23**5*n1**2 + 4*a33*b23**3*c13**3*c23**5*n2**2) + u3*v2**2*( - 16
*a33**2*b23**2*c13**7*c23**2*n1 - 16*a33**2*b23**2*c13**6*c23**3*n2 - 16*a33**2*
b23**2*c13**5*c23**4*n1 - 16*a33**2*b23**2*c13**4*c23**5*n2) + u3*v2*v3**2*(4*
a33*b23**5*c13**6*c23**2 + 8*a33*b23**5*c13**4*c23**4 + 4*a33*b23**5*c13**2*c23
**6) + u3*v2*v3*(8*a33*b23**4*c13**6*c23**2*n2 + 4*a33*b23**4*c13**5*c23**3*n1 +
20*a33*b23**4*c13**4*c23**4*n2 + 4*a33*b23**4*c13**3*c23**5*n1 + 12*a33*b23**4*
c13**2*c23**6*n2) + u3*v2*( - 4*a33*b23**3*c13**6*c23**2*n1**2 + 4*a33*b23**3*
c13**6*c23**2*n2**2 - 8*a33*b23**3*c13**5*c23**3*n1*n2 - 4*a33*b23**3*c13**4*c23
**4*n1**2 + 4*a33*b23**3*c13**4*c23**4*n2**2 - 8*a33*b23**3*c13**3*c23**5*n1*n2)
+ u3*v3*(8*a33**2*b23**2*c13**7*c23*m2*n1 + 8*a33**2*b23**2*c13**6*c23**2*m2*n2
+ 8*a33**2*b23**2*c13**5*c23**3*m2*n1 + 8*a33**2*b23**2*c13**4*c23**4*m2*n2 +
16*a33**2*b23*c13**8*c23*n1**2 + 16*a33**2*b23*c13**7*c23**2*n1*n2 + 16*a33**2*
b23*c13**6*c23**3*n1**2 + 16*a33**2*b23*c13**5*c23**4*n1*n2 - 4*a33*b23**3*c13**
7*c23*n1*n3 - 4*a33*b23**3*c13**6*c23**2*n2*n3 - 4*a33*b23**3*c13**5*c23**3*n1*
n3 - 4*a33*b23**3*c13**4*c23**4*n2*n3) + u3*( - 4*a33*b23**2*c13**6*c23**2*n1**2
*n3 - 4*a33*b23**2*c13**6*c23**2*n2**2*n3 - 4*a33*b23**2*c13**4*c23**4*n1**2*n3
- 4*a33*b23**2*c13**4*c23**4*n2**2*n3) + v1**3*( - 8*a33*b23**3*c13**6*c23**3*n1
- 8*a33*b23**3*c13**5*c23**4*n2 - 8*a33*b23**3*c13**4*c23**5*n1 - 8*a33*b23**3*
c13**3*c23**6*n2) + v1**2*v2*(8*a33*b23**3*c13**7*c23**2*n1 + 8*a33*b23**3*c13**
6*c23**3*n2 + 8*a33*b23**3*c13**5*c23**4*n1 + 8*a33*b23**3*c13**4*c23**5*n2) +
v1**2*v3**2*(16*a33**2*b23**2*c13**8*c23**2 + 32*a33**2*b23**2*c13**6*c23**4 +
16*a33**2*b23**2*c13**4*c23**6 + b23**6*c13**4*c23**4 + 2*b23**6*c13**2*c23**6 +
b23**6*c23**8) + v1**2*v3*(16*a33**2*b23**2*c13**8*c23*m2 + 32*a33**2*b23**2*
c13**6*c23**3*m2 + 16*a33**2*b23**2*c13**4*c23**5*m2 + 32*a33**2*b23*c13**9*c23*
n1 + 32*a33**2*b23*c13**8*c23**2*n2 + 32*a33**2*b23*c13**7*c23**3*n1 + 32*a33**2
*b23*c13**6*c23**4*n2 - 8*a33*b23**3*c13**8*c23*n3 - 16*a33*b23**3*c13**6*c23**3
*n3 - 8*a33*b23**3*c13**4*c23**5*n3 - 2*b23**5*c13**5*c23**3*n1 - 4*b23**5*c13**
3*c23**5*n1 - 2*b23**5*c13*c23**7*n1) + v1*v2**2*( - 8*a33*b23**3*c13**6*c23**3*
n1 - 8*a33*b23**3*c13**5*c23**4*n2 - 8*a33*b23**3*c13**4*c23**5*n1 - 8*a33*b23**
3*c13**3*c23**6*n2) + v1*v2*v3**2*( - 2*b23**6*c13**5*c23**3 - 4*b23**6*c13**3*
c23**5 - 2*b23**6*c13*c23**7) + v1*v2*v3*(2*b23**5*c13**6*c23**2*n1 - 2*b23**5*
c13**5*c23**3*n2 + 4*b23**5*c13**4*c23**4*n1 - 4*b23**5*c13**3*c23**5*n2 + 2*b23
**5*c13**2*c23**6*n1 - 2*b23**5*c13*c23**7*n2) + v1*v2*(4*b23**4*c13**6*c23**2*
n1*n2 + 8*b23**4*c13**4*c23**4*n1*n2 + 4*b23**4*c13**2*c23**6*n1*n2) + v1*v3**3*
( - 8*a33*b23**4*c13**7*c23**2 - 16*a33*b23**4*c13**5*c23**4 - 8*a33*b23**4*c13
**3*c23**6) + v1*v3**2*( - 4*a33*b23**4*c13**7*c23*m2 - 8*a33*b23**4*c13**5*c23
**3*m2 - 4*a33*b23**4*c13**3*c23**5*m2 - 8*a33*b23**3*c13**8*c23*n1 - 16*a33*b23
**3*c13**7*c23**2*n2 - 16*a33*b23**3*c13**6*c23**3*n1 - 32*a33*b23**3*c13**5*c23
**4*n2 - 8*a33*b23**3*c13**4*c23**5*n1 - 16*a33*b23**3*c13**3*c23**6*n2 + 2*b23
**5*c13**7*c23*n3 + 4*b23**5*c13**5*c23**3*n3 + 2*b23**5*c13**3*c23**5*n3) + v1*
v3*( - 4*a33*b23**3*c13**7*c23*m2*n2 - 8*a33*b23**3*c13**5*c23**3*m2*n2 - 4*a33*
b23**3*c13**3*c23**5*m2*n2 - 8*a33*b23**2*c13**8*c23*n1*n2 - 16*a33*b23**2*c13**
7*c23**2*n2**2 - 16*a33*b23**2*c13**5*c23**4*n2**2 + 8*a33*b23**2*c13**4*c23**5*
n1*n2 + 2*b23**4*c13**7*c23*n2*n3 + 4*b23**4*c13**6*c23**2*n1*n3 + 8*b23**4*c13
**5*c23**3*n2*n3 + 4*b23**4*c13**4*c23**4*n1*n3 + 6*b23**4*c13**3*c23**5*n2*n3)
+ v1*(4*a33*b23**2*c13**7*c23*m2*n1**2 - 4*a33*b23**2*c13**7*c23*m2*n2**2 + 8*
a33*b23**2*c13**6*c23**2*m2*n1*n2 + 4*a33*b23**2*c13**5*c23**3*m2*n1**2 - 4*a33*
b23**2*c13**5*c23**3*m2*n2**2 + 8*a33*b23**2*c13**4*c23**4*m2*n1*n2 + 8*a33*b23*
c13**8*c23*n1**3 - 8*a33*b23*c13**8*c23*n1*n2**2 + 8*a33*b23*c13**7*c23**2*n1**2
*n2 - 8*a33*b23*c13**7*c23**2*n2**3 + 8*a33*b23*c13**6*c23**3*n1**3 - 8*a33*b23*
c13**6*c23**3*n1*n2**2 + 8*a33*b23*c13**5*c23**4*n1**2*n2 - 8*a33*b23*c13**5*c23
**4*n2**3 - 2*b23**3*c13**7*c23*n1**2*n3 + 2*b23**3*c13**7*c23*n2**2*n3 - 4*b23
**3*c13**6*c23**2*n1*n2*n3 + 4*b23**3*c13**5*c23**3*n2**2*n3 - 4*b23**3*c13**4*
c23**4*n1*n2*n3 + 2*b23**3*c13**3*c23**5*n1**2*n3 + 2*b23**3*c13**3*c23**5*n2**2
*n3) + v2**3*(8*a33*b23**3*c13**7*c23**2*n1 + 8*a33*b23**3*c13**6*c23**3*n2 + 8*
a33*b23**3*c13**5*c23**4*n1 + 8*a33*b23**3*c13**4*c23**5*n2) + v2**2*v3**2*(16*
a33**2*b23**2*c13**8*c23**2 + 32*a33**2*b23**2*c13**6*c23**4 + 16*a33**2*b23**2*
c13**4*c23**6 + b23**6*c13**6*c23**2 + 2*b23**6*c13**4*c23**4 + b23**6*c13**2*
c23**6) + v2**2*v3*(16*a33**2*b23**2*c13**8*c23*m2 + 32*a33**2*b23**2*c13**6*c23
**3*m2 + 16*a33**2*b23**2*c13**4*c23**5*m2 + 32*a33**2*b23*c13**9*c23*n1 + 32*
a33**2*b23*c13**8*c23**2*n2 + 32*a33**2*b23*c13**7*c23**3*n1 + 32*a33**2*b23*c13
**6*c23**4*n2 - 8*a33*b23**3*c13**8*c23*n3 - 16*a33*b23**3*c13**6*c23**3*n3 - 8*
a33*b23**3*c13**4*c23**5*n3 + 2*b23**5*c13**6*c23**2*n2 + 4*b23**5*c13**4*c23**4
*n2 + 2*b23**5*c13**2*c23**6*n2) + v2**2*( - 2*b23**4*c13**6*c23**2*n1**2 + 2*
b23**4*c13**6*c23**2*n2**2 - 4*b23**4*c13**4*c23**4*n1**2 + 4*b23**4*c13**4*c23
**4*n2**2 - 2*b23**4*c13**2*c23**6*n1**2 + 2*b23**4*c13**2*c23**6*n2**2) + v2*v3
**3*( - 8*a33*b23**4*c13**6*c23**3 - 16*a33*b23**4*c13**4*c23**5 - 8*a33*b23**4*
c13**2*c23**7) + v2*v3**2*( - 4*a33*b23**4*c13**6*c23**2*m2 - 8*a33*b23**4*c13**
4*c23**4*m2 - 4*a33*b23**4*c13**2*c23**6*m2 + 8*a33*b23**3*c13**7*c23**2*n1 + 16
*a33*b23**3*c13**5*c23**4*n1 + 8*a33*b23**3*c13**3*c23**6*n1 + 2*b23**5*c13**6*
c23**2*n3 + 4*b23**5*c13**4*c23**4*n3 + 2*b23**5*c13**2*c23**6*n3) + v2*v3*(4*
a33*b23**3*c13**7*c23*m2*n1 + 8*a33*b23**3*c13**5*c23**3*m2*n1 + 4*a33*b23**3*
c13**3*c23**5*m2*n1 + 8*a33*b23**2*c13**8*c23*n1**2 + 16*a33*b23**2*c13**7*c23**
2*n1*n2 + 16*a33*b23**2*c13**5*c23**4*n1*n2 - 8*a33*b23**2*c13**4*c23**5*n1**2 -
2*b23**4*c13**7*c23*n1*n3 + 4*b23**4*c13**4*c23**4*n2*n3 + 2*b23**4*c13**3*c23
**5*n1*n3 + 4*b23**4*c13**2*c23**6*n2*n3) + v2*(8*a33*b23**2*c13**7*c23*m2*n1*n2
- 4*a33*b23**2*c13**6*c23**2*m2*n1**2 + 4*a33*b23**2*c13**6*c23**2*m2*n2**2 + 8
*a33*b23**2*c13**5*c23**3*m2*n1*n2 - 4*a33*b23**2*c13**4*c23**4*m2*n1**2 + 4*a33
*b23**2*c13**4*c23**4*m2*n2**2 + 16*a33*b23*c13**8*c23*n1**2*n2 + 16*a33*b23*c13
**7*c23**2*n1*n2**2 + 16*a33*b23*c13**6*c23**3*n1**2*n2 + 16*a33*b23*c13**5*c23
**4*n1*n2**2 - 4*b23**3*c13**7*c23*n1*n2*n3 - 4*b23**3*c13**6*c23**2*n2**2*n3 -
4*b23**3*c13**5*c23**3*n1*n2*n3 - 4*b23**3*c13**4*c23**4*n2**2*n3) + v3**4*(b23
**6*c13**6*c23**2 + 3*b23**6*c13**4*c23**4 + 3*b23**6*c13**2*c23**6 + b23**6*c23
**8) + v3**3*(2*b23**5*c13**6*c23**2*n2 - 2*b23**5*c13**5*c23**3*n1 + 4*b23**5*
c13**4*c23**4*n2 - 4*b23**5*c13**3*c23**5*n1 + 2*b23**5*c13**2*c23**6*n2 - 2*b23
**5*c13*c23**7*n1) + v3**2*( - 4*a33**2*b23**2*c13**8*m2**2 - 8*a33**2*b23**2*
c13**6*c23**2*m2**2 - 4*a33**2*b23**2*c13**4*c23**4*m2**2 - 16*a33**2*b23*c13**9
*m2*n1 - 16*a33**2*b23*c13**8*c23*m2*n2 - 16*a33**2*b23*c13**7*c23**2*m2*n1 - 16
*a33**2*b23*c13**6*c23**3*m2*n2 - 16*a33**2*c13**10*n1**2 - 32*a33**2*c13**9*c23
*n1*n2 - 16*a33**2*c13**8*c23**2*n1**2 - 16*a33**2*c13**8*c23**2*n2**2 - 32*a33
**2*c13**7*c23**3*n1*n2 - 16*a33**2*c13**6*c23**4*n2**2 + 4*a33*b23**3*c13**8*m2
*n3 + 8*a33*b23**3*c13**6*c23**2*m2*n3 + 4*a33*b23**3*c13**4*c23**4*m2*n3 + 8*
a33*b23**2*c13**9*n1*n3 + 8*a33*b23**2*c13**8*c23*n2*n3 + 24*a33*b23**2*c13**7*
c23**2*n1*n3 + 24*a33*b23**2*c13**6*c23**3*n2*n3 + 16*a33*b23**2*c13**5*c23**4*
n1*n3 + 16*a33*b23**2*c13**4*c23**5*n2*n3 - b23**4*c13**8*n3**2 - b23**4*c13**6*
c23**2*n1**2 + 3*b23**4*c13**6*c23**2*n2**2 - 2*b23**4*c13**6*c23**2*n3**2 - 4*
b23**4*c13**5*c23**3*n1*n2 + 4*b23**4*c13**4*c23**4*n2**2 - b23**4*c13**4*c23**4
*n3**2 - 4*b23**4*c13**3*c23**5*n1*n2 + b23**4*c13**2*c23**6*n1**2 + b23**4*c13
**2*c23**6*n2**2) + v3*(8*a33*b23**2*c13**7*c23*m2*n1*n3 + 8*a33*b23**2*c13**6*
c23**2*m2*n2*n3 + 8*a33*b23**2*c13**5*c23**3*m2*n1*n3 + 8*a33*b23**2*c13**4*c23
**4*m2*n2*n3 + 16*a33*b23*c13**8*c23*n1**2*n3 + 16*a33*b23*c13**7*c23**2*n1*n2*
n3 + 16*a33*b23*c13**6*c23**3*n1**2*n3 + 16*a33*b23*c13**5*c23**4*n1*n2*n3 - 4*
b23**3*c13**7*c23*n1*n3**2 + 2*b23**3*c13**6*c23**2*n1**2*n2 + 2*b23**3*c13**6*
c23**2*n2**3 - 4*b23**3*c13**6*c23**2*n2*n3**2 - 2*b23**3*c13**5*c23**3*n1**3 -
2*b23**3*c13**5*c23**3*n1*n2**2 - 4*b23**3*c13**5*c23**3*n1*n3**2 + 2*b23**3*c13
**4*c23**4*n1**2*n2 + 2*b23**3*c13**4*c23**4*n2**3 - 4*b23**3*c13**4*c23**4*n2*
n3**2 - 2*b23**3*c13**3*c23**5*n1**3 - 2*b23**3*c13**3*c23**5*n1*n2**2)$