Specification

\[x \geq 1\]

\[\begin{array}{l} \\ \cosh^{-1} x \end{array} \]

(FPCore (x) :precision binary32 (acosh x))

float code(float x) {
	return acoshf(x);
}

function code(x)
	return acosh(x)
end

function tmp = code(x)
	tmp = acosh(x);
end

\begin{array}{l}

\\
\cosh^{-1} x
\end{array}

Reproduce

herbie shell --seed 2023189 
(FPCore (x)
  :name "Rust f32::acosh"
  :precision binary32
  :pre (>= x 1.0)

  :herbie-target
  (log (+ x (* (sqrt (- x 1.0)) (sqrt (+ x 1.0)))))

  (log (+ x (sqrt (- (* x x) 1.0)))))

Please file a bug report with this information.

Backtrace

application: not a procedure; expected a procedure that can be applied to arguments given: '(0 . #<procedure:...src/core/taylor.rkt:249:13>)		L	C
taylor-log	/home/nightlies/herbie/preprocess-initial-simplify/src/core/taylor.rkt	486	0
hash-ref!	/usr/share/racket/collects/racket/private/more-scheme.rkt	377	2
approximate	/home/nightlies/herbie/preprocess-initial-simplify/src/core/taylor.rkt	7	0
taylor-expr	/home/nightlies/herbie/preprocess-initial-simplify/src/patch.rkt	77	0
taylor-alt	/home/nightlies/herbie/preprocess-initial-simplify/src/patch.rkt	84	0
gen-series!	/home/nightlies/herbie/preprocess-initial-simplify/src/patch.rkt	98	0
patch-table-run	/home/nightlies/herbie/preprocess-initial-simplify/src/patch.rkt	272	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt	486	18
run-improve!	/home/nightlies/herbie/preprocess-initial-simplify/src/mainloop.rkt	186	0
get-alternatives/report	/home/nightlies/herbie/preprocess-initial-simplify/src/sandbox.rkt	151	0
(unnamed)	/home/nightlies/herbie/preprocess-initial-simplify/src/sandbox.rkt	250	6
(unnamed)	/usr/share/racket/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/share/racket/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24