double copysign(double x, double y)
{
return __infer_nondet_double();
}
double tgamma(double x)
{
return __infer_nondet_double();
}
double atanh(double x)
{
return __infer_nondet_double();
}
double scalbn(double x, int n)
{
return __infer_nondet_double();
}
double sqrt(double x)
{
return __infer_nondet_double();
}
double pow(double x, double y)
{
return __infer_nondet_double();
}
double remainder(double x, double y)
{
return __infer_nondet_double();
}
double fma(double x, double y, double z)
{
return __infer_nondet_double();
}
double fmod(double x, double y)
{
return __infer_nondet_double();
}
double floor(double x)
{
return __infer_nondet_double();
}
double acosh(double x)
{
return __infer_nondet_double();
}
double fabs(double x)
{
return __infer_nondet_double();
}
double erfc(double x)
{
return __infer_nondet_double();
}
double expm1(double x)
{
return __infer_nondet_double();
}
double nextafter(double x, double y)
{
return __infer_nondet_double();
}
double frexp(double value, int *exp)
{
*exp = __infer_nondet_int();
return __infer_nondet_double();
}
double nexttoward(double x, long double y)
{
return __infer_nondet_double();
}
double hypot(double x, double y)
{
return __infer_nondet_double();
}
double rint(double x)
{
return __infer_nondet_double();
}
double ldexp(double x, int exp)
{
return __infer_nondet_double();
}
double round(double x)
{
return __infer_nondet_double();
}
double logb(double x)
{
return __infer_nondet_double();
}
double scalbln(double x, long int n)
{
return __infer_nondet_double();
}
double modf(double value, double *iptr)
{
*iptr = __infer_nondet_double();
return __infer_nondet_double();
}
double tan(double x)
{
return __infer_nondet_double();
}
double nearbyint(double x)
{
return __infer_nondet_double();
}
double trunc(double x)
{
return __infer_nondet_double();
}
double nan(const char *tagp)
{
return __infer_nondet_double();
}
// return a nondeterministic double
double atof(const char* str) { return __infer_nondet_double(); }
double ceil(double x)
{
return __infer_nondet_double();
}