\[\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1\]

\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(\left(a \cdot a\right) \cdot \left(1 + a\right) + \left(b \cdot b\right) \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1

double f(double a, double b) {
        double r266049 = a;
        double r266050 = r266049 * r266049;
        double r266051 = b;
        double r266052 = r266051 * r266051;
        double r266053 = r266050 + r266052;
        double r266054 = 2.0;
        double r266055 = pow(r266053, r266054);
        double r266056 = 4.0;
        double r266057 = 1.0;
        double r266058 = r266057 + r266049;
        double r266059 = r266050 * r266058;
        double r266060 = 3.0;
        double r266061 = r266060 * r266049;
        double r266062 = r266057 - r266061;
        double r266063 = r266052 * r266062;
        double r266064 = r266059 + r266063;
        double r266065 = r266056 * r266064;
        double r266066 = r266055 + r266065;
        double r266067 = r266066 - r266057;
        return r266067;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (25)"
  :precision binary64
  (- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))) 1))

Backtrace

get-representation: Unknown representation real		L	C
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	65	3
filter	/opt/racket-7.2/collects/racket/private/list.rkt	256	2
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	369	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