GCC Code Coverage Report

Directory: ./
File: lib/geogram/numerics/predicates/side3.h
Date: 2026-09-07 02:36:43
Exec Total Coverage
Lines: 812 1098 74.0%
Functions: 5 6 83.3%
Branches: 446 648 68.8%
Line Branch Exec Source
1 /* Automatically generated code, do not edit */
2 /* Generated from source file: side3.pck */
3
4 936185 inline int side3_2d_filter( const double* p0, const double* p1, const double* p2, const double* p3, const double* q0, const double* q1, const double* q2) {
5 936185 double p1_0_p0_0 = (p1[0] - p0[0]);
6 936185 double p1_1_p0_1 = (p1[1] - p0[1]);
7 double l1;
8 936185 l1 = (1 * ((p1_0_p0_0 * p1_0_p0_0) + (p1_1_p0_1 * p1_1_p0_1)));
9 936185 double p2_0_p0_0 = (p2[0] - p0[0]);
10 936185 double p2_1_p0_1 = (p2[1] - p0[1]);
11 double l2;
12 936185 l2 = (1 * ((p2_0_p0_0 * p2_0_p0_0) + (p2_1_p0_1 * p2_1_p0_1)));
13 936185 double p3_0_p0_0 = (p3[0] - p0[0]);
14 936185 double p3_1_p0_1 = (p3[1] - p0[1]);
15 double l3;
16 936185 l3 = (1 * ((p3_0_p0_0 * p3_0_p0_0) + (p3_1_p0_1 * p3_1_p0_1)));
17 936185 double q0_0_p0_0 = (q0[0] - p0[0]);
18 936185 double q0_1_p0_1 = (q0[1] - p0[1]);
19 double a10;
20 936185 a10 = (2 * ((p1_0_p0_0 * q0_0_p0_0) + (p1_1_p0_1 * q0_1_p0_1)));
21 936185 double q1_0_p0_0 = (q1[0] - p0[0]);
22 936185 double q1_1_p0_1 = (q1[1] - p0[1]);
23 double a11;
24 936185 a11 = (2 * ((p1_0_p0_0 * q1_0_p0_0) + (p1_1_p0_1 * q1_1_p0_1)));
25 936185 double q2_0_p0_0 = (q2[0] - p0[0]);
26 936185 double q2_1_p0_1 = (q2[1] - p0[1]);
27 double a12;
28 936185 a12 = (2 * ((p1_0_p0_0 * q2_0_p0_0) + (p1_1_p0_1 * q2_1_p0_1)));
29 double a20;
30 936185 a20 = (2 * ((p2_0_p0_0 * q0_0_p0_0) + (p2_1_p0_1 * q0_1_p0_1)));
31 double a21;
32 936185 a21 = (2 * ((p2_0_p0_0 * q1_0_p0_0) + (p2_1_p0_1 * q1_1_p0_1)));
33 double a22;
34 936185 a22 = (2 * ((p2_0_p0_0 * q2_0_p0_0) + (p2_1_p0_1 * q2_1_p0_1)));
35 double a30;
36 936185 a30 = (2 * ((p3_0_p0_0 * q0_0_p0_0) + (p3_1_p0_1 * q0_1_p0_1)));
37 double a31;
38 936185 a31 = (2 * ((p3_0_p0_0 * q1_0_p0_0) + (p3_1_p0_1 * q1_1_p0_1)));
39 double a32;
40 936185 a32 = (2 * ((p3_0_p0_0 * q2_0_p0_0) + (p3_1_p0_1 * q2_1_p0_1)));
41 double b00;
42 936185 b00 = ((a11 * a22) - (a12 * a21));
43 double b01;
44 936185 b01 = (a21 - a22);
45 double b02;
46 936185 b02 = (a12 - a11);
47 double b10;
48 936185 b10 = ((a12 * a20) - (a10 * a22));
49 double b11;
50 936185 b11 = (a22 - a20);
51 double b12;
52 936185 b12 = (a10 - a12);
53 double b20;
54 936185 b20 = ((a10 * a21) - (a11 * a20));
55 double b21;
56 936185 b21 = (a20 - a21);
57 double b22;
58 936185 b22 = (a11 - a10);
59 double Delta;
60 936185 Delta = ((b00 + b10) + b20);
61 double DeltaLambda0;
62 936185 DeltaLambda0 = (((b01 * l1) + (b02 * l2)) + b00);
63 double DeltaLambda1;
64 936185 DeltaLambda1 = (((b11 * l1) + (b12 * l2)) + b10);
65 double DeltaLambda2;
66 936185 DeltaLambda2 = (((b21 * l1) + (b22 * l2)) + b20);
67 double r;
68 936185 r = ((Delta * l3) - (((a30 * DeltaLambda0) + (a31 * DeltaLambda1)) + (a32 * DeltaLambda2)));
69 double eps;
70 936185 double max1 = fabs(p2_0_p0_0);
71
2/2
✓ Branch 0 taken 466209 times.
✓ Branch 1 taken 469976 times.
 936185 if( (max1 < fabs(p2_1_p0_1)) )
72 {
73 466209 max1 = fabs(p2_1_p0_1);
74 }
75 936185 double max2 = fabs(q0_0_p0_0);
76
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max2 < fabs(q0_1_p0_1)) )
77 {
78 ✗ max2 = fabs(q0_1_p0_1);
79 }
80
2/2
✓ Branch 0 taken 935954 times.
✓ Branch 1 taken 231 times.
 936185 if( (max2 < fabs(q1_0_p0_0)) )
81 {
82 935954 max2 = fabs(q1_0_p0_0);
83 }
84
2/2
✓ Branch 0 taken 470759 times.
✓ Branch 1 taken 465426 times.
 936185 if( (max2 < fabs(q1_1_p0_1)) )
85 {
86 470759 max2 = fabs(q1_1_p0_1);
87 }
88
2/2
✓ Branch 0 taken 274780 times.
✓ Branch 1 taken 661405 times.
 936185 if( (max2 < fabs(q2_0_p0_0)) )
89 {
90 274780 max2 = fabs(q2_0_p0_0);
91 }
92
2/2
✓ Branch 0 taken 233305 times.
✓ Branch 1 taken 702880 times.
 936185 if( (max2 < fabs(q2_1_p0_1)) )
93 {
94 233305 max2 = fabs(q2_1_p0_1);
95 }
96 936185 double max3 = fabs(p1_0_p0_0);
97
2/2
✓ Branch 0 taken 470759 times.
✓ Branch 1 taken 465426 times.
 936185 if( (max3 < fabs(p1_1_p0_1)) )
98 {
99 470759 max3 = fabs(p1_1_p0_1);
100 }
101 double lower_bound_1;
102 double upper_bound_1;
103 int Delta_sign;
104 int int_tmp_result;
105 936185 lower_bound_1 = max2;
106 936185 upper_bound_1 = max2;
107
2/2
✓ Branch 0 taken 465236 times.
✓ Branch 1 taken 470949 times.
 936185 if( (max1 < lower_bound_1) )
108 {
109 465236 lower_bound_1 = max1;
110 }
111 else
112 {
113
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 470949 times.
 470949 if( (max1 > upper_bound_1) )
114 {
115 ✗ upper_bound_1 = max1;
116 }
117 }
118
2/2
✓ Branch 0 taken 470563 times.
✓ Branch 1 taken 465622 times.
 936185 if( (max3 < lower_bound_1) )
119 {
120 470563 lower_bound_1 = max3;
121 }
122 else
123 {
124
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 465622 times.
 465622 if( (max3 > upper_bound_1) )
125 {
126 ✗ upper_bound_1 = max3;
127 }
128 }
129
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (lower_bound_1 < 2.79532528033945620759e-74) )
130 {
131 ✗ return FPG_UNCERTAIN_VALUE;
132 }
133 else
134 {
135
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (upper_bound_1 > 2.59614842926741294957e+33) )
136 {
137 ✗ return FPG_UNCERTAIN_VALUE;
138 }
139 936185 eps = (3.64430756537603111258e-14 * (((max3 * max2) * max1) * max2));
140
1/2
✓ Branch 0 taken 936185 times.
✗ Branch 1 not taken.
 936185 if( (Delta > eps) )
141 {
142 936185 int_tmp_result = 1;
143 }
144 else
145 {
146 ✗ if( (Delta < -eps) )
147 {
148 ✗ int_tmp_result = -1;
149 }
150 else
151 {
152 ✗ return FPG_UNCERTAIN_VALUE;
153 }
154 }
155 }
156 936185 Delta_sign = int_tmp_result;
157 936185 double max4 = max2;
158
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max4 < max1) )
159 {
160 ✗ max4 = max1;
161 }
162
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max4 < max3) )
163 {
164 ✗ max4 = max3;
165 }
166 936185 double max5 = max2;
167
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max5 < max3) )
168 {
169 ✗ max5 = max3;
170 }
171 936185 double max6 = max2;
172
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max6 < max3) )
173 {
174 ✗ max6 = max3;
175 }
176
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max5 < max6) )
177 {
178 ✗ max5 = max6;
179 }
180 936185 double max7 = max3;
181
2/2
✓ Branch 0 taken 240740 times.
✓ Branch 1 taken 695445 times.
 936185 if( (max7 < fabs(p3_1_p0_1)) )
182 {
183 240740 max7 = fabs(p3_1_p0_1);
184 }
185
2/2
✓ Branch 0 taken 206032 times.
✓ Branch 1 taken 730153 times.
 936185 if( (max7 < fabs(p3_0_p0_0)) )
186 {
187 206032 max7 = fabs(p3_0_p0_0);
188 }
189
2/2
✓ Branch 0 taken 278746 times.
✓ Branch 1 taken 657439 times.
 936185 if( (max5 < max7) )
190 {
191 278746 max5 = max7;
192 }
193
2/2
✓ Branch 0 taken 278746 times.
✓ Branch 1 taken 657439 times.
 936185 if( (max4 < max5) )
194 {
195 278746 max4 = max5;
196 }
197
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max4 < max6) )
198 {
199 ✗ max4 = max6;
200 }
201
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max4 < max7) )
202 {
203 ✗ max4 = max7;
204 }
205 int r_sign;
206 int int_tmp_result_FFWKCAA;
207 936185 lower_bound_1 = max2;
208 936185 upper_bound_1 = max2;
209
2/2
✓ Branch 0 taken 465236 times.
✓ Branch 1 taken 470949 times.
 936185 if( (max1 < lower_bound_1) )
210 {
211 465236 lower_bound_1 = max1;
212 }
213
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max4 < lower_bound_1) )
214 {
215 ✗ lower_bound_1 = max4;
216 }
217 else
218 {
219
2/2
✓ Branch 0 taken 278746 times.
✓ Branch 1 taken 657439 times.
 936185 if( (max4 > upper_bound_1) )
220 {
221 278746 upper_bound_1 = max4;
222 }
223 }
224
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max5 < lower_bound_1) )
225 {
226 ✗ lower_bound_1 = max5;
227 }
228
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (max6 < lower_bound_1) )
229 {
230 ✗ lower_bound_1 = max6;
231 }
232
2/2
✓ Branch 0 taken 330883 times.
✓ Branch 1 taken 605302 times.
 936185 if( (max7 < lower_bound_1) )
