\[\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 r9635 = 1.0;
        double r9636 = 8.0;
        double r9637 = r9635 / r9636;
        double r9638 = x;
        double r9639 = r9637 * r9638;
        double r9640 = y;
        double r9641 = z;
        double r9642 = r9640 * r9641;
        double r9643 = 2.0;
        double r9644 = r9642 / r9643;
        double r9645 = r9639 - r9644;
        double r9646 = t;
        double r9647 = r9645 + r9646;
        return r9647;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 +o rules:numerics
(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