\[\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 r26809 = 333.75;
        double r26810 = 33096.0;
        double r26811 = 6.0;
        double r26812 = pow(r26810, r26811);
        double r26813 = r26809 * r26812;
        double r26814 = 77617.0;
        double r26815 = r26814 * r26814;
        double r26816 = 11.0;
        double r26817 = r26816 * r26815;
        double r26818 = r26810 * r26810;
        double r26819 = r26817 * r26818;
        double r26820 = -r26812;
        double r26821 = r26819 + r26820;
        double r26822 = -121.0;
        double r26823 = 4.0;
        double r26824 = pow(r26810, r26823);
        double r26825 = r26822 * r26824;
        double r26826 = r26821 + r26825;
        double r26827 = -2.0;
        double r26828 = r26826 + r26827;
        double r26829 = r26815 * r26828;
        double r26830 = r26813 + r26829;
        double r26831 = 5.5;
        double r26832 = 8.0;
        double r26833 = pow(r26810, r26832);
        double r26834 = r26831 * r26833;
        double r26835 = r26830 + r26834;
        double r26836 = 2.0;
        double r26837 = r26836 * r26810;
        double r26838 = r26814 / r26837;
        double r26839 = r26835 + r26838;
        return r26839;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019195 +o rules:numerics
(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/master/src/points.rkt	122	4
prepare-points	/data/pavpan/nightlies/herbie/master/src/points.rkt	146	0
run-improve47	/data/pavpan/nightlies/herbie/master/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