Cannot sample enough valid points. (more)

\[\left(\left(\log \left(x + y\right) + \log z\right) - t\right) + \left(a - 0.5\right) \cdot \log t\]
\left(\left(\log \left(x + y\right) + \log z\right) - t\right) + \left(a - 0.5\right) \cdot \log t
double f(double x, double y, double z, double t, double a) {
        double r66432 = x;
        double r66433 = y;
        double r66434 = r66432 + r66433;
        double r66435 = log(r66434);
        double r66436 = z;
        double r66437 = log(r66436);
        double r66438 = r66435 + r66437;
        double r66439 = t;
        double r66440 = r66438 - r66439;
        double r66441 = a;
        double r66442 = 0.5;
        double r66443 = r66441 - r66442;
        double r66444 = log(r66439);
        double r66445 = r66443 * r66444;
        double r66446 = r66440 + r66445;
        return r66446;
}