Average Error: 0 → 0
Time: 12.1s
Precision: 64
$0.0 \le x1 \le 3 \land 0.0 \le x2 \le 4 \land \left(\left(2 \cdot \left(\left(x1 \cdot x1\right) \cdot \left(x1 \cdot x1\right)\right) - \left(8 \cdot \left(x1 \cdot x1\right)\right) \cdot x1\right) + \left(8 \cdot x1\right) \cdot x1\right) - x2 \ge 0.0 \land \left(\left(\left(\left(4 \cdot \left(\left(x1 \cdot x1\right) \cdot \left(x1 \cdot x1\right)\right) - \left(32 \cdot \left(x1 \cdot x1\right)\right) \cdot x1\right) + \left(88 \cdot x1\right) \cdot x1\right) - 96 \cdot x1\right) + 36\right) - x2 \ge 0.0$
$\left(-x1\right) - x2$
$\left(-x1\right) - x2$
\left(-x1\right) - x2
\left(-x1\right) - x2
double f(double x1, double x2) {
double r39598938 = x1;
double r39598939 = -r39598938;
double r39598940 = x2;
double r39598941 = r39598939 - r39598940;
return r39598941;
}


double f(double x1, double x2) {
double r39598942 = x1;
double r39598943 = -r39598942;
double r39598944 = x2;
double r39598945 = r39598943 - r39598944;
return r39598945;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0

$\left(-x1\right) - x2$
2. Final simplification0

$\leadsto \left(-x1\right) - x2$

# Reproduce

herbie shell --seed 1
(FPCore (x1 x2)
:name "floudas2"
:pre (and (<= 0.0 x1 3.0) (<= 0.0 x2 4.0) (>= (- (+ (- (* 2.0 (* (* x1 x1) (* x1 x1))) (* (* 8.0 (* x1 x1)) x1)) (* (* 8.0 x1) x1)) x2) 0.0) (>= (- (+ (- (+ (- (* 4.0 (* (* x1 x1) (* x1 x1))) (* (* 32.0 (* x1 x1)) x1)) (* (* 88.0 x1) x1)) (* 96.0 x1)) 36.0) x2) 0.0))
(- (- x1) x2))