\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t

double f(double x, double y, double z, double t) {
        double r8938 = 1.0;
        double r8939 = 8.0;
        double r8940 = r8938 / r8939;
        double r8941 = x;
        double r8942 = r8940 * r8941;
        double r8943 = y;
        double r8944 = z;
        double r8945 = r8943 * r8944;
        double r8946 = 2.0;
        double r8947 = r8945 / r8946;
        double r8948 = r8942 - r8947;
        double r8949 = t;
        double r8950 = r8948 + r8949;
        return r8950;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 
(FPCore (x y z t)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, B"

  :herbie-target
  (- (+ (/ x 8.0) t) (* (/ z 2.0) y))

  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))

Backtrace

get-representation: Unknown representation #f		L	C
loop	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	122	4
prepare-points	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	146	0
setup-prog!34	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	67	0
run-improve43	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	339	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