erff
float erff(float);
ATF_CHECK(isnan(erff(x)) != 0);
if (erff(x) != -1.0)
if (erff(x) != 1.0)
float y = erff(x);