233 {
234 330883 lower_bound_1 = max7;
235 }
236
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (lower_bound_1 < 6.01986729486167248087e-50) )
237 {
238 ✗ return FPG_UNCERTAIN_VALUE;
239 }
240 else
241 {
242
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 936185 times.
 936185 if( (upper_bound_1 > 2.59614842926741294957e+33) )
243 {
244 ✗ return FPG_UNCERTAIN_VALUE;
245 }
246 936185 eps = (4.67544471613800658534e-13 * (((((max7 * max2) * max1) * max6) * max5) * max4));
247
2/2
✓ Branch 0 taken 593244 times.
✓ Branch 1 taken 342941 times.
 936185 if( (r > eps) )
248 {
249 593244 int_tmp_result_FFWKCAA = 1;
250 }
251 else
252 {
253
2/2
✓ Branch 0 taken 342913 times.
✓ Branch 1 taken 28 times.
 342941 if( (r < -eps) )
254 {
255 342913 int_tmp_result_FFWKCAA = -1;
256 }
257 else
258 {
259 28 return FPG_UNCERTAIN_VALUE;
260 }
261 }
262 }
263 936157 r_sign = int_tmp_result_FFWKCAA;
264 936157 return (Delta_sign * r_sign);
265 }
266
267
268 11053772 inline int side3_3d_filter( const double* p0, const double* p1, const double* p2, const double* p3, const double* q0, const double* q1, const double* q2) {
269 11053772 double p1_0_p0_0 = (p1[0] - p0[0]);
270 11053772 double p1_1_p0_1 = (p1[1] - p0[1]);
271 11053772 double p1_2_p0_2 = (p1[2] - p0[2]);
272 double l1;
273 11053772 l1 = (1 * (((p1_0_p0_0 * p1_0_p0_0) + (p1_1_p0_1 * p1_1_p0_1)) + (p1_2_p0_2 * p1_2_p0_2)));
274 11053772 double p2_0_p0_0 = (p2[0] - p0[0]);
275 11053772 double p2_1_p0_1 = (p2[1] - p0[1]);
276 11053772 double p2_2_p0_2 = (p2[2] - p0[2]);
277 double l2;
278 11053772 l2 = (1 * (((p2_0_p0_0 * p2_0_p0_0) + (p2_1_p0_1 * p2_1_p0_1)) + (p2_2_p0_2 * p2_2_p0_2)));
279 11053772 double p3_0_p0_0 = (p3[0] - p0[0]);
280 11053772 double p3_1_p0_1 = (p3[1] - p0[1]);
281 11053772 double p3_2_p0_2 = (p3[2] - p0[2]);
282 double l3;
283 11053772 l3 = (1 * (((p3_0_p0_0 * p3_0_p0_0) + (p3_1_p0_1 * p3_1_p0_1)) + (p3_2_p0_2 * p3_2_p0_2)));
284 11053772 double q0_0_p0_0 = (q0[0] - p0[0]);
285 11053772 double q0_1_p0_1 = (q0[1] - p0[1]);
286 11053772 double q0_2_p0_2 = (q0[2] - p0[2]);
287 double a10;
288 11053772 a10 = (2 * (((p1_0_p0_0 * q0_0_p0_0) + (p1_1_p0_1 * q0_1_p0_1)) + (p1_2_p0_2 * q0_2_p0_2)));
289 11053772 double q1_0_p0_0 = (q1[0] - p0[0]);
290 11053772 double q1_1_p0_1 = (q1[1] - p0[1]);
291 11053772 double q1_2_p0_2 = (q1[2] - p0[2]);
292 double a11;
293 11053772 a11 = (2 * (((p1_0_p0_0 * q1_0_p0_0) + (p1_1_p0_1 * q1_1_p0_1)) + (p1_2_p0_2 * q1_2_p0_2)));
294 11053772 double q2_0_p0_0 = (q2[0] - p0[0]);
295 11053772 double q2_1_p0_1 = (q2[1] - p0[1]);
296 11053772 double q2_2_p0_2 = (q2[2] - p0[2]);
297 double a12;
298 11053772 a12 = (2 * (((p1_0_p0_0 * q2_0_p0_0) + (p1_1_p0_1 * q2_1_p0_1)) + (p1_2_p0_2 * q2_2_p0_2)));
299 double a20;
300 11053772 a20 = (2 * (((p2_0_p0_0 * q0_0_p0_0) + (p2_1_p0_1 * q0_1_p0_1)) + (p2_2_p0_2 * q0_2_p0_2)));
301 double a21;
302 11053772 a21 = (2 * (((p2_0_p0_0 * q1_0_p0_0) + (p2_1_p0_1 * q1_1_p0_1)) + (p2_2_p0_2 * q1_2_p0_2)));
303 double a22;
304 11053772 a22 = (2 * (((p2_0_p0_0 * q2_0_p0_0) + (p2_1_p0_1 * q2_1_p0_1)) + (p2_2_p0_2 * q2_2_p0_2)));
305 double a30;
306 11053772 a30 = (2 * (((p3_0_p0_0 * q0_0_p0_0) + (p3_1_p0_1 * q0_1_p0_1)) + (p3_2_p0_2 * q0_2_p0_2)));
307 double a31;
308 11053772 a31 = (2 * (((p3_0_p0_0 * q1_0_p0_0) + (p3_1_p0_1 * q1_1_p0_1)) + (p3_2_p0_2 * q1_2_p0_2)));
309 double a32;
310 11053772 a32 = (2 * (((p3_0_p0_0 * q2_0_p0_0) + (p3_1_p0_1 * q2_1_p0_1)) + (p3_2_p0_2 * q2_2_p0_2)));
311 double b00;
312 11053772 b00 = ((a11 * a22) - (a12 * a21));
313 double b01;
314 11053772 b01 = (a21 - a22);
315 double b02;
316 11053772 b02 = (a12 - a11);
317 double b10;
318 11053772 b10 = ((a12 * a20) - (a10 * a22));
319 double b11;
320 11053772 b11 = (a22 - a20);
321 double b12;
322 11053772 b12 = (a10 - a12);
323 double b20;
324 11053772 b20 = ((a10 * a21) - (a11 * a20));
325 double b21;
326 11053772 b21 = (a20 - a21);
327 double b22;
328 11053772 b22 = (a11 - a10);
329 double Delta;
330 11053772 Delta = ((b00 + b10) + b20);
331 double DeltaLambda0;
332 11053772 DeltaLambda0 = (((b01 * l1) + (b02 * l2)) + b00);
333 double DeltaLambda1;
334 11053772 DeltaLambda1 = (((b11 * l1) + (b12 * l2)) + b10);
335 double DeltaLambda2;
336 11053772 DeltaLambda2 = (((b21 * l1) + (b22 * l2)) + b20);
337 double r;
338 11053772 r = ((Delta * l3) - (((a30 * DeltaLambda0) + (a31 * DeltaLambda1)) + (a32 * DeltaLambda2)));
339 double eps;
340 11053772 double max1 = fabs(p1_1_p0_1);
341
2/2
✓ Branch 0 taken 10423562 times.
✓ Branch 1 taken 630210 times.
 11053772 if( (max1 < fabs(p1_2_p0_2)) )
342 {
343 10423562 max1 = fabs(p1_2_p0_2);
344 }
345
2/2
✓ Branch 0 taken 360158 times.
✓ Branch 1 taken 10693614 times.
 11053772 if( (max1 < fabs(p1_0_p0_0)) )
346 {
347 360158 max1 = fabs(p1_0_p0_0);
348 }
349 11053772 double max2 = fabs(q0_2_p0_2);
350
2/2
✓ Branch 0 taken 473104 times.
✓ Branch 1 taken 10580668 times.
 11053772 if( (max2 < fabs(q0_0_p0_0)) )
351 {
352 473104 max2 = fabs(q0_0_p0_0);
353 }
354
2/2
✓ Branch 0 taken 288638 times.
✓ Branch 1 taken 10765134 times.
 11053772 if( (max2 < fabs(q0_1_p0_1)) )
355 {
356 288638 max2 = fabs(q0_1_p0_1);
357 }
358
2/2
✓ Branch 0 taken 262891 times.
✓ Branch 1 taken 10790881 times.
 11053772 if( (max2 < fabs(q1_0_p0_0)) )
359 {
360 262891 max2 = fabs(q1_0_p0_0);
361 }
362
2/2
✓ Branch 0 taken 251259 times.
✓ Branch 1 taken 10802513 times.
 11053772 if( (max2 < fabs(q1_1_p0_1)) )
363 {
364 251259 max2 = fabs(q1_1_p0_1);
365 }
366
2/2
✓ Branch 0 taken 129511 times.
✓ Branch 1 taken 10924261 times.
 11053772 if( (max2 < fabs(q1_2_p0_2)) )
367 {
368 129511 max2 = fabs(q1_2_p0_2);
369 }
370
2/2
✓ Branch 0 taken 82387 times.
✓ Branch 1 taken 10971385 times.
 11053772 if( (max2 < fabs(q2_0_p0_0)) )
371 {
372 82387 max2 = fabs(q2_0_p0_0);
373 }
374
2/2
✓ Branch 0 taken 101855 times.
✓ Branch 1 taken 10951917 times.
 11053772 if( (max2 < fabs(q2_1_p0_1)) )
375 {
376 101855 max2 = fabs(q2_1_p0_1);
377 }
378
2/2
✓ Branch 0 taken 66281 times.
✓ Branch 1 taken 10987491 times.
 11053772 if( (max2 < fabs(q2_2_p0_2)) )
379 {
380 66281 max2 = fabs(q2_2_p0_2);
381 }
382 11053772 double max3 = fabs(p2_2_p0_2);
383
2/2
✓ Branch 0 taken 519438 times.
✓ Branch 1 taken 10534334 times.
 11053772 if( (max3 < fabs(p2_0_p0_0)) )
384 {
385 519438 max3 = fabs(p2_0_p0_0);
386 }
387
2/2
✓ Branch 0 taken 344016 times.
✓ Branch 1 taken 10709756 times.
 11053772 if( (max3 < fabs(p2_1_p0_1)) )
388 {
389 344016 max3 = fabs(p2_1_p0_1);
390 }
391 double lower_bound_1;
392 double upper_bound_1;
393 int Delta_sign;
394 int int_tmp_result;
395 11053772 lower_bound_1 = max1;
396 11053772 upper_bound_1 = max1;
397
2/2
✓ Branch 0 taken 46819 times.
✓ Branch 1 taken 11006953 times.
 11053772 if( (max2 < lower_bound_1) )
398 {
399 46819 lower_bound_1 = max2;
400 }
401 else
402 {
403
2/2
✓ Branch 0 taken 726698 times.
✓ Branch 1 taken 10280255 times.
 11006953 if( (max2 > upper_bound_1) )
404 {
405 726698 upper_bound_1 = max2;
406 }
407 }
408
2/2
✓ Branch 0 taken 357709 times.
✓ Branch 1 taken 10696063 times.
 11053772 if( (max3 < lower_bound_1) )
409 {
410 357709 lower_bound_1 = max3;
411 }
412 else
413 {
414
2/2
✓ Branch 0 taken 15236 times.
✓ Branch 1 taken 10680827 times.
 10696063 if( (max3 > upper_bound_1) )
415 {
416 15236 upper_bound_1 = max3;
417 }
418 }
419
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (lower_bound_1 < 2.22985945097100191780e-74) )
420 {
421 ✗ return FPG_UNCERTAIN_VALUE;
422 }
423 else
424 {
425
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (upper_bound_1 > 2.59614842926741294957e+33) )
426 {
427 ✗ return FPG_UNCERTAIN_VALUE;
428 }
429 11053772 eps = (8.99983341597279045654e-14 * (((max1 * max2) * max3) * max2));
430
2/2
✓ Branch 0 taken 5724234 times.
✓ Branch 1 taken 5329538 times.
 11053772 if( (Delta > eps) )
431 {
432 5724234 int_tmp_result = 1;
433 }
434 else
435 {
436
1/2
✓ Branch 0 taken 5329538 times.
✗ Branch 1 not taken.
 5329538 if( (Delta < -eps) )
437 {
438 5329538 int_tmp_result = -1;
439 }
440 else
441 {
442 ✗ return FPG_UNCERTAIN_VALUE;
443 }
444 }
445 }
446 11053772 Delta_sign = int_tmp_result;
447 11053772 double max4 = max1;
448
2/2
✓ Branch 0 taken 726698 times.
✓ Branch 1 taken 10327074 times.
 11053772 if( (max4 < max2) )
449 {
450 726698 max4 = max2;
451 }
452
2/2
✓ Branch 0 taken 15236 times.
✓ Branch 1 taken 11038536 times.
 11053772 if( (max4 < max3) )
453 {
454 15236 max4 = max3;
455 }
456 11053772 double max5 = max1;
457
2/2
✓ Branch 0 taken 726698 times.
✓ Branch 1 taken 10327074 times.
 11053772 if( (max5 < max2) )
458 {
459 726698 max5 = max2;
460 }
461 11053772 double max6 = max1;
462
2/2
✓ Branch 0 taken 299501 times.
✓ Branch 1 taken 10754271 times.
 11053772 if( (max6 < fabs(p3_0_p0_0)) )
463 {
464 299501 max6 = fabs(p3_0_p0_0);
465 }
466
2/2
✓ Branch 0 taken 216257 times.
✓ Branch 1 taken 10837515 times.
 11053772 if( (max6 < fabs(p3_1_p0_1)) )
467 {
468 216257 max6 = fabs(p3_1_p0_1);
469 }
470
2/2
✓ Branch 0 taken 209979 times.
✓ Branch 1 taken 10843793 times.
 11053772 if( (max6 < fabs(p3_2_p0_2)) )
471 {
472 209979 max6 = fabs(p3_2_p0_2);
473 }
474
2/2
✓ Branch 0 taken 154049 times.
✓ Branch 1 taken 10899723 times.
 11053772 if( (max5 < max6) )
475 {
476 154049 max5 = max6;
477 }
478 11053772 double max7 = max1;
479
2/2
✓ Branch 0 taken 726698 times.
✓ Branch 1 taken 10327074 times.
 11053772 if( (max7 < max2) )
480 {
481 726698 max7 = max2;
482 }
483
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (max5 < max7) )
484 {
485 ✗ max5 = max7;
486 }
487
2/2
✓ Branch 0 taken 150559 times.
✓ Branch 1 taken 10903213 times.
 11053772 if( (max4 < max5) )
488 {
489 150559 max4 = max5;
490 }
491
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (max4 < max6) )
492 {
493 ✗ max4 = max6;
494 }
495
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (max4 < max7) )
496 {
497 ✗ max4 = max7;
498 }
499 int r_sign;
500 int int_tmp_result_FFWKCAA;
501 11053772 lower_bound_1 = max2;
502 11053772 upper_bound_1 = max2;
503
2/2
✓ Branch 0 taken 716541 times.
✓ Branch 1 taken 10337231 times.
 11053772 if( (max3 < lower_bound_1) )
504 {
505 716541 lower_bound_1 = max3;
506 }
507
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (max4 < lower_bound_1) )
508 {
509 ✗ lower_bound_1 = max4;
510 }
511 else
512 {
513
2/2
✓ Branch 0 taken 202435 times.
✓ Branch 1 taken 10851337 times.
 11053772 if( (max4 > upper_bound_1) )
514 {
515 202435 upper_bound_1 = max4;
516 }
517 }
518
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (max5 < lower_bound_1) )
519 {
520 ✗ lower_bound_1 = max5;
521 }
522
2/2
✓ Branch 0 taken 87974 times.
✓ Branch 1 taken 10965798 times.
 11053772 if( (max6 < lower_bound_1) )
