#include "headers/erfcd2.h"
static __inline double _erfc(double x)
{
return spu_extract(_erfcd2(spu_promote(x, 0)), 0);
}