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