523 {
524 87974 lower_bound_1 = max6;
525 }
526
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (max7 < lower_bound_1) )
527 {
528 ✗ lower_bound_1 = max7;
529 }
530
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (lower_bound_1 < 4.84416636653081796592e-50) )
531 {
532 ✗ return FPG_UNCERTAIN_VALUE;
533 }
534 else
535 {
536
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 11053772 times.
 11053772 if( (upper_bound_1 > 2.59614842926741294957e+33) )
537 {
538 ✗ return FPG_UNCERTAIN_VALUE;
539 }
540 11053772 eps = (1.72198804259438718181e-12 * (((((max6 * max2) * max3) * max7) * max5) * max4));
541
2/2
✓ Branch 0 taken 5681937 times.
✓ Branch 1 taken 5371835 times.
 11053772 if( (r > eps) )
542 {
543 5681937 int_tmp_result_FFWKCAA = 1;
544 }
545 else
546 {
547
2/2
✓ Branch 0 taken 5291207 times.
✓ Branch 1 taken 80628 times.
 5371835 if( (r < -eps) )
548 {
549 5291207 int_tmp_result_FFWKCAA = -1;
550 }
551 else
552 {
553 80628 return FPG_UNCERTAIN_VALUE;
554 }
555 }
556 }
557 10973144 r_sign = int_tmp_result_FFWKCAA;
558 10973144 return (Delta_sign * r_sign);
559 }
560
561
562 149639 inline int side3_4d_filter( const double* p0, const double* p1, const double* p2, const double* p3, const double* q0, const double* q1, const double* q2) {
563 149639 double p1_0_p0_0 = (p1[0] - p0[0]);
564 149639 double p1_1_p0_1 = (p1[1] - p0[1]);
565 149639 double p1_2_p0_2 = (p1[2] - p0[2]);
566 149639 double p1_3_p0_3 = (p1[3] - p0[3]);
567 double l1;
568 149639 l1 = (1 * ((((p1_0_p0_0 * p1_0_p0_0) + (p1_1_p0_1 * p1_1_p0_1)) + (p1_2_p0_2 * p1_2_p0_2)) + (p1_3_p0_3 * p1_3_p0_3)));
569 149639 double p2_0_p0_0 = (p2[0] - p0[0]);
570 149639 double p2_1_p0_1 = (p2[1] - p0[1]);
571 149639 double p2_2_p0_2 = (p2[2] - p0[2]);
572 149639 double p2_3_p0_3 = (p2[3] - p0[3]);
573 double l2;
574 149639 l2 = (1 * ((((p2_0_p0_0 * p2_0_p0_0) + (p2_1_p0_1 * p2_1_p0_1)) + (p2_2_p0_2 * p2_2_p0_2)) + (p2_3_p0_3 * p2_3_p0_3)));
575 149639 double p3_0_p0_0 = (p3[0] - p0[0]);
576 149639 double p3_1_p0_1 = (p3[1] - p0[1]);
577 149639 double p3_2_p0_2 = (p3[2] - p0[2]);
578 149639 double p3_3_p0_3 = (p3[3] - p0[3]);
579 double l3;
580 149639 l3 = (1 * ((((p3_0_p0_0 * p3_0_p0_0) + (p3_1_p0_1 * p3_1_p0_1)) + (p3_2_p0_2 * p3_2_p0_2)) + (p3_3_p0_3 * p3_3_p0_3)));
581 149639 double q0_0_p0_0 = (q0[0] - p0[0]);
582 149639 double q0_1_p0_1 = (q0[1] - p0[1]);
583 149639 double q0_2_p0_2 = (q0[2] - p0[2]);
584 149639 double q0_3_p0_3 = (q0[3] - p0[3]);
585 double a10;
586 149639 a10 = (2 * ((((p1_0_p0_0 * q0_0_p0_0) + (p1_1_p0_1 * q0_1_p0_1)) + (p1_2_p0_2 * q0_2_p0_2)) + (p1_3_p0_3 * q0_3_p0_3)));
587 149639 double q1_0_p0_0 = (q1[0] - p0[0]);
588 149639 double q1_1_p0_1 = (q1[1] - p0[1]);
589 149639 double q1_2_p0_2 = (q1[2] - p0[2]);
590 149639 double q1_3_p0_3 = (q1[3] - p0[3]);
591 double a11;
592 149639 a11 = (2 * ((((p1_0_p0_0 * q1_0_p0_0) + (p1_1_p0_1 * q1_1_p0_1)) + (p1_2_p0_2 * q1_2_p0_2)) + (p1_3_p0_3 * q1_3_p0_3)));
593 149639 double q2_0_p0_0 = (q2[0] - p0[0]);
594 149639 double q2_1_p0_1 = (q2[1] - p0[1]);
595 149639 double q2_2_p0_2 = (q2[2] - p0[2]);
596 149639 double q2_3_p0_3 = (q2[3] - p0[3]);
597 double a12;
598 149639 a12 = (2 * ((((p1_0_p0_0 * q2_0_p0_0) + (p1_1_p0_1 * q2_1_p0_1)) + (p1_2_p0_2 * q2_2_p0_2)) + (p1_3_p0_3 * q2_3_p0_3)));
599 double a20;
600 149639 a20 = (2 * ((((p2_0_p0_0 * q0_0_p0_0) + (p2_1_p0_1 * q0_1_p0_1)) + (p2_2_p0_2 * q0_2_p0_2)) + (p2_3_p0_3 * q0_3_p0_3)));
601 double a21;
602 149639 a21 = (2 * ((((p2_0_p0_0 * q1_0_p0_0) + (p2_1_p0_1 * q1_1_p0_1)) + (p2_2_p0_2 * q1_2_p0_2)) + (p2_3_p0_3 * q1_3_p0_3)));
603 double a22;
604 149639 a22 = (2 * ((((p2_0_p0_0 * q2_0_p0_0) + (p2_1_p0_1 * q2_1_p0_1)) + (p2_2_p0_2 * q2_2_p0_2)) + (p2_3_p0_3 * q2_3_p0_3)));
605 double a30;
606 149639 a30 = (2 * ((((p3_0_p0_0 * q0_0_p0_0) + (p3_1_p0_1 * q0_1_p0_1)) + (p3_2_p0_2 * q0_2_p0_2)) + (p3_3_p0_3 * q0_3_p0_3)));
607 double a31;
608 149639 a31 = (2 * ((((p3_0_p0_0 * q1_0_p0_0) + (p3_1_p0_1 * q1_1_p0_1)) + (p3_2_p0_2 * q1_2_p0_2)) + (p3_3_p0_3 * q1_3_p0_3)));
609 double a32;
610 149639 a32 = (2 * ((((p3_0_p0_0 * q2_0_p0_0) + (p3_1_p0_1 * q2_1_p0_1)) + (p3_2_p0_2 * q2_2_p0_2)) + (p3_3_p0_3 * q2_3_p0_3)));
611 double b00;
612 149639 b00 = ((a11 * a22) - (a12 * a21));
613 double b01;
614 149639 b01 = (a21 - a22);
615 double b02;
616 149639 b02 = (a12 - a11);
617 double b10;
618 149639 b10 = ((a12 * a20) - (a10 * a22));
619 double b11;
620 149639 b11 = (a22 - a20);
621 double b12;
622 149639 b12 = (a10 - a12);
623 double b20;
624 149639 b20 = ((a10 * a21) - (a11 * a20));
625 double b21;
626 149639 b21 = (a20 - a21);
627 double b22;
628 149639 b22 = (a11 - a10);
629 double Delta;
630 149639 Delta = ((b00 + b10) + b20);
631 double DeltaLambda0;
632 149639 DeltaLambda0 = (((b01 * l1) + (b02 * l2)) + b00);
633 double DeltaLambda1;
634 149639 DeltaLambda1 = (((b11 * l1) + (b12 * l2)) + b10);
635 double DeltaLambda2;
636 149639 DeltaLambda2 = (((b21 * l1) + (b22 * l2)) + b20);
637 double r;
638 149639 r = ((Delta * l3) - (((a30 * DeltaLambda0) + (a31 * DeltaLambda1)) + (a32 * DeltaLambda2)));
639 double eps;
640 149639 double max1 = fabs(p1_3_p0_3);
641
2/2
✓ Branch 0 taken 69471 times.
✓ Branch 1 taken 80168 times.
 149639 if( (max1 < fabs(p1_1_p0_1)) )
642 {
643 69471 max1 = fabs(p1_1_p0_1);
644 }
645
2/2
✓ Branch 0 taken 48471 times.
✓ Branch 1 taken 101168 times.
 149639 if( (max1 < fabs(p1_2_p0_2)) )
646 {
647 48471 max1 = fabs(p1_2_p0_2);
648 }
649
2/2
✓ Branch 0 taken 1196 times.
✓ Branch 1 taken 148443 times.
 149639 if( (max1 < fabs(p1_0_p0_0)) )
650 {
651 1196 max1 = fabs(p1_0_p0_0);
652 }
653 149639 double max2 = fabs(p2_3_p0_3);
654
2/2
✓ Branch 0 taken 70536 times.
✓ Branch 1 taken 79103 times.
 149639 if( (max2 < fabs(p2_2_p0_2)) )
655 {
656 70536 max2 = fabs(p2_2_p0_2);
657 }
658
2/2
✓ Branch 0 taken 1976 times.
✓ Branch 1 taken 147663 times.
 149639 if( (max2 < fabs(p2_0_p0_0)) )
659 {
660 1976 max2 = fabs(p2_0_p0_0);
661 }
662
2/2
✓ Branch 0 taken 49037 times.
✓ Branch 1 taken 100602 times.
 149639 if( (max2 < fabs(p2_1_p0_1)) )
663 {
664 49037 max2 = fabs(p2_1_p0_1);
665 }
666 149639 double max3 = fabs(q0_1_p0_1);
667
2/2
✓ Branch 0 taken 69474 times.
✓ Branch 1 taken 80165 times.
 149639 if( (max3 < fabs(q0_0_p0_0)) )
668 {
669 69474 max3 = fabs(q0_0_p0_0);
670 }
671
2/2
✓ Branch 0 taken 52323 times.
✓ Branch 1 taken 97316 times.
 149639 if( (max3 < fabs(q0_2_p0_2)) )
672 {
673 52323 max3 = fabs(q0_2_p0_2);
674 }
675
2/2
✓ Branch 0 taken 115617 times.
✓ Branch 1 taken 34022 times.
 149639 if( (max3 < fabs(q0_3_p0_3)) )
676 {
677 115617 max3 = fabs(q0_3_p0_3);
678 }
679
2/2
✓ Branch 0 taken 13979 times.
✓ Branch 1 taken 135660 times.
 149639 if( (max3 < fabs(q1_0_p0_0)) )
680 {
681 13979 max3 = fabs(q1_0_p0_0);
682 }
683
2/2
✓ Branch 0 taken 9804 times.
✓ Branch 1 taken 139835 times.
 149639 if( (max3 < fabs(q1_1_p0_1)) )
684 {
685 9804 max3 = fabs(q1_1_p0_1);
686 }
687
2/2
✓ Branch 0 taken 9551 times.
✓ Branch 1 taken 140088 times.
 149639 if( (max3 < fabs(q1_2_p0_2)) )
688 {
689 9551 max3 = fabs(q1_2_p0_2);
690 }
691
2/2
✓ Branch 0 taken 64078 times.
✓ Branch 1 taken 85561 times.
 149639 if( (max3 < fabs(q1_3_p0_3)) )
692 {
693 64078 max3 = fabs(q1_3_p0_3);
694 }
695
2/2
✓ Branch 0 taken 9315 times.
✓ Branch 1 taken 140324 times.
 149639 if( (max3 < fabs(q2_0_p0_0)) )
696 {
697 9315 max3 = fabs(q2_0_p0_0);
698 }
699
2/2
✓ Branch 0 taken 2566 times.
✓ Branch 1 taken 147073 times.
 149639 if( (max3 < fabs(q2_1_p0_1)) )
700 {
701 2566 max3 = fabs(q2_1_p0_1);
702 }
703
2/2
✓ Branch 0 taken 2474 times.
✓ Branch 1 taken 147165 times.
 149639 if( (max3 < fabs(q2_2_p0_2)) )
704 {
705 2474 max3 = fabs(q2_2_p0_2);
706 }
707
2/2
✓ Branch 0 taken 52624 times.
✓ Branch 1 taken 97015 times.
 149639 if( (max3 < fabs(q2_3_p0_3)) )
708 {
709 52624 max3 = fabs(q2_3_p0_3);
710 }
711 double lower_bound_1;
712 double upper_bound_1;
713 int Delta_sign;
714 int int_tmp_result;
715 149639 lower_bound_1 = max1;
716 149639 upper_bound_1 = max1;
717
2/2
✓ Branch 0 taken 74169 times.
✓ Branch 1 taken 75470 times.
 149639 if( (max2 < lower_bound_1) )
718 {
719 74169 lower_bound_1 = max2;
720 }
721 else
722 {
723
1/2
✓ Branch 0 taken 75470 times.
✗ Branch 1 not taken.
 75470 if( (max2 > upper_bound_1) )
724 {
725 75470 upper_bound_1 = max2;
726 }
727 }
728
2/2
✓ Branch 0 taken 789 times.
✓ Branch 1 taken 148850 times.
 149639 if( (max3 < lower_bound_1) )
729 {
730 789 lower_bound_1 = max3;
731 }
732 else
733 {
734
2/2
✓ Branch 0 taken 148001 times.
✓ Branch 1 taken 849 times.
 148850 if( (max3 > upper_bound_1) )
735 {
736 148001 upper_bound_1 = max3;
737 }
738 }
739
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (lower_bound_1 < 1.89528395402941802921e-74) )
740 {
741 ✗ return FPG_UNCERTAIN_VALUE;
742 }
743 else
744 {
745
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (upper_bound_1 > 1.29807421463370647479e+33) )
746 {
747 ✗ return FPG_UNCERTAIN_VALUE;
748 }
749 149639 eps = (1.72443682410931985179e-13 * (((max1 * max3) * max2) * max3));
750
2/2
✓ Branch 0 taken 74591 times.
✓ Branch 1 taken 75048 times.
 149639 if( (Delta > eps) )
751 {
752 74591 int_tmp_result = 1;
753 }
754 else
755 {
756
1/2
✓ Branch 0 taken 75048 times.
✗ Branch 1 not taken.
 75048 if( (Delta < -eps) )
757 {
758 75048 int_tmp_result = -1;
759 }
760 else
761 {
762 ✗ return FPG_UNCERTAIN_VALUE;
763 }
764 }
765 }
766 149639 Delta_sign = int_tmp_result;
767 149639 double max4 = max1;
768 149639 double max5 = max1;
769 149639 double max6 = max1;
770
2/2
✓ Branch 0 taken 10485 times.
✓ Branch 1 taken 139154 times.
 149639 if( (max6 < fabs(p3_0_p0_0)) )
771 {
772 10485 max6 = fabs(p3_0_p0_0);
773 }
774
2/2
✓ Branch 0 taken 34577 times.
✓ Branch 1 taken 115062 times.
 149639 if( (max6 < fabs(p3_3_p0_3)) )
775 {
776 34577 max6 = fabs(p3_3_p0_3);
777 }
778
2/2
✓ Branch 0 taken 40925 times.
✓ Branch 1 taken 108714 times.
 149639 if( (max6 < fabs(p3_2_p0_2)) )
779 {
780 40925 max6 = fabs(p3_2_p0_2);
781 }
782
2/2
✓ Branch 0 taken 36825 times.
✓ Branch 1 taken 112814 times.
 149639 if( (max6 < fabs(p3_1_p0_1)) )
783 {
784 36825 max6 = fabs(p3_1_p0_1);
785 }
786
2/2
✓ Branch 0 taken 113061 times.
✓ Branch 1 taken 36578 times.
 149639 if( (max5 < max6) )
787 {
788 113061 max5 = max6;
789 }
790
2/2
✓ Branch 0 taken 146781 times.
✓ Branch 1 taken 2858 times.
 149639 if( (max5 < max3) )
791 {
792 146781 max5 = max3;
793 }
794 149639 double max7 = max1;
795
2/2
✓ Branch 0 taken 148447 times.
✓ Branch 1 taken 1192 times.
 149639 if( (max7 < max3) )
796 {
797 148447 max7 = max3;
798 }
799
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (max5 < max7) )
800 {
801 ✗ max5 = max7;
802 }
803
2/2
✓ Branch 0 taken 149263 times.
✓ Branch 1 taken 376 times.
 149639 if( (max4 < max5) )
804 {
805 149263 max4 = max5;
806 }
807
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (max4 < max6) )
808 {
809 ✗ max4 = max6;
810 }
811
2/2
✓ Branch 0 taken 295 times.
✓ Branch 1 taken 149344 times.
 149639 if( (max4 < max2) )
812 {
813 295 max4 = max2;
814 }
815
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (max4 < max3) )
816 {
817 ✗ max4 = max3;
818 }
819
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (max4 < max7) )
820 {
821 ✗ max4 = max7;
822 }
823 int r_sign;
824 int int_tmp_result_FFWKCAA;
825 149639 lower_bound_1 = max5;
826 149639 upper_bound_1 = max5;
827
2/2
✓ Branch 0 taken 146781 times.
✓ Branch 1 taken 2858 times.
 149639 if( (max6 < lower_bound_1) )
828 {
829 146781 lower_bound_1 = max6;
830 }
831
2/2
✓ Branch 0 taken 121612 times.
✓ Branch 1 taken 28027 times.
 149639 if( (max2 < lower_bound_1) )
832 {
833 121612 lower_bound_1 = max2;
834 }
835
2/2
✓ Branch 0 taken 1158 times.
✓ Branch 1 taken 148481 times.
 149639 if( (max3 < lower_bound_1) )
