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;
}

Error

Bits error versus x1

Bits error versus x2

Try it out

Your Program's Arguments

Results

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))