$1 \lt x0 \lt 2 \land 1 \lt x1 \lt 2 \land 1 \lt x2 \lt 2$
$\left(\left(\left(x0 + x1\right) - x2\right) + \left(\left(x1 + x2\right) - x0\right)\right) + \left(\left(x2 + x0\right) - x1\right)$
\left(\left(\left(x0 + x1\right) - x2\right) + \left(\left(x1 + x2\right) - x0\right)\right) + \left(\left(x2 + x0\right) - x1\right)
double f(double x0, double x1, double x2) {
double r42295026 = x0;
double r42295027 = x1;
double r42295028 = r42295026 + r42295027;
double r42295029 = x2;
double r42295030 = r42295028 - r42295029;
double r42295031 = r42295027 + r42295029;
double r42295032 = r42295031 - r42295026;
double r42295033 = r42295030 + r42295032;
double r42295034 = r42295029 + r42295026;
double r42295035 = r42295034 - r42295027;
double r42295036 = r42295033 + r42295035;
return r42295036;
}



# Reproduce

Please include this information when filing a bug report:

herbie shell --seed 1
(FPCore (x0 x1 x2)
:name "test01_sum3"
:pre (and (< 1.0 x0 2.0) (< 1.0 x1 2.0) (< 1.0 x2 2.0))
(+ (+ (- (+ x0 x1) x2) (- (+ x1 x2) x0)) (- (+ x2 x0) x1)))


# Backtrace

flonum->ordinal: contract violation expected: Float given: 4.8188257f0 in: the 1st argument of (-> Float any) contract from: <pkgs>/math-lib/math/private/flonum/flonum-bits.rkt blaming: /var/www/herbie/src/interface.rkt (assuming the contract is correct) at: <pkgs>/math-lib/math/private/flonum/flonum-bits.rkt:9.9LC
raise-blame-error16/opt/racket-7.1/collects/racket/contract/private/blame.rkt3470
(unnamed)/opt/racket-7.1/collects/racket/contract/private/arrow-higher-order.rkt35733
ulp-difference/var/www/herbie/src/float.rkt460
(unnamed)/opt/racket-7.1/collects/racket/private/more-scheme.rkt26128
for-loop/var/www/herbie/src/points.rkt2252
errors/var/www/herbie/src/points.rkt2230
make-alt-table/var/www/herbie/src/core/alt-table.rkt330
(unnamed)/opt/racket-7.1/collects/racket/contract/private/arrow-val-first.rkt38818
setup-prog!34/var/www/herbie/src/mainloop.rkt670
run-improve43/var/www/herbie/src/mainloop.rkt3390
(unnamed)/opt/racket-7.1/collects/racket/private/more-scheme.rkt26128
(unnamed)/opt/racket-7.1/collects/racket/private/more-scheme.rkt26128