836 {
837 1158 lower_bound_1 = max3;
838 }
839
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (max4 < lower_bound_1) )
840 {
841 ✗ lower_bound_1 = max4;
842 }
843 else
844 {
845
2/2
✓ Branch 0 taken 295 times.
✓ Branch 1 taken 149344 times.
 149639 if( (max4 > upper_bound_1) )
846 {
847 295 upper_bound_1 = max4;
848 }
849 }
850
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (max7 < lower_bound_1) )
851 {
852 ✗ lower_bound_1 = max7;
853 }
854
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (lower_bound_1 < 4.14607644401726239868e-50) )
855 {
856 ✗ return FPG_UNCERTAIN_VALUE;
857 }
858 else
859 {
860
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 149639 times.
 149639 if( (upper_bound_1 > 1.29807421463370647479e+33) )
861 {
862 ✗ return FPG_UNCERTAIN_VALUE;
863 }
864 149639 eps = (4.38046888801178809320e-12 * (((((max6 * max3) * max2) * max7) * max5) * max4));
865
2/2
✓ Branch 0 taken 74667 times.
✓ Branch 1 taken 74972 times.
 149639 if( (r > eps) )
866 {
867 74667 int_tmp_result_FFWKCAA = 1;
868 }
869 else
870 {
871
1/2
✓ Branch 0 taken 74972 times.
✗ Branch 1 not taken.
 74972 if( (r < -eps) )
872 {
873 74972 int_tmp_result_FFWKCAA = -1;
874 }
875 else
876 {
877 ✗ return FPG_UNCERTAIN_VALUE;
878 }
879 }
880 }
881 149639 r_sign = int_tmp_result_FFWKCAA;
882 149639 return (Delta_sign * r_sign);
883 }
884
885
886 165662 inline int side3_6d_filter( const double* p0, const double* p1, const double* p2, const double* p3, const double* q0, const double* q1, const double* q2) {
887 165662 double p1_0_p0_0 = (p1[0] - p0[0]);
888 165662 double p1_1_p0_1 = (p1[1] - p0[1]);
889 165662 double p1_2_p0_2 = (p1[2] - p0[2]);
890 165662 double p1_3_p0_3 = (p1[3] - p0[3]);
891 165662 double p1_4_p0_4 = (p1[4] - p0[4]);
892 165662 double p1_5_p0_5 = (p1[5] - p0[5]);
893 double l1;
894 165662 l1 = (1 * ((((((p1_0_p0_0 * p1_0_p0_0) + (p1_1_p0_1 * p1_1_p0_1)) + (p1_2_p0_2 * p1_2_p0_2)) + (p1_3_p0_3 * p1_3_p0_3)) + (p1_4_p0_4 * p1_4_p0_4)) + (p1_5_p0_5 * p1_5_p0_5)));
895 165662 double p2_0_p0_0 = (p2[0] - p0[0]);
896 165662 double p2_1_p0_1 = (p2[1] - p0[1]);
897 165662 double p2_2_p0_2 = (p2[2] - p0[2]);
898 165662 double p2_3_p0_3 = (p2[3] - p0[3]);
899 165662 double p2_4_p0_4 = (p2[4] - p0[4]);
900 165662 double p2_5_p0_5 = (p2[5] - p0[5]);
901 double l2;
902 165662 l2 = (1 * ((((((p2_0_p0_0 * p2_0_p0_0) + (p2_1_p0_1 * p2_1_p0_1)) + (p2_2_p0_2 * p2_2_p0_2)) + (p2_3_p0_3 * p2_3_p0_3)) + (p2_4_p0_4 * p2_4_p0_4)) + (p2_5_p0_5 * p2_5_p0_5)));
903 165662 double p3_0_p0_0 = (p3[0] - p0[0]);
904 165662 double p3_1_p0_1 = (p3[1] - p0[1]);
905 165662 double p3_2_p0_2 = (p3[2] - p0[2]);
906 165662 double p3_3_p0_3 = (p3[3] - p0[3]);
907 165662 double p3_4_p0_4 = (p3[4] - p0[4]);
908 165662 double p3_5_p0_5 = (p3[5] - p0[5]);
909 double l3;
910 165662 l3 = (1 * ((((((p3_0_p0_0 * p3_0_p0_0) + (p3_1_p0_1 * p3_1_p0_1)) + (p3_2_p0_2 * p3_2_p0_2)) + (p3_3_p0_3 * p3_3_p0_3)) + (p3_4_p0_4 * p3_4_p0_4)) + (p3_5_p0_5 * p3_5_p0_5)));
911 165662 double q0_0_p0_0 = (q0[0] - p0[0]);
912 165662 double q0_1_p0_1 = (q0[1] - p0[1]);
913 165662 double q0_2_p0_2 = (q0[2] - p0[2]);
914 165662 double q0_3_p0_3 = (q0[3] - p0[3]);
915 165662 double q0_4_p0_4 = (q0[4] - p0[4]);
916 165662 double q0_5_p0_5 = (q0[5] - p0[5]);
917 double a10;
918 165662 a10 = (2 * ((((((p1_0_p0_0 * q0_0_p0_0) + (p1_1_p0_1 * q0_1_p0_1)) + (p1_2_p0_2 * q0_2_p0_2)) + (p1_3_p0_3 * q0_3_p0_3)) + (p1_4_p0_4 * q0_4_p0_4)) + (p1_5_p0_5 * q0_5_p0_5)));
919 165662 double q1_0_p0_0 = (q1[0] - p0[0]);
920 165662 double q1_1_p0_1 = (q1[1] - p0[1]);
921 165662 double q1_2_p0_2 = (q1[2] - p0[2]);
922 165662 double q1_3_p0_3 = (q1[3] - p0[3]);
923 165662 double q1_4_p0_4 = (q1[4] - p0[4]);
924 165662 double q1_5_p0_5 = (q1[5] - p0[5]);
925 double a11;
926 165662 a11 = (2 * ((((((p1_0_p0_0 * q1_0_p0_0) + (p1_1_p0_1 * q1_1_p0_1)) + (p1_2_p0_2 * q1_2_p0_2)) + (p1_3_p0_3 * q1_3_p0_3)) + (p1_4_p0_4 * q1_4_p0_4)) + (p1_5_p0_5 * q1_5_p0_5)));
927 165662 double q2_0_p0_0 = (q2[0] - p0[0]);
928 165662 double q2_1_p0_1 = (q2[1] - p0[1]);
929 165662 double q2_2_p0_2 = (q2[2] - p0[2]);
930 165662 double q2_3_p0_3 = (q2[3] - p0[3]);
931 165662 double q2_4_p0_4 = (q2[4] - p0[4]);
932 165662 double q2_5_p0_5 = (q2[5] - p0[5]);
933 double a12;
934 165662 a12 = (2 * ((((((p1_0_p0_0 * q2_0_p0_0) + (p1_1_p0_1 * q2_1_p0_1)) + (p1_2_p0_2 * q2_2_p0_2)) + (p1_3_p0_3 * q2_3_p0_3)) + (p1_4_p0_4 * q2_4_p0_4)) + (p1_5_p0_5 * q2_5_p0_5)));
935 double a20;
936 165662 a20 = (2 * ((((((p2_0_p0_0 * q0_0_p0_0) + (p2_1_p0_1 * q0_1_p0_1)) + (p2_2_p0_2 * q0_2_p0_2)) + (p2_3_p0_3 * q0_3_p0_3)) + (p2_4_p0_4 * q0_4_p0_4)) + (p2_5_p0_5 * q0_5_p0_5)));
937 double a21;
938 165662 a21 = (2 * ((((((p2_0_p0_0 * q1_0_p0_0) + (p2_1_p0_1 * q1_1_p0_1)) + (p2_2_p0_2 * q1_2_p0_2)) + (p2_3_p0_3 * q1_3_p0_3)) + (p2_4_p0_4 * q1_4_p0_4)) + (p2_5_p0_5 * q1_5_p0_5)));
939 double a22;
940 165662 a22 = (2 * ((((((p2_0_p0_0 * q2_0_p0_0) + (p2_1_p0_1 * q2_1_p0_1)) + (p2_2_p0_2 * q2_2_p0_2)) + (p2_3_p0_3 * q2_3_p0_3)) + (p2_4_p0_4 * q2_4_p0_4)) + (p2_5_p0_5 * q2_5_p0_5)));
941 double a30;
942 165662 a30 = (2 * ((((((p3_0_p0_0 * q0_0_p0_0) + (p3_1_p0_1 * q0_1_p0_1)) + (p3_2_p0_2 * q0_2_p0_2)) + (p3_3_p0_3 * q0_3_p0_3)) + (p3_4_p0_4 * q0_4_p0_4)) + (p3_5_p0_5 * q0_5_p0_5)));
943 double a31;
944 165662 a31 = (2 * ((((((p3_0_p0_0 * q1_0_p0_0) + (p3_1_p0_1 * q1_1_p0_1)) + (p3_2_p0_2 * q1_2_p0_2)) + (p3_3_p0_3 * q1_3_p0_3)) + (p3_4_p0_4 * q1_4_p0_4)) + (p3_5_p0_5 * q1_5_p0_5)));
945 double a32;
946 165662 a32 = (2 * ((((((p3_0_p0_0 * q2_0_p0_0) + (p3_1_p0_1 * q2_1_p0_1)) + (p3_2_p0_2 * q2_2_p0_2)) + (p3_3_p0_3 * q2_3_p0_3)) + (p3_4_p0_4 * q2_4_p0_4)) + (p3_5_p0_5 * q2_5_p0_5)));
947 double b00;
948 165662 b00 = ((a11 * a22) - (a12 * a21));
949 double b01;
950 165662 b01 = (a21 - a22);
951 double b02;
952 165662 b02 = (a12 - a11);
953 double b10;
954 165662 b10 = ((a12 * a20) - (a10 * a22));
955 double b11;
956 165662 b11 = (a22 - a20);
957 double b12;
958 165662 b12 = (a10 - a12);
959 double b20;
960 165662 b20 = ((a10 * a21) - (a11 * a20));
961 double b21;
962 165662 b21 = (a20 - a21);
963 double b22;
964 165662 b22 = (a11 - a10);
965 double Delta;
966 165662 Delta = ((b00 + b10) + b20);
967 double DeltaLambda0;
968 165662 DeltaLambda0 = (((b01 * l1) + (b02 * l2)) + b00);
969 double DeltaLambda1;
970 165662 DeltaLambda1 = (((b11 * l1) + (b12 * l2)) + b10);
971 double DeltaLambda2;
972 165662 DeltaLambda2 = (((b21 * l1) + (b22 * l2)) + b20);
973 double r;
974 165662 r = ((Delta * l3) - (((a30 * DeltaLambda0) + (a31 * DeltaLambda1)) + (a32 * DeltaLambda2)));
975 double eps;
976 165662 double max1 = fabs(p1_0_p0_0);
977
2/2
✓ Branch 0 taken 126211 times.
✓ Branch 1 taken 39451 times.
 165662 if( (max1 < fabs(p1_2_p0_2)) )
978 {
979 126211 max1 = fabs(p1_2_p0_2);
980 }
981
2/2
✓ Branch 0 taken 77515 times.
✓ Branch 1 taken 88147 times.
 165662 if( (max1 < fabs(p1_1_p0_1)) )
982 {
983 77515 max1 = fabs(p1_1_p0_1);
984 }
985
2/2
✓ Branch 0 taken 32789 times.
✓ Branch 1 taken 132873 times.
 165662 if( (max1 < fabs(p1_3_p0_3)) )
986 {
987 32789 max1 = fabs(p1_3_p0_3);
988 }
989
2/2
✓ Branch 0 taken 33024 times.
✓ Branch 1 taken 132638 times.
 165662 if( (max1 < fabs(p1_4_p0_4)) )
990 {
991 33024 max1 = fabs(p1_4_p0_4);
992 }
993
2/2
✓ Branch 0 taken 7990 times.
✓ Branch 1 taken 157672 times.
 165662 if( (max1 < fabs(p1_5_p0_5)) )
994 {
995 7990 max1 = fabs(p1_5_p0_5);
996 }
997 165662 double max2 = fabs(p2_0_p0_0);
998
2/2
✓ Branch 0 taken 122538 times.
✓ Branch 1 taken 43124 times.
 165662 if( (max2 < fabs(p2_1_p0_1)) )
999 {
1000 122538 max2 = fabs(p2_1_p0_1);
1001 }
1002
2/2
✓ Branch 0 taken 78271 times.
✓ Branch 1 taken 87391 times.
 165662 if( (max2 < fabs(p2_2_p0_2)) )
1003 {
1004 78271 max2 = fabs(p2_2_p0_2);
1005 }
1006
2/2
✓ Branch 0 taken 33995 times.
✓ Branch 1 taken 131667 times.
 165662 if( (max2 < fabs(p2_3_p0_3)) )
1007 {
1008 33995 max2 = fabs(p2_3_p0_3);
1009 }
1010
2/2
✓ Branch 0 taken 35442 times.
✓ Branch 1 taken 130220 times.
 165662 if( (max2 < fabs(p2_4_p0_4)) )
1011 {
1012 35442 max2 = fabs(p2_4_p0_4);
1013 }
1014
2/2
✓ Branch 0 taken 9488 times.
✓ Branch 1 taken 156174 times.
 165662 if( (max2 < fabs(p2_5_p0_5)) )
1015 {
1016 9488 max2 = fabs(p2_5_p0_5);
1017 }
1018 165662 double max3 = fabs(q0_0_p0_0);
1019
2/2
✓ Branch 0 taken 97712 times.
✓ Branch 1 taken 67950 times.
 165662 if( (max3 < fabs(q0_1_p0_1)) )
1020 {
1021 97712 max3 = fabs(q0_1_p0_1);
1022 }
1023
2/2
✓ Branch 0 taken 60122 times.
✓ Branch 1 taken 105540 times.
 165662 if( (max3 < fabs(q0_2_p0_2)) )
1024 {
1025 60122 max3 = fabs(q0_2_p0_2);
1026 }
1027
2/2
✓ Branch 0 taken 121331 times.
✓ Branch 1 taken 44331 times.
 165662 if( (max3 < fabs(q0_3_p0_3)) )
1028 {
1029 121331 max3 = fabs(q0_3_p0_3);
1030 }
1031
2/2
✓ Branch 0 taken 117234 times.
✓ Branch 1 taken 48428 times.
 165662 if( (max3 < fabs(q0_4_p0_4)) )
1032 {
1033 117234 max3 = fabs(q0_4_p0_4);
1034 }
1035
2/2
✓ Branch 0 taken 27631 times.
✓ Branch 1 taken 138031 times.
 165662 if( (max3 < fabs(q0_5_p0_5)) )
1036 {
1037 27631 max3 = fabs(q0_5_p0_5);
1038 }
1039
2/2
✓ Branch 0 taken 12610 times.
✓ Branch 1 taken 153052 times.
 165662 if( (max3 < fabs(q1_0_p0_0)) )
1040 {
1041 12610 max3 = fabs(q1_0_p0_0);
1042 }
1043
2/2
✓ Branch 0 taken 7683 times.
✓ Branch 1 taken 157979 times.
 165662 if( (max3 < fabs(q1_1_p0_1)) )
1044 {
1045 7683 max3 = fabs(q1_1_p0_1);
1046 }
1047
2/2
✓ Branch 0 taken 7029 times.
✓ Branch 1 taken 158633 times.
 165662 if( (max3 < fabs(q1_2_p0_2)) )
1048 {
1049 7029 max3 = fabs(q1_2_p0_2);
1050 }
1051
2/2
✓ Branch 0 taken 43282 times.
✓ Branch 1 taken 122380 times.
 165662 if( (max3 < fabs(q1_3_p0_3)) )
1052 {
1053 43282 max3 = fabs(q1_3_p0_3);
1054 }
1055
2/2
✓ Branch 0 taken 57753 times.
✓ Branch 1 taken 107909 times.
 165662 if( (max3 < fabs(q1_4_p0_4)) )
1056 {
1057 57753 max3 = fabs(q1_4_p0_4);
1058 }
1059
2/2
✓ Branch 0 taken 17454 times.
✓ Branch 1 taken 148208 times.
 165662 if( (max3 < fabs(q1_5_p0_5)) )
1060 {
1061 17454 max3 = fabs(q1_5_p0_5);
1062 }
1063
2/2
✓ Branch 0 taken 9501 times.
✓ Branch 1 taken 156161 times.
 165662 if( (max3 < fabs(q2_0_p0_0)) )
1064 {
1065 9501 max3 = fabs(q2_0_p0_0);
1066 }
1067
2/2
✓ Branch 0 taken 1765 times.
✓ Branch 1 taken 163897 times.
 165662 if( (max3 < fabs(q2_1_p0_1)) )
1068 {
1069 1765 max3 = fabs(q2_1_p0_1);
1070 }
1071
2/2
✓ Branch 0 taken 1509 times.
✓ Branch 1 taken 164153 times.
 165662 if( (max3 < fabs(q2_2_p0_2)) )
1072 {
1073 1509 max3 = fabs(q2_2_p0_2);
1074 }
1075
2/2
✓ Branch 0 taken 37397 times.
✓ Branch 1 taken 128265 times.
 165662 if( (max3 < fabs(q2_3_p0_3)) )
1076 {
1077 37397 max3 = fabs(q2_3_p0_3);
1078 }
1079
2/2
✓ Branch 0 taken 48759 times.
✓ Branch 1 taken 116903 times.
 165662 if( (max3 < fabs(q2_4_p0_4)) )
1080 {
1081 48759 max3 = fabs(q2_4_p0_4);
1082 }
1083
2/2
✓ Branch 0 taken 11740 times.
✓ Branch 1 taken 153922 times.
 165662 if( (max3 < fabs(q2_5_p0_5)) )
1084 {
1085 11740 max3 = fabs(q2_5_p0_5);
1086 }
1087 double lower_bound_1;
1088 double upper_bound_1;
1089 int Delta_sign;
1090 int int_tmp_result;
1091 165662 lower_bound_1 = max1;
1092 165662 upper_bound_1 = max1;
1093
2/2
✓ Branch 0 taken 82441 times.
✓ Branch 1 taken 83221 times.
 165662 if( (max2 < lower_bound_1) )
1094 {
1095 82441 lower_bound_1 = max2;
1096 }
1097 else
1098 {
1099
1/2
✓ Branch 0 taken 83221 times.
✗ Branch 1 not taken.
 83221 if( (max2 > upper_bound_1) )
1100 {
1101 83221 upper_bound_1 = max2;
1102 }
1103 }
1104
2/2
✓ Branch 0 taken 719 times.
✓ Branch 1 taken 164943 times.
 165662 if( (max3 < lower_bound_1) )
1105 {
1106 719 lower_bound_1 = max3;
1107 }
1108 else
1109 {
1110
2/2
✓ Branch 0 taken 164645 times.
✓ Branch 1 taken 298 times.
 164943 if( (max3 > upper_bound_1) )
1111 {
1112 164645 upper_bound_1 = max3;
1113 }
1114 }
1115
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (lower_bound_1 < 1.49958502193059513986e-74) )
1116 {
1117 ✗ return FPG_UNCERTAIN_VALUE;
1118 }
1119 else
1120 {
1121
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (upper_bound_1 > 1.29807421463370647479e+33) )
1122 {
1123 ✗ return FPG_UNCERTAIN_VALUE;
1124 }
1125 165662 eps = (4.40007476026583916019e-13 * (((max1 * max3) * max2) * max3));
1126
2/2
✓ Branch 0 taken 83525 times.
✓ Branch 1 taken 82137 times.
 165662 if( (Delta > eps) )
