\[\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 r43850 = 333.75;
        double r43851 = 33096.0;
        double r43852 = 6.0;
        double r43853 = pow(r43851, r43852);
        double r43854 = r43850 * r43853;
        double r43855 = 77617.0;
        double r43856 = r43855 * r43855;
        double r43857 = 11.0;
        double r43858 = r43857 * r43856;
        double r43859 = r43851 * r43851;
        double r43860 = r43858 * r43859;
        double r43861 = -r43853;
        double r43862 = r43860 + r43861;
        double r43863 = -121.0;
        double r43864 = 4.0;
        double r43865 = pow(r43851, r43864);
        double r43866 = r43863 * r43865;
        double r43867 = r43862 + r43866;
        double r43868 = -2.0;
        double r43869 = r43867 + r43868;
        double r43870 = r43856 * r43869;
        double r43871 = r43854 + r43870;
        double r43872 = 5.5;
        double r43873 = 8.0;
        double r43874 = pow(r43851, r43873);
        double r43875 = r43872 * r43874;
        double r43876 = r43871 + r43875;
        double r43877 = 2.0;
        double r43878 = r43877 * r43851;
        double r43879 = r43855 / r43878;
        double r43880 = r43876 + r43879;
        return r43880;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019199 
(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.2/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28