\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]

\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}

double f() {
        double r24600 = 333.75;
        double r24601 = 33096.0;
        double r24602 = 6.0;
        double r24603 = pow(r24601, r24602);
        double r24604 = r24600 * r24603;
        double r24605 = 77617.0;
        double r24606 = r24605 * r24605;
        double r24607 = 11.0;
        double r24608 = r24607 * r24606;
        double r24609 = r24601 * r24601;
        double r24610 = r24608 * r24609;
        double r24611 = -r24603;
        double r24612 = r24610 + r24611;
        double r24613 = -121.0;
        double r24614 = 4.0;
        double r24615 = pow(r24601, r24614);
        double r24616 = r24613 * r24615;
        double r24617 = r24612 + r24616;
        double r24618 = -2.0;
        double r24619 = r24617 + r24618;
        double r24620 = r24606 * r24619;
        double r24621 = r24604 + r24620;
        double r24622 = 5.5;
        double r24623 = 8.0;
        double r24624 = pow(r24601, r24623);
        double r24625 = r24622 * r24624;
        double r24626 = r24621 + r24625;
        double r24627 = 2.0;
        double r24628 = r24627 * r24601;
        double r24629 = r24605 / r24628;
        double r24630 = r24626 + r24629;
        return r24630;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019195 
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))))

Backtrace

car: contract violation expected: pair? given: '()		L	C
loop	/data/pavpan/nightlies/herbie/various-cleanup/src/points.rkt	122	4
prepare-points	/data/pavpan/nightlies/herbie/various-cleanup/src/points.rkt	146	0
run-improve47	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	342	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28