1127 {
1128 83525 int_tmp_result = 1;
1129 }
1130 else
1131 {
1132
1/2
✓ Branch 0 taken 82137 times.
✗ Branch 1 not taken.
 82137 if( (Delta < -eps) )
1133 {
1134 82137 int_tmp_result = -1;
1135 }
1136 else
1137 {
1138 ✗ return FPG_UNCERTAIN_VALUE;
1139 }
1140 }
1141 }
1142 165662 Delta_sign = int_tmp_result;
1143 165662 double max4 = max1;
1144
2/2
✓ Branch 0 taken 83221 times.
✓ Branch 1 taken 82441 times.
 165662 if( (max4 < max2) )
1145 {
1146 83221 max4 = max2;
1147 }
1148
2/2
✓ Branch 0 taken 164645 times.
✓ Branch 1 taken 1017 times.
 165662 if( (max4 < max3) )
1149 {
1150 164645 max4 = max3;
1151 }
1152 165662 double max5 = max1;
1153
2/2
✓ Branch 0 taken 53838 times.
✓ Branch 1 taken 111824 times.
 165662 if( (max5 < fabs(p3_1_p0_1)) )
1154 {
1155 53838 max5 = fabs(p3_1_p0_1);
1156 }
1157
2/2
✓ Branch 0 taken 45805 times.
✓ Branch 1 taken 119857 times.
 165662 if( (max5 < fabs(p3_2_p0_2)) )
1158 {
1159 45805 max5 = fabs(p3_2_p0_2);
1160 }
1161
2/2
✓ Branch 0 taken 961 times.
✓ Branch 1 taken 164701 times.
 165662 if( (max5 < fabs(p3_0_p0_0)) )
1162 {
1163 961 max5 = fabs(p3_0_p0_0);
1164 }
1165
2/2
✓ Branch 0 taken 7329 times.
✓ Branch 1 taken 158333 times.
 165662 if( (max5 < fabs(p3_3_p0_3)) )
1166 {
1167 7329 max5 = fabs(p3_3_p0_3);
1168 }
1169
2/2
✓ Branch 0 taken 19896 times.
✓ Branch 1 taken 145766 times.
 165662 if( (max5 < fabs(p3_4_p0_4)) )
1170 {
1171 19896 max5 = fabs(p3_4_p0_4);
1172 }
1173
2/2
✓ Branch 0 taken 5665 times.
✓ Branch 1 taken 159997 times.
 165662 if( (max5 < fabs(p3_5_p0_5)) )
1174 {
1175 5665 max5 = fabs(p3_5_p0_5);
1176 }
1177
2/2
✓ Branch 0 taken 785 times.
✓ Branch 1 taken 164877 times.
 165662 if( (max4 < max5) )
1178 {
1179 785 max4 = max5;
1180 }
1181 165662 double max6 = max1;
1182
2/2
✓ Branch 0 taken 164804 times.
✓ Branch 1 taken 858 times.
 165662 if( (max6 < max3) )
1183 {
1184 164804 max6 = max3;
1185 }
1186
2/2
✓ Branch 0 taken 939 times.
✓ Branch 1 taken 164723 times.
 165662 if( (max6 < max5) )
1187 {
1188 939 max6 = max5;
1189 }
1190 165662 double max7 = max1;
1191
2/2
✓ Branch 0 taken 164804 times.
✓ Branch 1 taken 858 times.
 165662 if( (max7 < max3) )
1192 {
1193 164804 max7 = max3;
1194 }
1195
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (max6 < max7) )
1196 {
1197 ✗ max6 = max7;
1198 }
1199
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (max4 < max6) )
1200 {
1201 ✗ max4 = max6;
1202 }
1203
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (max4 < max7) )
1204 {
1205 ✗ max4 = max7;
1206 }
1207 int r_sign;
1208 int int_tmp_result_FFWKCAA;
1209 165662 lower_bound_1 = max2;
1210 165662 upper_bound_1 = max2;
1211
2/2
✓ Branch 0 taken 878 times.
✓ Branch 1 taken 164784 times.
 165662 if( (max3 < lower_bound_1) )
1212 {
1213 878 lower_bound_1 = max3;
1214 }
1215
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (max4 < lower_bound_1) )
1216 {
1217 ✗ lower_bound_1 = max4;
1218 }
1219 else
1220 {
1221
2/2
✓ Branch 0 taken 165358 times.
✓ Branch 1 taken 304 times.
 165662 if( (max4 > upper_bound_1) )
1222 {
1223 165358 upper_bound_1 = max4;
1224 }
1225 }
1226
2/2
✓ Branch 0 taken 36774 times.
✓ Branch 1 taken 128888 times.
 165662 if( (max5 < lower_bound_1) )
