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

Average Error: 25.1 → 25.1

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 25.1

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

2. Final simplification 25.1

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

Reproduce

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