Cannot sample enough valid points. (more)

\[x \lt 100 \land x \gt -100\]
\[\frac{\sqrt{x - 1}}{x + 1} - \frac{\sqrt{x + 1}}{x - 1}\]
\frac{\sqrt{x - 1}}{x + 1} - \frac{\sqrt{x + 1}}{x - 1}
double f(double x) {
        double r57407 = x;
        double r57408 = 1.0;
        double r57409 = r57407 - r57408;
        double r57410 = sqrt(r57409);
        double r57411 = r57407 + r57408;
        double r57412 = r57410 / r57411;
        double r57413 = sqrt(r57411);
        double r57414 = r57413 / r57409;
        double r57415 = r57412 - r57414;
        return r57415;
}