Logarithmic Transform

Specification

?
\[\begin{array}{l} \\ c \cdot \log \left(1 + \left({\mathsf{E}\left(\right)}^{x} - 1\right) \cdot y\right) \end{array} \]
(FPCore (c x y)
 :precision binary64
 (* c (log (+ 1.0 (* (- (pow (E) x) 1.0) y)))))
\begin{array}{l}

\\
c \cdot \log \left(1 + \left({\mathsf{E}\left(\right)}^{x} - 1\right) \cdot y\right)
\end{array}

Reproduce

?
herbie shell --seed 2024276 
(FPCore (c x y)
  :name "Logarithmic Transform"
  :precision binary64

  :alt
  (* c (log1p (* (expm1 x) y)))

  (* c (log (+ 1.0 (* (- (pow (E) x) 1.0) y)))))

Please file a bug report with this information.

Backtrace

error: contract violation expected: string? given: 'pow.f64LC
f463.../match/compiler.rkt55940
loop.../private/map.rkt4019
loop.../private/map.rkt4019
loop.../private/map.rkt4019
loop.../private/map.rkt4019
loop.../private/map.rkt4019
compile-expr/home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt830
explain/home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt7120
explain!/home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt3230
run-improve!/home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt450
get-alternatives/report/home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt1860
(unnamed)/home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt2826
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224