1227 {
1228 36774 lower_bound_1 = max5;
1229 }
1230
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (max6 < lower_bound_1) )
1231 {
1232 ✗ lower_bound_1 = max6;
1233 }
1234
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (max7 < lower_bound_1) )
1235 {
1236 ✗ lower_bound_1 = max7;
1237 }
1238
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (lower_bound_1 < 3.31864264949884013629e-50) )
1239 {
1240 ✗ return FPG_UNCERTAIN_VALUE;
1241 }
1242 else
1243 {
1244
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 165662 times.
 165662 if( (upper_bound_1 > 1.29807421463370647479e+33) )
1245 {
1246 ✗ return FPG_UNCERTAIN_VALUE;
1247 }
1248 165662 eps = (1.66564133587113197628e-11 * (((((max5 * max3) * max2) * max7) * max6) * max4));
1249
2/2
✓ Branch 0 taken 83373 times.
✓ Branch 1 taken 82289 times.
 165662 if( (r > eps) )
1250 {
1251 83373 int_tmp_result_FFWKCAA = 1;
1252 }
1253 else
1254 {
1255
1/2
✓ Branch 0 taken 82289 times.
✗ Branch 1 not taken.
 82289 if( (r < -eps) )
1256 {
1257 82289 int_tmp_result_FFWKCAA = -1;
1258 }
1259 else
1260 {
1261 ✗ return FPG_UNCERTAIN_VALUE;
1262 }
1263 }
1264 }
1265 165662 r_sign = int_tmp_result_FFWKCAA;
1266 165662 return (Delta_sign * r_sign);
1267 }
1268
1269
1270 ✗ inline int side3_7d_filter( const double* p0, const double* p1, const double* p2, const double* p3, const double* q0, const double* q1, const double* q2) {
1271 ✗ double p1_0_p0_0 = (p1[0] - p0[0]);
1272 ✗ double p1_1_p0_1 = (p1[1] - p0[1]);
1273 ✗ double p1_2_p0_2 = (p1[2] - p0[2]);
1274 ✗ double p1_3_p0_3 = (p1[3] - p0[3]);
1275 ✗ double p1_4_p0_4 = (p1[4] - p0[4]);
1276 ✗ double p1_5_p0_5 = (p1[5] - p0[5]);
1277 ✗ double p1_6_p0_6 = (p1[6] - p0[6]);
1278 double l1;
1279 ✗ l1 = (1 * (((((((p1_0_p0_0 * p1_0_p0_0) + (p1_1_p0_1 * p1_1_p0_1)) + (p1_2_p0_2 * p1_2_p0_2)) + (p1_3_p0_3 * p1_3_p0_3)) + (p1_4_p0_4 * p1_4_p0_4)) + (p1_5_p0_5 * p1_5_p0_5)) + (p1_6_p0_6 * p1_6_p0_6)));
1280 ✗ double p2_0_p0_0 = (p2[0] - p0[0]);
1281 ✗ double p2_1_p0_1 = (p2[1] - p0[1]);
1282 ✗ double p2_2_p0_2 = (p2[2] - p0[2]);
1283 ✗ double p2_3_p0_3 = (p2[3] - p0[3]);
1284 ✗ double p2_4_p0_4 = (p2[4] - p0[4]);
1285 ✗ double p2_5_p0_5 = (p2[5] - p0[5]);
1286 ✗ double p2_6_p0_6 = (p2[6] - p0[6]);
1287 double l2;
1288 ✗ l2 = (1 * (((((((p2_0_p0_0 * p2_0_p0_0) + (p2_1_p0_1 * p2_1_p0_1)) + (p2_2_p0_2 * p2_2_p0_2)) + (p2_3_p0_3 * p2_3_p0_3)) + (p2_4_p0_4 * p2_4_p0_4)) + (p2_5_p0_5 * p2_5_p0_5)) + (p2_6_p0_6 * p2_6_p0_6)));
1289 ✗ double p3_0_p0_0 = (p3[0] - p0[0]);
1290 ✗ double p3_1_p0_1 = (p3[1] - p0[1]);
1291 ✗ double p3_2_p0_2 = (p3[2] - p0[2]);
1292 ✗ double p3_3_p0_3 = (p3[3] - p0[3]);
1293 ✗ double p3_4_p0_4 = (p3[4] - p0[4]);
1294 ✗ double p3_5_p0_5 = (p3[5] - p0[5]);
1295 ✗ double p3_6_p0_6 = (p3[6] - p0[6]);
1296 double l3;
1297 ✗ l3 = (1 * (((((((p3_0_p0_0 * p3_0_p0_0) + (p3_1_p0_1 * p3_1_p0_1)) + (p3_2_p0_2 * p3_2_p0_2)) + (p3_3_p0_3 * p3_3_p0_3)) + (p3_4_p0_4 * p3_4_p0_4)) + (p3_5_p0_5 * p3_5_p0_5)) + (p3_6_p0_6 * p3_6_p0_6)));
1298 ✗ double q0_0_p0_0 = (q0[0] - p0[0]);
1299 ✗ double q0_1_p0_1 = (q0[1] - p0[1]);
1300 ✗ double q0_2_p0_2 = (q0[2] - p0[2]);
1301 ✗ double q0_3_p0_3 = (q0[3] - p0[3]);
1302 ✗ double q0_4_p0_4 = (q0[4] - p0[4]);
1303 ✗ double q0_5_p0_5 = (q0[5] - p0[5]);
1304 ✗ double q0_6_p0_6 = (q0[6] - p0[6]);
1305 double a10;
1306 ✗ a10 = (2 * (((((((p1_0_p0_0 * q0_0_p0_0) + (p1_1_p0_1 * q0_1_p0_1)) + (p1_2_p0_2 * q0_2_p0_2)) + (p1_3_p0_3 * q0_3_p0_3)) + (p1_4_p0_4 * q0_4_p0_4)) + (p1_5_p0_5 * q0_5_p0_5)) + (p1_6_p0_6 * q0_6_p0_6)));
1307 ✗ double q1_0_p0_0 = (q1[0] - p0[0]);
1308 ✗ double q1_1_p0_1 = (q1[1] - p0[1]);
1309 ✗ double q1_2_p0_2 = (q1[2] - p0[2]);
1310 ✗ double q1_3_p0_3 = (q1[3] - p0[3]);
1311 ✗ double q1_4_p0_4 = (q1[4] - p0[4]);
1312 ✗ double q1_5_p0_5 = (q1[5] - p0[5]);
1313 ✗ double q1_6_p0_6 = (q1[6] - p0[6]);
1314 double a11;
1315 ✗ a11 = (2 * (((((((p1_0_p0_0 * q1_0_p0_0) + (p1_1_p0_1 * q1_1_p0_1)) + (p1_2_p0_2 * q1_2_p0_2)) + (p1_3_p0_3 * q1_3_p0_3)) + (p1_4_p0_4 * q1_4_p0_4)) + (p1_5_p0_5 * q1_5_p0_5)) + (p1_6_p0_6 * q1_6_p0_6)));
1316 ✗ double q2_0_p0_0 = (q2[0] - p0[0]);
1317 ✗ double q2_1_p0_1 = (q2[1] - p0[1]);
1318 ✗ double q2_2_p0_2 = (q2[2] - p0[2]);
1319 ✗ double q2_3_p0_3 = (q2[3] - p0[3]);
1320 ✗ double q2_4_p0_4 = (q2[4] - p0[4]);
1321 ✗ double q2_5_p0_5 = (q2[5] - p0[5]);
1322 ✗ double q2_6_p0_6 = (q2[6] - p0[6]);
1323 double a12;
1324 ✗ a12 = (2 * (((((((p1_0_p0_0 * q2_0_p0_0) + (p1_1_p0_1 * q2_1_p0_1)) + (p1_2_p0_2 * q2_2_p0_2)) + (p1_3_p0_3 * q2_3_p0_3)) + (p1_4_p0_4 * q2_4_p0_4)) + (p1_5_p0_5 * q2_5_p0_5)) + (p1_6_p0_6 * q2_6_p0_6)));
1325 double a20;
1326 ✗ a20 = (2 * (((((((p2_0_p0_0 * q0_0_p0_0) + (p2_1_p0_1 * q0_1_p0_1)) + (p2_2_p0_2 * q0_2_p0_2)) + (p2_3_p0_3 * q0_3_p0_3)) + (p2_4_p0_4 * q0_4_p0_4)) + (p2_5_p0_5 * q0_5_p0_5)) + (p2_6_p0_6 * q0_6_p0_6)));
1327 double a21;
1328 ✗ a21 = (2 * (((((((p2_0_p0_0 * q1_0_p0_0) + (p2_1_p0_1 * q1_1_p0_1)) + (p2_2_p0_2 * q1_2_p0_2)) + (p2_3_p0_3 * q1_3_p0_3)) + (p2_4_p0_4 * q1_4_p0_4)) + (p2_5_p0_5 * q1_5_p0_5)) + (p2_6_p0_6 * q1_6_p0_6)));
1329 double a22;
1330 ✗ a22 = (2 * (((((((p2_0_p0_0 * q2_0_p0_0) + (p2_1_p0_1 * q2_1_p0_1)) + (p2_2_p0_2 * q2_2_p0_2)) + (p2_3_p0_3 * q2_3_p0_3)) + (p2_4_p0_4 * q2_4_p0_4)) + (p2_5_p0_5 * q2_5_p0_5)) + (p2_6_p0_6 * q2_6_p0_6)));
1331 double a30;
1332 ✗ a30 = (2 * (((((((p3_0_p0_0 * q0_0_p0_0) + (p3_1_p0_1 * q0_1_p0_1)) + (p3_2_p0_2 * q0_2_p0_2)) + (p3_3_p0_3 * q0_3_p0_3)) + (p3_4_p0_4 * q0_4_p0_4)) + (p3_5_p0_5 * q0_5_p0_5)) + (p3_6_p0_6 * q0_6_p0_6)));
1333 double a31;
1334 ✗ a31 = (2 * (((((((p3_0_p0_0 * q1_0_p0_0) + (p3_1_p0_1 * q1_1_p0_1)) + (p3_2_p0_2 * q1_2_p0_2)) + (p3_3_p0_3 * q1_3_p0_3)) + (p3_4_p0_4 * q1_4_p0_4)) + (p3_5_p0_5 * q1_5_p0_5)) + (p3_6_p0_6 * q1_6_p0_6)));
1335 double a32;
1336 ✗ a32 = (2 * (((((((p3_0_p0_0 * q2_0_p0_0) + (p3_1_p0_1 * q2_1_p0_1)) + (p3_2_p0_2 * q2_2_p0_2)) + (p3_3_p0_3 * q2_3_p0_3)) + (p3_4_p0_4 * q2_4_p0_4)) + (p3_5_p0_5 * q2_5_p0_5)) + (p3_6_p0_6 * q2_6_p0_6)));
1337 double b00;
1338 ✗ b00 = ((a11 * a22) - (a12 * a21));
1339 double b01;
1340 ✗ b01 = (a21 - a22);
1341 double b02;
1342 ✗ b02 = (a12 - a11);
1343 double b10;
1344 ✗ b10 = ((a12 * a20) - (a10 * a22));
1345 double b11;
1346 ✗ b11 = (a22 - a20);
1347 double b12;
1348 ✗ b12 = (a10 - a12);
1349 double b20;
1350 ✗ b20 = ((a10 * a21) - (a11 * a20));
1351 double b21;
1352 ✗ b21 = (a20 - a21);
1353 double b22;
1354 ✗ b22 = (a11 - a10);
1355 double Delta;
1356 ✗ Delta = ((b00 + b10) + b20);
1357 double DeltaLambda0;
1358 ✗ DeltaLambda0 = (((b01 * l1) + (b02 * l2)) + b00);
1359 double DeltaLambda1;
1360 ✗ DeltaLambda1 = (((b11 * l1) + (b12 * l2)) + b10);
1361 double DeltaLambda2;
1362 ✗ DeltaLambda2 = (((b21 * l1) + (b22 * l2)) + b20);
1363 double r;
1364 ✗ r = ((Delta * l3) - (((a30 * DeltaLambda0) + (a31 * DeltaLambda1)) + (a32 * DeltaLambda2)));
1365 double eps;
1366 ✗ double max1 = fabs(p1_1_p0_1);
1367 ✗ if( (max1 < fabs(p1_3_p0_3)) )
1368 {
1369 ✗ max1 = fabs(p1_3_p0_3);
1370 }
1371 ✗ if( (max1 < fabs(p1_5_p0_5)) )
1372 {
1373 ✗ max1 = fabs(p1_5_p0_5);
1374 }
1375 ✗ if( (max1 < fabs(p1_4_p0_4)) )
1376 {
1377 ✗ max1 = fabs(p1_4_p0_4);
1378 }
1379 ✗ if( (max1 < fabs(p1_6_p0_6)) )
1380 {
1381 ✗ max1 = fabs(p1_6_p0_6);
1382 }
1383 ✗ if( (max1 < fabs(p1_2_p0_2)) )
1384 {
1385 ✗ max1 = fabs(p1_2_p0_2);
1386 }
1387 ✗ if( (max1 < fabs(p1_0_p0_0)) )
1388 {
1389 ✗ max1 = fabs(p1_0_p0_0);
1390 }
1391 ✗ double max2 = fabs(p2_0_p0_0);
1392 ✗ if( (max2 < fabs(p2_1_p0_1)) )
1393 {
1394 ✗ max2 = fabs(p2_1_p0_1);
1395 }
1396 ✗ if( (max2 < fabs(p2_2_p0_2)) )
1397 {
1398 ✗ max2 = fabs(p2_2_p0_2);
1399 }
1400 ✗ if( (max2 < fabs(p2_3_p0_3)) )
1401 {
1402 ✗ max2 = fabs(p2_3_p0_3);
1403 }
1404 ✗ if( (max2 < fabs(p2_4_p0_4)) )
1405 {
1406 ✗ max2 = fabs(p2_4_p0_4);
1407 }
1408 ✗ if( (max2 < fabs(p2_5_p0_5)) )
1409 {
1410 ✗ max2 = fabs(p2_5_p0_5);
1411 }
1412 ✗ if( (max2 < fabs(p2_6_p0_6)) )
1413 {
1414 ✗ max2 = fabs(p2_6_p0_6);
1415 }
1416 ✗ double max3 = fabs(q0_0_p0_0);
1417 ✗ if( (max3 < fabs(q0_1_p0_1)) )
1418 {
1419 ✗ max3 = fabs(q0_1_p0_1);
1420 }
1421 ✗ if( (max3 < fabs(q0_2_p0_2)) )
1422 {
1423 ✗ max3 = fabs(q0_2_p0_2);
1424 }
1425 ✗ if( (max3 < fabs(q0_3_p0_3)) )
1426 {
1427 ✗ max3 = fabs(q0_3_p0_3);
1428 }
1429 ✗ if( (max3 < fabs(q0_4_p0_4)) )
1430 {
1431 ✗ max3 = fabs(q0_4_p0_4);
1432 }
1433 ✗ if( (max3 < fabs(q0_5_p0_5)) )
1434 {
1435 ✗ max3 = fabs(q0_5_p0_5);
1436 }
1437 ✗ if( (max3 < fabs(q0_6_p0_6)) )
1438 {
1439 ✗ max3 = fabs(q0_6_p0_6);
1440 }
1441 ✗ if( (max3 < fabs(q1_0_p0_0)) )
1442 {
1443 ✗ max3 = fabs(q1_0_p0_0);
1444 }
1445 ✗ if( (max3 < fabs(q1_1_p0_1)) )
1446 {
1447 ✗ max3 = fabs(q1_1_p0_1);
1448 }
1449 ✗ if( (max3 < fabs(q1_2_p0_2)) )
1450 {
1451 ✗ max3 = fabs(q1_2_p0_2);
1452 }
1453 ✗ if( (max3 < fabs(q1_3_p0_3)) )
1454 {
1455 ✗ max3 = fabs(q1_3_p0_3);
1456 }
1457 ✗ if( (max3 < fabs(q1_4_p0_4)) )
1458 {
1459 ✗ max3 = fabs(q1_4_p0_4);
1460 }
1461 ✗ if( (max3 < fabs(q1_5_p0_5)) )
1462 {
1463 ✗ max3 = fabs(q1_5_p0_5);
1464 }
1465 ✗ if( (max3 < fabs(q1_6_p0_6)) )
1466 {
1467 ✗ max3 = fabs(q1_6_p0_6);
1468 }
1469 ✗ if( (max3 < fabs(q2_0_p0_0)) )
1470 {
1471 ✗ max3 = fabs(q2_0_p0_0);
1472 }
1473 ✗ if( (max3 < fabs(q2_1_p0_1)) )
1474 {
1475 ✗ max3 = fabs(q2_1_p0_1);
1476 }
1477 ✗ if( (max3 < fabs(q2_2_p0_2)) )
1478 {
1479 ✗ max3 = fabs(q2_2_p0_2);
1480 }
1481 ✗ if( (max3 < fabs(q2_3_p0_3)) )
1482 {
1483 ✗ max3 = fabs(q2_3_p0_3);
1484 }
1485 ✗ if( (max3 < fabs(q2_4_p0_4)) )
1486 {
1487 ✗ max3 = fabs(q2_4_p0_4);
1488 }
1489 ✗ if( (max3 < fabs(q2_5_p0_5)) )
1490 {
1491 ✗ max3 = fabs(q2_5_p0_5);
1492 }
1493 ✗ if( (max3 < fabs(q2_6_p0_6)) )
1494 {
1495 ✗ max3 = fabs(q2_6_p0_6);
1496 }
1497 double lower_bound_1;
1498 double upper_bound_1;
1499 int Delta_sign;
1500 int int_tmp_result;
1501 ✗ lower_bound_1 = max2;
1502 ✗ upper_bound_1 = max2;
1503 ✗ if( (max1 < lower_bound_1) )
1504 {
1505 ✗ lower_bound_1 = max1;
1506 }
1507 else
1508 {
1509 ✗ if( (max1 > upper_bound_1) )
1510 {
1511 ✗ upper_bound_1 = max1;
1512 }
1513 }
1514 ✗ if( (max3 < lower_bound_1) )
1515 {
1516 ✗ lower_bound_1 = max3;
1517 }
1518 else
1519 {
1520 ✗ if( (max3 > upper_bound_1) )
1521 {
1522 ✗ upper_bound_1 = max3;
1523 }
1524 }
1525 ✗ if( (lower_bound_1 < 1.36918881183883509035e-74) )
1526 {
1527 ✗ return FPG_UNCERTAIN_VALUE;
1528 }
1529 else
1530 {
1531 ✗ if( (upper_bound_1 > 1.29807421463370647479e+33) )
1532 {
1533 ✗ return FPG_UNCERTAIN_VALUE;
1534 }
1535 ✗ eps = (6.33127335329798996022e-13 * (((max1 * max3) * max2) * max3));
1536 ✗ if( (Delta > eps) )
1537 {
1538 ✗ int_tmp_result = 1;
1539 }
1540 else
1541 {
1542 ✗ if( (Delta < -eps) )
1543 {
1544 ✗ int_tmp_result = -1;
1545 }
1546 else
1547 {
1548 ✗ return FPG_UNCERTAIN_VALUE;
1549 }
1550 }
1551 }
1552 ✗ Delta_sign = int_tmp_result;
1553 double max4;
1554 ✗ double max7 = max1;
1555 ✗ if( (max7 < max3) )
1556 {
1557 ✗ max7 = max3;
1558 }
1559 ✗ max4 = max7;
1560 ✗ if( (max4 < max2) )
1561 {
1562 ✗ max4 = max2;
1563 }
1564 ✗ double max5 = max1;
1565 ✗ if( (max5 < fabs(p3_0_p0_0)) )
1566 {
1567 ✗ max5 = fabs(p3_0_p0_0);
1568 }
1569 ✗ if( (max5 < fabs(p3_1_p0_1)) )
1570 {
1571 ✗ max5 = fabs(p3_1_p0_1);
1572 }
1573 ✗ if( (max5 < fabs(p3_2_p0_2)) )
1574 {
1575 ✗ max5 = fabs(p3_2_p0_2);
1576 }
1577 ✗ if( (max5 < fabs(p3_3_p0_3)) )
1578 {
1579 ✗ max5 = fabs(p3_3_p0_3);
1580 }
1581 ✗ if( (max5 < fabs(p3_4_p0_4)) )
1582 {
1583 ✗ max5 = fabs(p3_4_p0_4);
1584 }
1585 ✗ if( (max5 < fabs(p3_5_p0_5)) )
1586 {
1587 ✗ max5 = fabs(p3_5_p0_5);
1588 }
1589 ✗ if( (max5 < fabs(p3_6_p0_6)) )
1590 {
1591 ✗ max5 = fabs(p3_6_p0_6);
1592 }
1593 ✗ if( (max4 < max5) )
1594 {
1595 ✗ max4 = max5;
1596 }
1597 ✗ if( (max4 < max1) )
1598 {
1599 ✗ max4 = max1;
1600 }
1601 ✗ if( (max4 < max3) )
1602 {
1603 ✗ max4 = max3;
1604 }
1605 ✗ double max6 = max7;
1606 ✗ if( (max6 < max5) )
1607 {
1608 ✗ max6 = max5;
1609 }
1610 ✗ if( (max6 < max1) )
1611 {
1612 ✗ max6 = max1;
1613 }
1614 ✗ if( (max6 < max3) )
1615 {
1616 ✗ max6 = max3;
1617 }
1618 ✗ if( (max4 < max6) )
1619 {
1620 ✗ max4 = max6;
1621 }
1622 int r_sign;
1623 int int_tmp_result_FFWKCAA;
1624 ✗ lower_bound_1 = max7;
1625 ✗ upper_bound_1 = max7;
1626 ✗ if( (max2 < lower_bound_1) )
1627 {
1628 ✗ lower_bound_1 = max2;
1629 }
1630 ✗ if( (max5 < lower_bound_1) )
1631 {
1632 ✗ lower_bound_1 = max5;
1633 }
1634 ✗ if( (max4 < lower_bound_1) )
1635 {
1636 ✗ lower_bound_1 = max4;
1637 }
1638 else
1639 {
1640 ✗ if( (max4 > upper_bound_1) )
1641 {
1642 ✗ upper_bound_1 = max4;
1643 }
1644 }
1645 ✗ if( (max3 < lower_bound_1) )
1646 {
1647 ✗ lower_bound_1 = max3;
1648 }
1649 ✗ if( (max6 < lower_bound_1) )
1650 {
1651 ✗ lower_bound_1 = max6;
1652 }
1653 ✗ if( (lower_bound_1 < 3.04548303565602498901e-50) )
1654 {
1655 ✗ return FPG_UNCERTAIN_VALUE;
1656 }
1657 else
1658 {
1659 ✗ if( (upper_bound_1 > 1.29807421463370647479e+33) )
1660 {
1661 ✗ return FPG_UNCERTAIN_VALUE;
1662 }
1663 ✗ eps = (2.78873548804336160566e-11 * (((((max5 * max3) * max2) * max7) * max6) * max4));
1664 ✗ if( (r > eps) )
1665 {
1666 ✗ int_tmp_result_FFWKCAA = 1;
1667 }
1668 else
1669 {
1670 ✗ if( (r < -eps) )
1671 {
1672 ✗ int_tmp_result_FFWKCAA = -1;
1673 }
1674 else
1675 {
1676 ✗ return FPG_UNCERTAIN_VALUE;
1677 }
1678 }
1679 }
1680 ✗ r_sign = int_tmp_result_FFWKCAA;
1681 ✗ return (Delta_sign * r_sign);
1682 }
1683
1684
1685 154806 inline int side3_8d_filter( const double* p0, const double* p1, const double* p2, const double* p3, const double* q0, const double* q1, const double* q2) {
1686 154806 double p1_0_p0_0 = (p1[0] - p0[0]);
1687 154806 double p1_1_p0_1 = (p1[1] - p0[1]);
1688 154806 double p1_2_p0_2 = (p1[2] - p0[2]);
1689 154806 double p1_3_p0_3 = (p1[3] - p0[3]);
1690 154806 double p1_4_p0_4 = (p1[4] - p0[4]);
1691 154806 double p1_5_p0_5 = (p1[5] - p0[5]);
1692 154806 double p1_6_p0_6 = (p1[6] - p0[6]);
1693 154806 double p1_7_p0_7 = (p1[7] - p0[7]);
1694 double l1;
1695 154806 l1 = (1 * ((((((((p1_0_p0_0 * p1_0_p0_0) + (p1_1_p0_1 * p1_1_p0_1)) + (p1_2_p0_2 * p1_2_p0_2)) + (p1_3_p0_3 * p1_3_p0_3)) + (p1_4_p0_4 * p1_4_p0_4)) + (p1_5_p0_5 * p1_5_p0_5)) + (p1_6_p0_6 * p1_6_p0_6)) + (p1_7_p0_7 * p1_7_p0_7)));
1696 154806 double p2_0_p0_0 = (p2[0] - p0[0]);
1697 154806 double p2_1_p0_1 = (p2[1] - p0[1]);
1698 154806 double p2_2_p0_2 = (p2[2] - p0[2]);
1699 154806 double p2_3_p0_3 = (p2[3] - p0[3]);
1700 154806 double p2_4_p0_4 = (p2[4] - p0[4]);
1701 154806 double p2_5_p0_5 = (p2[5] - p0[5]);
1702 154806 double p2_6_p0_6 = (p2[6] - p0[6]);
1703 154806 double p2_7_p0_7 = (p2[7] - p0[7]);
1704 double l2;
1705 154806 l2 = (1 * ((((((((p2_0_p0_0 * p2_0_p0_0) + (p2_1_p0_1 * p2_1_p0_1)) + (p2_2_p0_2 * p2_2_p0_2)) + (p2_3_p0_3 * p2_3_p0_3)) + (p2_4_p0_4 * p2_4_p0_4)) + (p2_5_p0_5 * p2_5_p0_5)) + (p2_6_p0_6 * p2_6_p0_6)) + (p2_7_p0_7 * p2_7_p0_7)));
1706 154806 double p3_0_p0_0 = (p3[0] - p0[0]);
1707 154806 double p3_1_p0_1 = (p3[1] - p0[1]);
1708 154806 double p3_2_p0_2 = (p3[2] - p0[2]);
1709 154806 double p3_3_p0_3 = (p3[3] - p0[3]);
1710 154806 double p3_4_p0_4 = (p3[4] - p0[4]);
1711 154806 double p3_5_p0_5 = (p3[5] - p0[5]);
1712 154806 double p3_6_p0_6 = (p3[6] - p0[6]);
1713 154806 double p3_7_p0_7 = (p3[7] - p0[7]);
1714 double l3;
1715 154806 l3 = (1 * ((((((((p3_0_p0_0 * p3_0_p0_0) + (p3_1_p0_1 * p3_1_p0_1)) + (p3_2_p0_2 * p3_2_p0_2)) + (p3_3_p0_3 * p3_3_p0_3)) + (p3_4_p0_4 * p3_4_p0_4)) + (p3_5_p0_5 * p3_5_p0_5)) + (p3_6_p0_6 * p3_6_p0_6)) + (p3_7_p0_7 * p3_7_p0_7)));
1716 154806 double q0_0_p0_0 = (q0[0] - p0[0]);
1717 154806 double q0_1_p0_1 = (q0[1] - p0[1]);
1718 154806 double q0_2_p0_2 = (q0[2] - p0[2]);
1719 154806 double q0_3_p0_3 = (q0[3] - p0[3]);
1720 154806 double q0_4_p0_4 = (q0[4] - p0[4]);
1721 154806 double q0_5_p0_5 = (q0[5] - p0[5]);
1722 154806 double q0_6_p0_6 = (q0[6] - p0[6]);
1723 154806 double q0_7_p0_7 = (q0[7] - p0[7]);
1724 double a10;
1725 154806 a10 = (2 * ((((((((p1_0_p0_0 * q0_0_p0_0) + (p1_1_p0_1 * q0_1_p0_1)) + (p1_2_p0_2 * q0_2_p0_2)) + (p1_3_p0_3 * q0_3_p0_3)) + (p1_4_p0_4 * q0_4_p0_4)) + (p1_5_p0_5 * q0_5_p0_5)) + (p1_6_p0_6 * q0_6_p0_6)) + (p1_7_p0_7 * q0_7_p0_7)));
1726 154806 double q1_0_p0_0 = (q1[0] - p0[0]);
1727 154806 double q1_1_p0_1 = (q1[1] - p0[1]);
1728 154806 double q1_2_p0_2 = (q1[2] - p0[2]);
1729 154806 double q1_3_p0_3 = (q1[3] - p0[3]);
1730 154806 double q1_4_p0_4 = (q1[4] - p0[4]);
1731 154806 double q1_5_p0_5 = (q1[5] - p0[5]);
1732 154806 double q1_6_p0_6 = (q1[6] - p0[6]);
1733 154806 double q1_7_p0_7 = (q1[7] - p0[7]);
1734 double a11;
1735 154806 a11 = (2 * ((((((((p1_0_p0_0 * q1_0_p0_0) + (p1_1_p0_1 * q1_1_p0_1)) + (p1_2_p0_2 * q1_2_p0_2)) + (p1_3_p0_3 * q1_3_p0_3)) + (p1_4_p0_4 * q1_4_p0_4)) + (p1_5_p0_5 * q1_5_p0_5)) + (p1_6_p0_6 * q1_6_p0_6)) + (p1_7_p0_7 * q1_7_p0_7)));
1736 154806 double q2_0_p0_0 = (q2[0] - p0[0]);
1737 154806 double q2_1_p0_1 = (q2[1] - p0[1]);
1738 154806 double q2_2_p0_2 = (q2[2] - p0[2]);
1739 154806 double q2_3_p0_3 = (q2[3] - p0[3]);
1740 154806 double q2_4_p0_4 = (q2[4] - p0[4]);
1741 154806 double q2_5_p0_5 = (q2[5] - p0[5]);
1742 154806 double q2_6_p0_6 = (q2[6] - p0[6]);
1743 154806 double q2_7_p0_7 = (q2[7] - p0[7]);
1744 double a12;
1745 154806 a12 = (2 * ((((((((p1_0_p0_0 * q2_0_p0_0) + (p1_1_p0_1 * q2_1_p0_1)) + (p1_2_p0_2 * q2_2_p0_2)) + (p1_3_p0_3 * q2_3_p0_3)) + (p1_4_p0_4 * q2_4_p0_4)) + (p1_5_p0_5 * q2_5_p0_5)) + (p1_6_p0_6 * q2_6_p0_6)) + (p1_7_p0_7 * q2_7_p0_7)));
1746 double a20;
1747 154806 a20 = (2 * ((((((((p2_0_p0_0 * q0_0_p0_0) + (p2_1_p0_1 * q0_1_p0_1)) + (p2_2_p0_2 * q0_2_p0_2)) + (p2_3_p0_3 * q0_3_p0_3)) + (p2_4_p0_4 * q0_4_p0_4)) + (p2_5_p0_5 * q0_5_p0_5)) + (p2_6_p0_6 * q0_6_p0_6)) + (p2_7_p0_7 * q0_7_p0_7)));
1748 double a21;
1749 154806 a21 = (2 * ((((((((p2_0_p0_0 * q1_0_p0_0) + (p2_1_p0_1 * q1_1_p0_1)) + (p2_2_p0_2 * q1_2_p0_2)) + (p2_3_p0_3 * q1_3_p0_3)) + (p2_4_p0_4 * q1_4_p0_4)) + (p2_5_p0_5 * q1_5_p0_5)) + (p2_6_p0_6 * q1_6_p0_6)) + (p2_7_p0_7 * q1_7_p0_7)));
1750 double a22;
1751 154806 a22 = (2 * ((((((((p2_0_p0_0 * q2_0_p0_0) + (p2_1_p0_1 * q2_1_p0_1)) + (p2_2_p0_2 * q2_2_p0_2)) + (p2_3_p0_3 * q2_3_p0_3)) + (p2_4_p0_4 * q2_4_p0_4)) + (p2_5_p0_5 * q2_5_p0_5)) + (p2_6_p0_6 * q2_6_p0_6)) + (p2_7_p0_7 * q2_7_p0_7)));
1752 double a30;
1753 154806 a30 = (2 * ((((((((p3_0_p0_0 * q0_0_p0_0) + (p3_1_p0_1 * q0_1_p0_1)) + (p3_2_p0_2 * q0_2_p0_2)) + (p3_3_p0_3 * q0_3_p0_3)) + (p3_4_p0_4 * q0_4_p0_4)) + (p3_5_p0_5 * q0_5_p0_5)) + (p3_6_p0_6 * q0_6_p0_6)) + (p3_7_p0_7 * q0_7_p0_7)));
1754 double a31;
1755 154806 a31 = (2 * ((((((((p3_0_p0_0 * q1_0_p0_0) + (p3_1_p0_1 * q1_1_p0_1)) + (p3_2_p0_2 * q1_2_p0_2)) + (p3_3_p0_3 * q1_3_p0_3)) + (p3_4_p0_4 * q1_4_p0_4)) + (p3_5_p0_5 * q1_5_p0_5)) + (p3_6_p0_6 * q1_6_p0_6)) + (p3_7_p0_7 * q1_7_p0_7)));
1756 double a32;
1757 154806 a32 = (2 * ((((((((p3_0_p0_0 * q2_0_p0_0) + (p3_1_p0_1 * q2_1_p0_1)) + (p3_2_p0_2 * q2_2_p0_2)) + (p3_3_p0_3 * q2_3_p0_3)) + (p3_4_p0_4 * q2_4_p0_4)) + (p3_5_p0_5 * q2_5_p0_5)) + (p3_6_p0_6 * q2_6_p0_6)) + (p3_7_p0_7 * q2_7_p0_7)));
1758 double b00;
1759 154806 b00 = ((a11 * a22) - (a12 * a21));
1760 double b01;
1761 154806 b01 = (a21 - a22);
1762 double b02;
1763 154806 b02 = (a12 - a11);
1764 double b10;
1765 154806 b10 = ((a12 * a20) - (a10 * a22));
1766 double b11;
1767 154806 b11 = (a22 - a20);
1768 double b12;
1769 154806 b12 = (a10 - a12);
1770 double b20;
1771 154806 b20 = ((a10 * a21) - (a11 * a20));
1772 double b21;
1773 154806 b21 = (a20 - a21);
1774 double b22;
1775 154806 b22 = (a11 - a10);
1776 double Delta;
1777 154806 Delta = ((b00 + b10) + b20);
1778 double DeltaLambda0;
1779 154806 DeltaLambda0 = (((b01 * l1) + (b02 * l2)) + b00);
1780 double DeltaLambda1;
1781 154806 DeltaLambda1 = (((b11 * l1) + (b12 * l2)) + b10);
1782 double DeltaLambda2;
1783 154806 DeltaLambda2 = (((b21 * l1) + (b22 * l2)) + b20);
1784 double r;
1785 154806 r = ((Delta * l3) - (((a30 * DeltaLambda0) + (a31 * DeltaLambda1)) + (a32 * DeltaLambda2)));
1786 double eps;
1787 154806 double max1 = fabs(p2_1_p0_1);
1788
2/2
✓ Branch 0 taken 32458 times.
✓ Branch 1 taken 122348 times.
 154806 if( (max1 < fabs(p2_0_p0_0)) )
1789 {
1790 32458 max1 = fabs(p2_0_p0_0);
1791 }
1792
2/2
✓ Branch 0 taken 58652 times.
✓ Branch 1 taken 96154 times.
 154806 if( (max1 < fabs(p2_3_p0_3)) )
1793 {
1794 58652 max1 = fabs(p2_3_p0_3);
1795 }
1796
2/2
✓ Branch 0 taken 69817 times.
✓ Branch 1 taken 84989 times.
 154806 if( (max1 < fabs(p2_2_p0_2)) )
1797 {
1798 69817 max1 = fabs(p2_2_p0_2);
1799 }
1800
2/2
✓ Branch 0 taken 29183 times.
✓ Branch 1 taken 125623 times.
 154806 if( (max1 < fabs(p2_4_p0_4)) )
1801 {
1802 29183 max1 = fabs(p2_4_p0_4);
1803 }
1804
2/2
✓ Branch 0 taken 13126 times.
✓ Branch 1 taken 141680 times.
 154806 if( (max1 < fabs(p2_7_p0_7)) )
1805 {
1806 13126 max1 = fabs(p2_7_p0_7);
1807 }
1808
2/2
✓ Branch 0 taken 7006 times.
✓ Branch 1 taken 147800 times.
 154806 if( (max1 < fabs(p2_5_p0_5)) )
1809 {
1810 7006 max1 = fabs(p2_5_p0_5);
1811 }
1812
2/2
✓ Branch 0 taken 10896 times.
✓ Branch 1 taken 143910 times.
 154806 if( (max1 < fabs(p2_6_p0_6)) )
1813 {
1814 10896 max1 = fabs(p2_6_p0_6);
1815 }
1816 154806 double max2 = fabs(p1_4_p0_4);
1817
2/2
✓ Branch 0 taken 85654 times.
✓ Branch 1 taken 69152 times.
 154806 if( (max2 < fabs(p1_1_p0_1)) )
1818 {
1819 85654 max2 = fabs(p1_1_p0_1);
1820 }
1821
2/2
✓ Branch 0 taken 941 times.
✓ Branch 1 taken 153865 times.
 154806 if( (max2 < fabs(p1_0_p0_0)) )
1822 {
1823 941 max2 = fabs(p1_0_p0_0);
1824 }
1825
2/2
✓ Branch 0 taken 18515 times.
✓ Branch 1 taken 136291 times.
 154806 if( (max2 < fabs(p1_3_p0_3)) )
1826 {
1827 18515 max2 = fabs(p1_3_p0_3);
1828 }
1829
2/2
✓ Branch 0 taken 64115 times.
✓ Branch 1 taken 90691 times.
 154806 if( (max2 < fabs(p1_2_p0_2)) )
1830 {
1831 64115 max2 = fabs(p1_2_p0_2);
1832 }
1833
2/2
✓ Branch 0 taken 6852 times.
✓ Branch 1 taken 147954 times.
 154806 if( (max2 < fabs(p1_5_p0_5)) )
1834 {
1835 6852 max2 = fabs(p1_5_p0_5);
1836 }
1837
2/2
✓ Branch 0 taken 12786 times.
✓ Branch 1 taken 142020 times.
 154806 if( (max2 < fabs(p1_6_p0_6)) )
1838 {
1839 12786 max2 = fabs(p1_6_p0_6);
1840 }
1841
2/2
✓ Branch 0 taken 12710 times.
✓ Branch 1 taken 142096 times.
 154806 if( (max2 < fabs(p1_7_p0_7)) )
1842 {
1843 12710 max2 = fabs(p1_7_p0_7);
1844 }
1845 154806 double max3 = fabs(q0_0_p0_0);
1846
2/2
✓ Branch 0 taken 93501 times.
✓ Branch 1 taken 61305 times.
 154806 if( (max3 < fabs(q0_1_p0_1)) )
1847 {
1848 93501 max3 = fabs(q0_1_p0_1);
1849 }
1850
2/2
✓ Branch 0 taken 58811 times.
✓ Branch 1 taken 95995 times.
 154806 if( (max3 < fabs(q0_2_p0_2)) )
1851 {
1852 58811 max3 = fabs(q0_2_p0_2);
1853 }
1854
2/2
✓ Branch 0 taken 107071 times.
✓ Branch 1 taken 47735 times.
 154806 if( (max3 < fabs(q0_3_p0_3)) )
1855 {
1856 107071 max3 = fabs(q0_3_p0_3);
1857 }
1858
2/2
✓ Branch 0 taken 110204 times.
✓ Branch 1 taken 44602 times.
 154806 if( (max3 < fabs(q0_4_p0_4)) )
1859 {
1860 110204 max3 = fabs(q0_4_p0_4);
1861 }
1862
2/2
✓ Branch 0 taken 23336 times.
✓ Branch 1 taken 131470 times.
 154806 if( (max3 < fabs(q0_5_p0_5)) )
1863 {
1864 23336 max3 = fabs(q0_5_p0_5);
1865 }
1866
2/2
✓ Branch 0 taken 27698 times.
✓ Branch 1 taken 127108 times.
 154806 if( (max3 < fabs(q0_6_p0_6)) )
1867 {
1868 27698 max3 = fabs(q0_6_p0_6);
1869 }
1870
2/2
✓ Branch 0 taken 36144 times.
✓ Branch 1 taken 118662 times.
 154806 if( (max3 < fabs(q0_7_p0_7)) )
1871 {
1872 36144 max3 = fabs(q0_7_p0_7);
1873 }
1874
2/2
✓ Branch 0 taken 10602 times.
✓ Branch 1 taken 144204 times.
 154806 if( (max3 < fabs(q1_0_p0_0)) )
1875 {
1876 10602 max3 = fabs(q1_0_p0_0);
1877 }
1878
2/2
✓ Branch 0 taken 6347 times.
✓ Branch 1 taken 148459 times.
 154806 if( (max3 < fabs(q1_1_p0_1)) )
1879 {
1880 6347 max3 = fabs(q1_1_p0_1);
1881 }
1882
2/2
✓ Branch 0 taken 5876 times.
✓ Branch 1 taken 148930 times.
 154806 if( (max3 < fabs(q1_2_p0_2)) )
1883 {
1884 5876 max3 = fabs(q1_2_p0_2);
1885 }
1886
2/2
✓ Branch 0 taken 35345 times.
✓ Branch 1 taken 119461 times.
 154806 if( (max3 < fabs(q1_3_p0_3)) )
1887 {
1888 35345 max3 = fabs(q1_3_p0_3);
1889 }
1890
2/2
✓ Branch 0 taken 40034 times.
✓ Branch 1 taken 114772 times.
 154806 if( (max3 < fabs(q1_4_p0_4)) )
1891 {
1892 40034 max3 = fabs(q1_4_p0_4);
1893 }
1894
2/2
✓ Branch 0 taken 15248 times.
✓ Branch 1 taken 139558 times.
 154806 if( (max3 < fabs(q1_5_p0_5)) )
1895 {
1896 15248 max3 = fabs(q1_5_p0_5);
1897 }
1898
2/2
✓ Branch 0 taken 12729 times.
✓ Branch 1 taken 142077 times.
 154806 if( (max3 < fabs(q1_6_p0_6)) )
1899 {
1900 12729 max3 = fabs(q1_6_p0_6);
1901 }
1902
2/2
✓ Branch 0 taken 18391 times.
✓ Branch 1 taken 136415 times.
 154806 if( (max3 < fabs(q1_7_p0_7)) )
1903 {
1904 18391 max3 = fabs(q1_7_p0_7);
1905 }
1906
2/2
✓ Branch 0 taken 8252 times.
✓ Branch 1 taken 146554 times.
 154806 if( (max3 < fabs(q2_0_p0_0)) )
1907 {
1908 8252 max3 = fabs(q2_0_p0_0);
1909 }
1910
2/2
✓ Branch 0 taken 1080 times.
✓ Branch 1 taken 153726 times.
 154806 if( (max3 < fabs(q2_1_p0_1)) )
1911 {
1912 1080 max3 = fabs(q2_1_p0_1);
1913 }
1914
2/2
✓ Branch 0 taken 1333 times.
✓ Branch 1 taken 153473 times.
 154806 if( (max3 < fabs(q2_2_p0_2)) )
1915 {
1916 1333 max3 = fabs(q2_2_p0_2);
1917 }
1918
2/2
✓ Branch 0 taken 34791 times.
✓ Branch 1 taken 120015 times.
 154806 if( (max3 < fabs(q2_3_p0_3)) )
1919 {
1920 34791 max3 = fabs(q2_3_p0_3);
1921 }
1922
2/2
✓ Branch 0 taken 42052 times.
✓ Branch 1 taken 112754 times.
 154806 if( (max3 < fabs(q2_4_p0_4)) )
1923 {
1924 42052 max3 = fabs(q2_4_p0_4);
1925 }
1926
2/2
✓ Branch 0 taken 9273 times.
✓ Branch 1 taken 145533 times.
 154806 if( (max3 < fabs(q2_5_p0_5)) )
1927 {
1928 9273 max3 = fabs(q2_5_p0_5);
1929 }
1930
2/2
✓ Branch 0 taken 9344 times.
✓ Branch 1 taken 145462 times.
 154806 if( (max3 < fabs(q2_6_p0_6)) )
1931 {
1932 9344 max3 = fabs(q2_6_p0_6);
1933 }
1934
2/2
✓ Branch 0 taken 20521 times.
✓ Branch 1 taken 134285 times.
 154806 if( (max3 < fabs(q2_7_p0_7)) )
1935 {
1936 20521 max3 = fabs(q2_7_p0_7);
1937 }
1938 double lower_bound_1;
1939 double upper_bound_1;
1940 int Delta_sign;
1941 int int_tmp_result;
1942 154806 lower_bound_1 = max1;
1943 154806 upper_bound_1 = max1;
1944
2/2
✓ Branch 0 taken 75676 times.
✓ Branch 1 taken 79130 times.
 154806 if( (max2 < lower_bound_1) )
1945 {
1946 75676 lower_bound_1 = max2;
1947 }
1948 else
1949 {
1950
1/2
✓ Branch 0 taken 79130 times.
✗ Branch 1 not taken.
 79130 if( (max2 > upper_bound_1) )
1951 {
1952 79130 upper_bound_1 = max2;
1953 }
1954 }
1955
2/2
✓ Branch 0 taken 777 times.
✓ Branch 1 taken 154029 times.
 154806 if( (max3 < lower_bound_1) )
1956 {
1957 777 lower_bound_1 = max3;
1958 }
1959 else
1960 {
1961
2/2
✓ Branch 0 taken 153854 times.
✓ Branch 1 taken 175 times.
 154029 if( (max3 > upper_bound_1) )
1962 {
1963 153854 upper_bound_1 = max3;
1964 }
1965 }
1966
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (lower_bound_1 < 1.26419510663115923609e-74) )
1967 {
1968 ✗ return FPG_UNCERTAIN_VALUE;
1969 }
1970 else
1971 {
1972
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (upper_bound_1 > 1.29807421463370647479e+33) )
1973 {
1974 ✗ return FPG_UNCERTAIN_VALUE;
1975 }
1976 154806 eps = (8.71140112255785451890e-13 * (((max2 * max3) * max1) * max3));
1977
2/2
✓ Branch 0 taken 77469 times.
✓ Branch 1 taken 77337 times.
 154806 if( (Delta > eps) )
