Exception for (- (/ x0 (- 1 x1)) x0)

\[x0 = 1.855 \land x1 = 0.000209 \lor x0 = 2.985 \land x1 = 0.0186\]

Math

\[\frac{x0}{1 - x1} - x0\]

FPCore

(FPCore (x0 x1) :precision binary64 (- (/ x0 (- 1.0 x1)) x0))

C

double code(double x0, double x1) {
	return (x0 / (1.0 - x1)) - x0;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2021067 
(FPCore (x0 x1)
  :name "(- (/ x0 (- 1 x1)) x0)"
  :precision binary64
  :pre (or (and (== x0 1.855) (== x1 0.000209)) (and (== x0 2.985) (== x1 0.0186)))

  :herbie-target
  (/ (* x0 x1) (- 1.0 x1))

  (- (/ x0 (- 1.0 x1)) x0))

Backtrace

simplify-batch: contract violation expected keyword argument #:precompute in: (-> (listof (or/c (listof any/c) symbol? value? real?)) #:precompute boolean? #:rules (listof rule?) (listof (listof (or/c (listof any/c) symbol? value? real?)))) contract from: (function simplify-batch) blaming: <pkgs>/herbie/core/simplify.rkt (assuming the contract is correct) at: <pkgs>/herbie/core/simplify.rkt:68.18		L	C
raise-blame-error	/opt/racket-7.9/collects/racket/contract/private/blame.rkt	347	0
for-loop	/opt/racket-7.9/collects/racket/contract/private/arrow-higher-order.rkt	508	13
kwd-checker	/opt/racket-7.9/collects/racket/contract/private/arrow-higher-order.rkt	496	11
connected-components	/data/pavpan/nightlies/herbie/egg-interface-fixes/src/symmetry.rkt	17	0
run-improve	/data/pavpan/nightlies/herbie/egg-interface-fixes/src/mainloop.rkt	387	0
(unnamed)	/data/pavpan/nightlies/herbie/egg-interface-fixes/src/sandbox.rkt	54	6
run	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.9/collects/racket/engine.rkt	42	24