77   if (mpf_cmp (x, y) != 0)  in main()
81   if (mpf_cmp (x, y) != 0)  in main()
85   if (mpf_cmp (x, y) != 0)  in main()
89   if (mpf_cmp (x, y) != 0)  in main()
93   if (mpf_cmp (x, y) != 0)  in main()
98   if (mpf_cmp (x, y) != 0)  in main()
101   if (mpf_cmp (x, y) != 0)  in main()
104   if (mpf_cmp (x, y) != 0)  in main()
108   if (mpf_cmp (x, y) != 0)  in main()
112   if (mpf_cmp (x, y) != 0)  in main()
116   if (mpf_cmp (x, y) != 0)  in main()
120   if (mpf_cmp (x, y) != 0)  in main()
126   if (mpf_cmp (x, y) != 0)  in main()
130   if (mpf_cmp (x, y) != 0)  in main()
134   if (mpf_cmp (x, y) != 0)  in main()
138   if (mpf_cmp (x, y) != 0)  in main()
144   if (mpf_cmp (x, y) != 0)  in main()
148   if (mpf_cmp (x, y) != 0)  in main()
152   if (mpf_cmp (x, y) != 0)  in main()
156   if (mpf_cmp (x, y) != 0)  in main()
160   if (mpf_cmp (x, y) != 0)  in main()
165   if (mpf_cmp (x, y) != 0)  in main()
169   if (mpf_cmp (x, y) != 0)  in main()
173   if (mpf_cmp (x, y) != 0)  in main()
177   if (mpf_cmp (x, y) != 0)  in main()
181   if (mpf_cmp (x, y) != 0)  in main()
185   if (mpf_cmp (x, y) != 0)  in main()
189   if (mpf_cmp (x, y) != 0)  in main()
193   if (mpf_cmp (x, y) != 0)  in main()
197   if (mpf_cmp (x, y) != 0)  in main()
201   if (mpf_cmp (x, y) != 0)  in main()
234       if (mpf_cmp (rerr, max_rerr) > 0)  in main()
240 	  if (mpf_cmp (rerr, limit_rerr) > 0)  in main()