Cannot sample enough valid points. (more)

\[0.0 \le x1 \le 6 \land 0.0 \le x2 \le 6 \land 1 \le x3 \le 5 \land 0.0 \le x4 \le 6 \land 0.0 \le x5 \le 6 \land 0.0 \le x6 \le 10 \land \left(\left(x3 - 3\right) \cdot \left(x3 - 3\right) + x4\right) - 4 \ge 0.0 \land \left(\left(x5 - 3\right) \cdot \left(x5 - 3\right) + x6\right) - 4 \ge 0.0 \land \left(2 - x1\right) + 3 \cdot x2 \ge 0.0 \land \left(2 + x1\right) - x2 \ge 0.0 \land \left(6 - x1\right) - x2 \ge 0.0 \land \left(x1 + x2\right) - 2 \ge 0.0\]
\[\left(\left(\left(\left(-25 \cdot \left(\left(x1 - 2\right) \cdot \left(x1 - 2\right)\right) - \left(x2 - 2\right) \cdot \left(x2 - 2\right)\right) - \left(x3 - 1\right) \cdot \left(x3 - 1\right)\right) - \left(x4 - 4\right) \cdot \left(x4 - 4\right)\right) - \left(x5 - 1\right) \cdot \left(x5 - 1\right)\right) - \left(x6 - 4\right) \cdot \left(x6 - 4\right)\]
\left(\left(\left(\left(-25 \cdot \left(\left(x1 - 2\right) \cdot \left(x1 - 2\right)\right) - \left(x2 - 2\right) \cdot \left(x2 - 2\right)\right) - \left(x3 - 1\right) \cdot \left(x3 - 1\right)\right) - \left(x4 - 4\right) \cdot \left(x4 - 4\right)\right) - \left(x5 - 1\right) \cdot \left(x5 - 1\right)\right) - \left(x6 - 4\right) \cdot \left(x6 - 4\right)
double f(double x1, double x2, double x3, double x4, double x5, double x6) {
        double r39598636 = -25.0;
        double r39598637 = x1;
        double r39598638 = 2.0;
        double r39598639 = r39598637 - r39598638;
        double r39598640 = r39598639 * r39598639;
        double r39598641 = r39598636 * r39598640;
        double r39598642 = x2;
        double r39598643 = r39598642 - r39598638;
        double r39598644 = r39598643 * r39598643;
        double r39598645 = r39598641 - r39598644;
        double r39598646 = x3;
        double r39598647 = 1.0;
        double r39598648 = r39598646 - r39598647;
        double r39598649 = r39598648 * r39598648;
        double r39598650 = r39598645 - r39598649;
        double r39598651 = x4;
        double r39598652 = 4.0;
        double r39598653 = r39598651 - r39598652;
        double r39598654 = r39598653 * r39598653;
        double r39598655 = r39598650 - r39598654;
        double r39598656 = x5;
        double r39598657 = r39598656 - r39598647;
        double r39598658 = r39598657 * r39598657;
        double r39598659 = r39598655 - r39598658;
        double r39598660 = x6;
        double r39598661 = r39598660 - r39598652;
        double r39598662 = r39598661 * r39598661;
        double r39598663 = r39598659 - r39598662;
        return r39598663;
}