Exception for Harley's example

• could not determine a ground truth for program body

  1. c_p = 2.7040691052733825e-105
  2. c_n = 1.0409199060869062e-305
  3. t = -8.792954927488882e+33
  4. s = -6.714956705852952e-99

\[\]

Math

\[\]

Reproduce

herbie shell --seed 2020190 
(FPCore (c_p c_n t s)
  :name "Harley's example"
  :precision binary64
  :pre (and (< 0.0 c_p) (< 0.0 c_n))

  :herbie-target
  (* (pow (/ (+ 1.0 (exp (neg t))) (+ 1.0 (exp (neg s)))) c_p) (pow (/ (+ 1.0 (exp t)) (+ 1.0 (exp s))) c_n))

  (/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))))