Average Error: 1.9 → 1.9

Time: 894.0ms

Precision: binary64

could not determine a ground truth for program body (more)
1. x = 0.3609580473631881

\[e^{\mathsf{log1p}\left(-{x}^{1}\right)}\]

↓

\[e^{\mathsf{log1p}\left(-{x}^{1}\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 1.9
\[e^{\mathsf{log1p}\left(-{x}^{1}\right)}\]
Final simplification1.9
\[\leadsto e^{\mathsf{log1p}\left(-{x}^{1}\right)}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(exp (log1p (- (pow x 1))))"
  :precision binary64
  (exp (log1p (neg (pow x 1.0)))))