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
183
184
185
186
187
188
189
190
191
192
|
fp t1554,
t1536,
t1555,
t1543,
t1600,
t1553,
t1540,
t1599,
t1547,
t1538,
t1535,
t1598,
t1557,
t1541,
t1597,
t1537,
t1539,
t1596,
t1595,
t1594,
t1593,
t1592,
t1550,
t1591,
t1590,
t1589,
t1545,
t1588,
t1587,
t1586,
t1585,
t1534,
t1584,
t1583,
t1582,
t1581,
t1580,
t1579,
t1578,
t1548,
t1577,
t1576,
t1575,
t1574,
t1573,
t1572,
t1571,
t1556,
t1570,
t1569,
t1568,
t1567,
t1566,
t1565,
t1564,
t1559,
t1563,
t1562,
t1561,
t1558,
t1552,
t1546,
t1544,
t1542;
t1554 = RATIONAL(1.0,80.0);
t1536 = t1554*z;
t1555 = RATIONAL(-3.0,80.0);
t1543 = t1555*y;
t1600 = t1536+t1543;
t1553 = RATIONAL(1.0,16.0);
t1540 = t1553*x;
t1599 = t1540+t1554;
t1547 = RATIONAL(-1.0,80.0);
t1538 = t1547*y;
t1535 = t1547*z;
t1598 = t1538+t1535;
t1557 = RATIONAL(3.0,80.0);
t1541 = t1557*y;
t1597 = t1541+t1535;
t1537 = t1555*z;
t1539 = t1554*y;
t1596 = t1537+t1539;
t1595 = t1541+t1537;
t1594 = t1536+t1539;
t1593 = t1536+t1538;
t1592 = t1535+t1539;
t1550 = RATIONAL(1.0,40.0);
t1591 = t1540+t1550;
t1590 = t1540+t1543;
t1589 = t1535+t1543;
t1545 = RATIONAL(3.0,16.0)*x;
t1588 = t1545+t1543;
t1587 = t1537+t1538;
t1586 = t1540+RATIONAL(-1.0,40.0);
t1585 = t1540+t1547;
t1534 = t1557*z;
t1584 = t1540+t1534;
t1583 = t1541+t1545;
t1582 = t1545+t1534;
t1581 = t1534+t1539;
t1580 = t1545+t1539;
t1579 = RATIONAL(-9.0,80.0)+t1545;
t1578 = t1536+t1541;
t1548 = RATIONAL(1.0,20.0);
t1577 = t1548+t1597;
t1576 = t1553+t1592;
t1575 = t1553+t1593;
t1574 = t1553+t1534+t1543;
t1573 = t1537+t1543+RATIONAL(1.0,10.0);
t1572 = t1534+t1538+t1548;
t1571 = t1548+t1594;
t1556 = RATIONAL(3.0,40.0);
t1570 = t1556+t1598;
t1569 = t1556+t1600;
t1568 = t1556+t1596;
t1567 = t1553+t1595;
t1566 = t1557+t1581;
t1565 = t1557+t1578;
t1564 = t1541+t1534+t1550;
t1559 = RATIONAL(7.0,80.0);
t1563 = t1559+t1589;
t1562 = t1559+t1587;
t1561 = RATIONAL(-1.0,8.0);
t1558 = RATIONAL(-3.0,20.0);
t1552 = RATIONAL(-1.0,10.0);
t1546 = RATIONAL(-11.0,80.0);
t1544 = RATIONAL(-1.0,16.0)*x;
t1542 = RATIONAL(-3.0,16.0)*x;
coeff_dxx_m1_m1_m1 = t1544+t1573;
coeff_dxx_0_m1_m1 = t1541+RATIONAL(-13.0,80.0)+t1582;
coeff_dxx_p1_m1_m1 = t1542+t1564;
coeff_dxx_p2_m1_m1 = t1557+t1537+t1590;
coeff_dxx_m1_0_m1 = t1544+t1562;
coeff_dxx_0_0_m1 = t1534+t1558+t1580;
coeff_dxx_p1_0_m1 = t1542+t1566;
coeff_dxx_p2_0_m1 = t1587+t1591;
coeff_dxx_m1_p1_m1 = t1544+t1568;
coeff_dxx_0_p1_m1 = t1546+t1538+t1582;
coeff_dxx_p1_p1_m1 = t1542+t1572;
coeff_dxx_p2_p1_m1 = t1596+t1599;
coeff_dxx_m1_p2_m1 = t1544+t1567;
coeff_dxx_0_p2_m1 = t1543+t1561+t1582;
coeff_dxx_p1_p2_m1 = t1542+t1574;
coeff_dxx_p2_p2_m1 = t1540+t1595;
coeff_dxx_m1_m1_0 = t1544+t1563;
coeff_dxx_0_m1_0 = t1545+t1558+t1578;
coeff_dxx_p1_m1_0 = t1542+t1565;
coeff_dxx_p2_m1_0 = t1589+t1591;
coeff_dxx_m1_0_0 = t1544+t1570;
coeff_dxx_0_0_0 = t1546+t1536+t1580;
coeff_dxx_p1_0_0 = t1542+t1571;
coeff_dxx_p2_0_0 = t1598+t1599;
coeff_dxx_m1_p1_0 = t1544+t1576;
coeff_dxx_0_p1_0 = t1545+t1561+t1593;
coeff_dxx_p1_p1_0 = t1542+t1575;
coeff_dxx_p2_p1_0 = t1540+t1592;
coeff_dxx_m1_p2_0 = t1544+t1577;
coeff_dxx_0_p2_0 = t1579+t1600;
coeff_dxx_p1_p2_0 = t1542+t1569;
coeff_dxx_p2_p2_0 = t1585+t1597;
coeff_dxx_m1_m1_p1 = t1544+t1569;
coeff_dxx_0_m1_p1 = t1535+t1546+t1583;
coeff_dxx_p1_m1_p1 = t1542+t1577;
coeff_dxx_p2_m1_p1 = t1554+t1536+t1590;
coeff_dxx_m1_0_p1 = t1544+t1575;
coeff_dxx_0_0_p1 = t1561+t1535+t1580;
coeff_dxx_p1_0_p1 = t1542+t1576;
coeff_dxx_p2_0_p1 = t1540+t1593;
coeff_dxx_m1_p1_p1 = t1544+t1571;
coeff_dxx_0_p1_p1 = t1579+t1598;
coeff_dxx_p1_p1_p1 = t1542+t1570;
coeff_dxx_p2_p1_p1 = t1585+t1594;
coeff_dxx_m1_p2_p1 = t1544+t1565;
coeff_dxx_0_p2_p1 = t1552+t1535+t1588;
coeff_dxx_p1_p2_p1 = t1542+t1563;
coeff_dxx_p2_p2_p1 = t1578+t1586;
coeff_dxx_m1_m1_p2 = t1544+t1574;
coeff_dxx_0_m1_p2 = t1561+t1537+t1583;
coeff_dxx_p1_m1_p2 = t1542+t1567;
coeff_dxx_p2_m1_p2 = t1543+t1584;
coeff_dxx_m1_0_p2 = t1544+t1572;
coeff_dxx_0_0_p2 = t1579+t1596;
coeff_dxx_p1_0_p2 = t1542+t1568;
coeff_dxx_p2_0_p2 = t1538+t1547+t1584;
coeff_dxx_m1_p1_p2 = t1544+t1566;
coeff_dxx_0_p1_p2 = t1545+t1552+t1587;
coeff_dxx_p1_p1_p2 = t1542+t1562;
coeff_dxx_p2_p1_p2 = t1581+t1586;
coeff_dxx_m1_p2_p2 = t1544+t1564;
coeff_dxx_0_p2_p2 = RATIONAL(-7.0,80.0)+t1537+t1588;
coeff_dxx_p1_p2_p2 = t1542+t1573;
coeff_dxx_p2_p2_p2 = t1555+t1541+t1584;
|
