\[\frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{{\left(\frac{1}{1 + e^{-t}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}}\]

↓

\[\frac{{\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{{\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}} \cdot \frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p}}{\left(\log \frac{1}{2} + t \cdot \frac{1}{2}\right) \cdot c_p + 1}\]

Error

The X axis uses an exponential scale — Bits error versus `c_p`

Original	3.8
Target	2.0
Herbie	2.7

Derivation

Initial program 3.8
\[\frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{{\left(\frac{1}{1 + e^{-t}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}}\]
Taylor expanded around 0 2.7
\[\leadsto \frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{\color{blue}{\left(1 + \left(\frac{1}{2} \cdot \left(t \cdot c_p\right) + \log \frac{1}{2} \cdot c_p\right)\right)} \cdot {\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}}\]
Applied simplify2.7
\[\leadsto \color{blue}{\frac{{\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{{\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}} \cdot \frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p}}{\left(\log \frac{1}{2} + t \cdot \frac{1}{2}\right) \cdot c_p + 1}}\]

Runtime

herbie shell --seed '#(1070100504 930361288 1279167582 284574201 1450237281 2578255382)' 
(FPCore (c_p c_n t s)
  :name "Harley's example"
  :pre (and (< 0 c_p) (< 0 c_n))

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

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

Error

Target

Derivation

Runtime