1978 {
1979 77469 int_tmp_result = 1;
1980 }
1981 else
1982 {
1983
1/2
✓ Branch 0 taken 77337 times.
✗ Branch 1 not taken.
 77337 if( (Delta < -eps) )
1984 {
1985 77337 int_tmp_result = -1;
1986 }
1987 else
1988 {
1989 ✗ return FPG_UNCERTAIN_VALUE;
1990 }
1991 }
1992 }
1993 154806 Delta_sign = int_tmp_result;
1994 154806 double max4 = max1;
1995
2/2
✓ Branch 0 taken 79130 times.
✓ Branch 1 taken 75676 times.
 154806 if( (max4 < max2) )
1996 {
1997 79130 max4 = max2;
1998 }
1999
2/2
✓ Branch 0 taken 153854 times.
✓ Branch 1 taken 952 times.
 154806 if( (max4 < max3) )
2000 {
2001 153854 max4 = max3;
2002 }
2003 154806 double max5 = max2;
2004
2/2
✓ Branch 0 taken 931 times.
✓ Branch 1 taken 153875 times.
 154806 if( (max5 < fabs(p3_0_p0_0)) )
2005 {
2006 931 max5 = fabs(p3_0_p0_0);
2007 }
2008
2/2
✓ Branch 0 taken 53953 times.
✓ Branch 1 taken 100853 times.
 154806 if( (max5 < fabs(p3_1_p0_1)) )
