\[\left(\left(x \cdot 0.5 - y\right) \cdot \sqrt{z \cdot 2}\right) \cdot e^{\frac{t \cdot t}{2}}\]

\left(\left(x \cdot 0.5 - y\right) \cdot \sqrt{z \cdot 2}\right) \cdot e^{\frac{t \cdot t}{2}}

double f(double x, double y, double z, double t) {
        double r8173 = x;
        double r8174 = 0.5;
        double r8175 = r8173 * r8174;
        double r8176 = y;
        double r8177 = r8175 - r8176;
        double r8178 = z;
        double r8179 = 2.0;
        double r8180 = r8178 * r8179;
        double r8181 = sqrt(r8180);
        double r8182 = r8177 * r8181;
        double r8183 = t;
        double r8184 = r8183 * r8183;
        double r8185 = r8184 / r8179;
        double r8186 = exp(r8185);
        double r8187 = r8182 * r8186;
        return r8187;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 
(FPCore (x y z t)
  :name "Data.Number.Erf:$cinvnormcdf from erf-2.0.0.0, A"

  :herbie-target
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp 1.0) (/ (* t t) 2.0)))

  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))

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