Average Error: 0.0 → 0.0

Time: 752.0ms

Precision: binary64

\[\mathsf{log1p}\left(\left(-x\right) \cdot x\right)\]

↓

\[\mathsf{log1p}\left(\left(-x\right) \cdot x\right)\]

Error

The X axis uses an exponential scale — Bits error versus x

The X axis uses an exponential scale — Bits error versus x

Derivation

Initial program 0.0
\[\mathsf{log1p}\left(\left(-x\right) \cdot x\right)\]
Final simplification0.0
\[\leadsto \mathsf{log1p}\left(\left(-x\right) \cdot x\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x)
  :name "(log1p (* (- x) x))"
  :precision binary64
  (log1p (* (neg x) x)))