2009 {
2010 53953 max5 = fabs(p3_1_p0_1);
2011 }
2012
2/2
✓ Branch 0 taken 42626 times.
✓ Branch 1 taken 112180 times.
 154806 if( (max5 < fabs(p3_2_p0_2)) )
2013 {
2014 42626 max5 = fabs(p3_2_p0_2);
2015 }
2016
2/2
✓ Branch 0 taken 2700 times.
✓ Branch 1 taken 152106 times.
 154806 if( (max5 < fabs(p3_3_p0_3)) )
2017 {
2018 2700 max5 = fabs(p3_3_p0_3);
2019 }
2020
2/2
✓ Branch 0 taken 8101 times.
✓ Branch 1 taken 146705 times.
 154806 if( (max5 < fabs(p3_4_p0_4)) )
2021 {
2022 8101 max5 = fabs(p3_4_p0_4);
2023 }
2024
2/2
✓ Branch 0 taken 4713 times.
✓ Branch 1 taken 150093 times.
 154806 if( (max5 < fabs(p3_5_p0_5)) )
2025 {
2026 4713 max5 = fabs(p3_5_p0_5);
2027 }
2028
2/2
✓ Branch 0 taken 5258 times.
✓ Branch 1 taken 149548 times.
 154806 if( (max5 < fabs(p3_6_p0_6)) )
2029 {
2030 5258 max5 = fabs(p3_6_p0_6);
2031 }
2032
2/2
✓ Branch 0 taken 4892 times.
✓ Branch 1 taken 149914 times.
 154806 if( (max5 < fabs(p3_7_p0_7)) )
2033 {
2034 4892 max5 = fabs(p3_7_p0_7);
2035 }
2036
2/2
✓ Branch 0 taken 504 times.
✓ Branch 1 taken 154302 times.
 154806 if( (max4 < max5) )
2037 {
2038 504 max4 = max5;
2039 }
2040 154806 double max6 = max2;
2041
2/2
✓ Branch 0 taken 153974 times.
✓ Branch 1 taken 832 times.
 154806 if( (max6 < max3) )
2042 {
2043 153974 max6 = max3;
2044 }
2045
2/2
✓ Branch 0 taken 610 times.
✓ Branch 1 taken 154196 times.
 154806 if( (max6 < max5) )
2046 {
2047 610 max6 = max5;
2048 }
2049 154806 double max7 = max2;
2050
2/2
✓ Branch 0 taken 153974 times.
✓ Branch 1 taken 832 times.
 154806 if( (max7 < max3) )
2051 {
2052 153974 max7 = max3;
2053 }
2054
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (max6 < max7) )
2055 {
2056 ✗ max6 = max7;
2057 }
2058
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (max4 < max6) )
2059 {
2060 ✗ max4 = max6;
2061 }
2062
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (max4 < max7) )
2063 {
2064 ✗ max4 = max7;
2065 }
2066 int r_sign;
2067 int int_tmp_result_FFWKCAA;
2068 154806 lower_bound_1 = max1;
2069 154806 upper_bound_1 = max1;
2070
2/2
✓ Branch 0 taken 897 times.
✓ Branch 1 taken 153909 times.
 154806 if( (max3 < lower_bound_1) )
2071 {
2072 897 lower_bound_1 = max3;
2073 }
2074
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (max4 < lower_bound_1) )
2075 {
2076 ✗ lower_bound_1 = max4;
2077 }
2078 else
2079 {
2080
2/2
✓ Branch 0 taken 154462 times.
✓ Branch 1 taken 344 times.
 154806 if( (max4 > upper_bound_1) )
2081 {
2082 154462 upper_bound_1 = max4;
2083 }
2084 }
2085
2/2
✓ Branch 0 taken 31144 times.
✓ Branch 1 taken 123662 times.
 154806 if( (max5 < lower_bound_1) )
2086 {
2087 31144 lower_bound_1 = max5;
2088 }
2089
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (max6 < lower_bound_1) )
2090 {
2091 ✗ lower_bound_1 = max6;
2092 }
2093
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (max7 < lower_bound_1) )
2094 {
2095 ✗ lower_bound_1 = max7;
2096 }
2097
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (lower_bound_1 < 2.82528483194754087282e-50) )
2098 {
2099 ✗ return FPG_UNCERTAIN_VALUE;
2100 }
2101 else
2102 {
2103
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 154806 times.
 154806 if( (upper_bound_1 > 1.29807421463370647479e+33) )
2104 {
2105 ✗ return FPG_UNCERTAIN_VALUE;
2106 }
2107 154806 eps = (4.37492894694731169807e-11 * (((((max5 * max3) * max1) * max7) * max6) * max4));
2108
2/2
✓ Branch 0 taken 77715 times.
✓ Branch 1 taken 77091 times.
 154806 if( (r > eps) )
2109 {
2110 77715 int_tmp_result_FFWKCAA = 1;
2111 }
2112 else
2113 {
2114
1/2
✓ Branch 0 taken 77091 times.
✗ Branch 1 not taken.
 77091 if( (r < -eps) )
2115 {
2116 77091 int_tmp_result_FFWKCAA = -1;
2117 }
2118 else
2119 {
2120 ✗ return FPG_UNCERTAIN_VALUE;
2121 }
2122 }
2123 }
2124 154806 r_sign = int_tmp_result_FFWKCAA;
2125 154806 return (Delta_sign * r_sign);
2126 }
2127