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 r2351327 = x;
        double r2351328 = y;
        double r2351329 = r2351327 + r2351328;
        double r2351330 = log(r2351329);
        double r2351331 = z;
        double r2351332 = log(r2351331);
        double r2351333 = r2351330 + r2351332;
        double r2351334 = t;
        double r2351335 = r2351333 - r2351334;
        double r2351336 = a;
        double r2351337 = 0.5;
        double r2351338 = r2351336 - r2351337;
        double r2351339 = log(r2351334);
        double r2351340 = r2351338 * r2351339;
        double r2351341 = r2351335 + r2351340;
        return r2351341;
}