\[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}\]

\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}

double f(double x, double y, double z, double t, double a, double b, double c) {
        double r30172 = x;
        double r30173 = y;
        double r30174 = 2.0;
        double r30175 = z;
        double r30176 = t;
        double r30177 = a;
        double r30178 = r30176 + r30177;
        double r30179 = sqrt(r30178);
        double r30180 = r30175 * r30179;
        double r30181 = r30180 / r30176;
        double r30182 = b;
        double r30183 = c;
        double r30184 = r30182 - r30183;
        double r30185 = 5.0;
        double r30186 = 6.0;
        double r30187 = r30185 / r30186;
        double r30188 = r30177 + r30187;
        double r30189 = 3.0;
        double r30190 = r30176 * r30189;
        double r30191 = r30174 / r30190;
        double r30192 = r30188 - r30191;
        double r30193 = r30184 * r30192;
        double r30194 = r30181 - r30193;
        double r30195 = r30174 * r30194;
        double r30196 = exp(r30195);
        double r30197 = r30173 * r30196;
        double r30198 = r30172 + r30197;
        double r30199 = r30172 / r30198;
        return r30199;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 
(FPCore (x y z t a b c)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2"
  :precision binary64
  (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))

Backtrace

hash-ref: no value found for key key: '(* #<enode 0(966)> #<enode 969(969)>)		L	C
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	270	6
update-leader!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	265	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	77	2
prune-phase	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	74	0
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	80	4
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	76	2
(unnamed)	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	56	0
(unnamed)	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	224	0
run-iter!	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	327	0
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	365	4
run-improve47	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	346	0
.../more-scheme.rkt:261:28	unknown
run	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.5/collects/racket/private/more-scheme.rkt	261	28

Falling back on racket egraph because egg-herbie package not installed (more)

Reproduce

Backtrace