\[\left(x \cdot \cos \left(\frac{\left(\left(y \cdot 2 + 1\right) \cdot z\right) \cdot t}{16}\right)\right) \cdot \cos \left(\frac{\left(\left(a \cdot 2 + 1\right) \cdot b\right) \cdot t}{16}\right)\]

\left(x \cdot \cos \left(\frac{\left(\left(y \cdot 2 + 1\right) \cdot z\right) \cdot t}{16}\right)\right) \cdot \cos \left(\frac{\left(\left(a \cdot 2 + 1\right) \cdot b\right) \cdot t}{16}\right)

double f(double x, double y, double z, double t, double a, double b) {
        double r535029 = x;
        double r535030 = y;
        double r535031 = 2.0;
        double r535032 = r535030 * r535031;
        double r535033 = 1.0;
        double r535034 = r535032 + r535033;
        double r535035 = z;
        double r535036 = r535034 * r535035;
        double r535037 = t;
        double r535038 = r535036 * r535037;
        double r535039 = 16.0;
        double r535040 = r535038 / r535039;
        double r535041 = cos(r535040);
        double r535042 = r535029 * r535041;
        double r535043 = a;
        double r535044 = r535043 * r535031;
        double r535045 = r535044 + r535033;
        double r535046 = b;
        double r535047 = r535045 * r535046;
        double r535048 = r535047 * r535037;
        double r535049 = r535048 / r535039;
        double r535050 = cos(r535049);
        double r535051 = r535042 * r535050;
        return r535051;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (x y z t a b)
  :name "Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1"
  :precision binary64

  :herbie-target
  (* x (cos (* (/ b 16) (/ t (+ (- 1 (* a 2)) (pow (* a 2) 2))))))

  (* (* x (cos (/ (* (* (+ (* y 2) 1) z) t) 16))) (cos (/ (* (* (+ (* a 2) 1) b) t) 16))))

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