VandenBroeck and Keller, Equation (20)

Specification

?
\[\mathsf{TRUE}\left(\right)\]
\[\begin{array}{l} \\ \begin{array}{l} t_0 := \frac{\mathsf{PI}\left(\right)}{4}\\ t_1 := t\_0 \cdot f\\ t_2 := e^{t\_1}\\ t_3 := e^{-t\_1}\\ -\frac{1}{t\_0} \cdot \log \left(\frac{t\_2 + t\_3}{t\_2 - t\_3}\right) \end{array} \end{array} \]
(FPCore (f)
 :precision binary64
 (let* ((t_0 (/ (PI) 4.0)) (t_1 (* t_0 f)) (t_2 (exp t_1)) (t_3 (exp (- t_1))))
   (- (* (/ 1.0 t_0) (log (/ (+ t_2 t_3) (- t_2 t_3)))))))
\begin{array}{l}

\\
\begin{array}{l}
t_0 := \frac{\mathsf{PI}\left(\right)}{4}\\
t_1 := t\_0 \cdot f\\
t_2 := e^{t\_1}\\
t_3 := e^{-t\_1}\\
-\frac{1}{t\_0} \cdot \log \left(\frac{t\_2 + t\_3}{t\_2 - t\_3}\right)
\end{array}
\end{array}

Reproduce

?
herbie shell --seed 2025058 
(FPCore (f)
  :name "VandenBroeck and Keller, Equation (20)"
  :precision binary64
  :pre (TRUE)
  (- (* (/ 1.0 (/ (PI) 4.0)) (log (/ (+ (exp (* (/ (PI) 4.0) f)) (exp (- (* (/ (PI) 4.0) f)))) (- (exp (* (/ (PI) 4.0) f)) (exp (- (* (/ (PI) 4.0) f)))))))))

Please file a bug report with this information.

Backtrace

egglog executable not found in PATHLC
run-egglog-multi-extractor/home/nightlies/herbie/aditya-egglog-develop-2/src/core/egglog-herbie.rkt1520
simplify-batch/home/nightlies/herbie/aditya-egglog-develop-2/src/core/simplify.rkt200
(unnamed)/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt48618
initial-simplify/home/nightlies/herbie/aditya-egglog-develop-2/src/core/preprocess.rkt560
find-preprocessing/home/nightlies/herbie/aditya-egglog-develop-2/src/core/preprocess.rkt830
run-improve!/home/nightlies/herbie/aditya-egglog-develop-2/src/core/mainloop.rkt440
get-alternatives/report/home/nightlies/herbie/aditya-egglog-develop-2/src/api/sandbox.rkt1740
(unnamed)/home/nightlies/herbie/aditya-egglog-develop-2/src/api/sandbox.rkt2656
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
in-engine/home/nightlies/herbie/aditya-egglog-develop-2/src/api/sandbox.rkt2832
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224