(- (log (/ (* a c) b)))

Average Error: 26.2 → 26.2

Time: 1.4s

Precision: binary64

Math

\[-\log \left(\frac{a \cdot c}{b}\right)\]

↓

\[-\log \left(\frac{a \cdot c}{b}\right)\]

Error

Bits error versus a

Bits error versus c

Bits error versus b

Derivation

1. Initial program 26.2

   \[-\log \left(\frac{a \cdot c}{b}\right)\]

2. Final simplification 26.2

   \[\leadsto -\log \left(\frac{a \cdot c}{b}\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (a c b)
  :name "(- (log (/ (* a c) b)))"
  :precision binary64
  (neg (log (/ (* a c) b))))