1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
|
fp t1538,
t1531,
t1539,
t1534,
t1584,
t1536,
t1545,
t1530,
t1583,
t1582,
t1527,
t1533,
t1581,
t1528,
t1537,
t1580,
t1579,
t1578,
t1552,
t1577,
t1544,
t1535,
t1576,
t1525,
t1575,
t1574,
t1573,
t1572,
t1543,
t1526,
t1571,
t1570,
t1569,
t1568,
t1567,
t1548,
t1566,
t1565,
t1564,
t1563,
t1546,
t1562,
t1561,
t1560,
t1547,
t1559,
t1558,
t1557,
t1551,
t1556,
t1555,
t1554,
t1553,
t1550,
t1549,
t1542,
t1540,
t1532,
t1529;
t1538 = RATIONAL(-3.0,80.0);
t1531 = t1538*y;
t1539 = RATIONAL(-1.0,80.0);
t1534 = t1539*z;
t1584 = t1531+t1534;
t1536 = t1538*z;
t1545 = RATIONAL(3.0,80.0);
t1530 = t1545*y;
t1583 = t1536+t1530;
t1582 = t1536+t1531;
t1527 = t1539*y;
t1533 = t1545*z;
t1581 = t1527+t1533;
t1528 = RATIONAL(3.0,16.0)*x;
t1537 = RATIONAL(-11.0,80.0);
t1580 = t1528+t1537;
t1579 = t1528+t1534;
t1578 = t1530+t1534;
t1552 = RATIONAL(-1.0,8.0);
t1577 = t1528+t1552;
t1544 = RATIONAL(1.0,80.0);
t1535 = t1544*z;
t1576 = t1528+t1535;
t1525 = t1544*y;
t1575 = t1528+t1525;
t1574 = t1531+t1533;
t1573 = t1530+t1533;
t1572 = t1536+t1527;
t1543 = RATIONAL(1.0,16.0);
t1526 = t1543*x;
t1571 = t1527+t1526;
t1570 = t1526+t1535;
t1569 = t1525+t1526;
t1568 = t1543+t1525+t1534;
t1567 = t1527+t1543+t1535;
t1548 = RATIONAL(1.0,20.0);
t1566 = t1548+t1525+t1535;
t1565 = t1533+t1545+t1525;
t1564 = t1543+t1583;
t1563 = t1530+t1545+t1535;
t1546 = RATIONAL(1.0,40.0);
t1562 = t1546+t1573;
t1561 = t1543+t1574;
t1560 = t1548+t1581;
t1547 = RATIONAL(3.0,40.0);
t1559 = t1536+t1525+t1547;
t1558 = t1527+t1547+t1534;
t1557 = t1531+t1547+t1535;
t1551 = RATIONAL(7.0,80.0);
t1556 = t1551+t1572;
t1555 = t1551+t1584;
t1554 = RATIONAL(1.0,10.0)+t1582;
t1553 = t1548+t1578;
t1550 = RATIONAL(-3.0,20.0);
t1549 = RATIONAL(-9.0,80.0);
t1542 = RATIONAL(-1.0,10.0);
t1540 = RATIONAL(-1.0,40.0);
t1532 = RATIONAL(-1.0,16.0)*x;
t1529 = RATIONAL(-3.0,16.0)*x;
coeff_dxx_m1_m1_m1 = t1532+t1554;
coeff_dxx_0_m1_m1 = RATIONAL(-13.0,80.0)+t1528+t1573;
coeff_dxx_p1_m1_m1 = t1529+t1562;
coeff_dxx_p2_m1_m1 = t1545+t1526+t1582;
coeff_dxx_m1_0_m1 = t1532+t1556;
coeff_dxx_0_0_m1 = t1533+t1550+t1575;
coeff_dxx_p1_0_m1 = t1529+t1565;
coeff_dxx_p2_0_m1 = t1536+t1546+t1571;
coeff_dxx_m1_p1_m1 = t1532+t1559;
coeff_dxx_0_p1_m1 = t1580+t1581;
coeff_dxx_p1_p1_m1 = t1529+t1560;
coeff_dxx_p2_p1_m1 = t1536+t1544+t1569;
coeff_dxx_m1_p2_m1 = t1532+t1564;
coeff_dxx_0_p2_m1 = t1574+t1577;
coeff_dxx_p1_p2_m1 = t1529+t1561;
coeff_dxx_p2_p2_m1 = t1526+t1583;
coeff_dxx_m1_m1_0 = t1532+t1555;
coeff_dxx_0_m1_0 = t1530+t1550+t1576;
coeff_dxx_p1_m1_0 = t1529+t1563;
coeff_dxx_p2_m1_0 = t1546+t1526+t1584;
coeff_dxx_m1_0_0 = t1532+t1558;
coeff_dxx_0_0_0 = t1535+t1537+t1575;
coeff_dxx_p1_0_0 = t1529+t1566;
coeff_dxx_p2_0_0 = t1534+t1544+t1571;
coeff_dxx_m1_p1_0 = t1532+t1568;
coeff_dxx_0_p1_0 = t1552+t1527+t1576;
coeff_dxx_p1_p1_0 = t1529+t1567;
coeff_dxx_p2_p1_0 = t1534+t1569;
coeff_dxx_m1_p2_0 = t1532+t1553;
coeff_dxx_0_p2_0 = t1531+t1549+t1576;
coeff_dxx_p1_p2_0 = t1529+t1557;
coeff_dxx_p2_p2_0 = t1539+t1526+t1578;
coeff_dxx_m1_m1_p1 = t1532+t1557;
coeff_dxx_0_m1_p1 = t1578+t1580;
coeff_dxx_p1_m1_p1 = t1529+t1553;
coeff_dxx_p2_m1_p1 = t1544+t1531+t1570;
coeff_dxx_m1_0_p1 = t1532+t1567;
coeff_dxx_0_0_p1 = t1552+t1534+t1575;
coeff_dxx_p1_0_p1 = t1529+t1568;
coeff_dxx_p2_0_p1 = t1527+t1570;
coeff_dxx_m1_p1_p1 = t1532+t1566;
coeff_dxx_0_p1_p1 = t1527+t1549+t1579;
coeff_dxx_p1_p1_p1 = t1529+t1558;
coeff_dxx_p2_p1_p1 = t1539+t1535+t1569;
coeff_dxx_m1_p2_p1 = t1532+t1563;
coeff_dxx_0_p2_p1 = t1542+t1531+t1579;
coeff_dxx_p1_p2_p1 = t1529+t1555;
coeff_dxx_p2_p2_p1 = t1530+t1540+t1570;
coeff_dxx_m1_m1_p2 = t1532+t1561;
coeff_dxx_0_m1_p2 = t1577+t1583;
coeff_dxx_p1_m1_p2 = t1529+t1564;
coeff_dxx_p2_m1_p2 = t1526+t1574;
coeff_dxx_m1_0_p2 = t1532+t1560;
coeff_dxx_0_0_p2 = t1536+t1549+t1575;
coeff_dxx_p1_0_p2 = t1529+t1559;
coeff_dxx_p2_0_p2 = t1533+t1539+t1571;
coeff_dxx_m1_p1_p2 = t1532+t1565;
coeff_dxx_0_p1_p2 = t1542+t1528+t1572;
coeff_dxx_p1_p1_p2 = t1529+t1556;
coeff_dxx_p2_p1_p2 = t1533+t1540+t1569;
coeff_dxx_m1_p2_p2 = t1532+t1562;
coeff_dxx_0_p2_p2 = RATIONAL(-7.0,80.0)+t1528+t1582;
coeff_dxx_p1_p2_p2 = t1529+t1554;
coeff_dxx_p2_p2_p2 = t1538+t1526+t1573;
|
