\[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}\]

\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}

double f(double F, double B, double x) {
        double r17427 = x;
        double r17428 = 1.0;
        double r17429 = B;
        double r17430 = tan(r17429);
        double r17431 = r17428 / r17430;
        double r17432 = r17427 * r17431;
        double r17433 = -r17432;
        double r17434 = F;
        double r17435 = sin(r17429);
        double r17436 = r17434 / r17435;
        double r17437 = r17434 * r17434;
        double r17438 = 2.0;
        double r17439 = r17437 + r17438;
        double r17440 = r17438 * r17427;
        double r17441 = r17439 + r17440;
        double r17442 = r17428 / r17438;
        double r17443 = -r17442;
        double r17444 = pow(r17441, r17443);
        double r17445 = r17436 * r17444;
        double r17446 = r17433 + r17445;
        return r17446;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 
(FPCore (F B x)
  :name "VandenBroeck and Keller, Equation (23)"
  :precision binary64
  (+ (- (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (- (/ 1 2))))))

Backtrace

hash-ref: no value found for key key: '(* #<enode 232(232)> #<enode 0(157)>)		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-regraph-rebuilding-2/src/core/simplify.rkt	80	4
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	76	2
(unnamed)	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	56	0
(unnamed)	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	224	0
run-iter!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	327	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	365	4
run-improve47	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/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