Exception for Rust f64::atanh

Math

\[0.5 \cdot \mathsf{log1p}\left(\frac{2 \cdot x}{1 - x}\right) \]

FPCore

(FPCore (x) :precision binary64 (* 0.5 (log1p (/ (* 2.0 x) (- 1.0 x)))))

C

double code(double x) {
	return 0.5 * log1p(((2.0 * x) / (1.0 - x)));
}

Java

public static double code(double x) {
	return 0.5 * Math.log1p(((2.0 * x) / (1.0 - x)));
}

Python

def code(x):
	return 0.5 * math.log1p(((2.0 * x) / (1.0 - x)))

Julia

function code(x)
	return Float64(0.5 * log1p(Float64(Float64(2.0 * x) / Float64(1.0 - x))))
end

Wolfram

code[x_] := N[(0.5 * N[Log[1 + N[(N[(2.0 * x), $MachinePrecision] / N[(1.0 - x), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2023010 
(FPCore (x)
  :name "Rust f64::atanh"
  :precision binary64
  (* 0.5 (log1p (/ (* 2.0 x) (- 1.0 x)))))

Backtrace

map: contract violation expected: list? given: #<eof>		L	C
gen-map	/usr/share/racket/collects/racket/private/map.rkt	257	2
run-egglog	/home/nightlies/herbie/oflatt-egglog-ctx/src/egglog/run-egglog.rkt	1332	0
run-simplify-input	/home/nightlies/herbie/oflatt-egglog-ctx/src/core/simplify.rkt	73	0
simplify-batch	/home/nightlies/herbie/oflatt-egglog-ctx/src/core/simplify.rkt	48	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt	379	33
get-swaps	/home/nightlies/herbie/oflatt-egglog-ctx/src/symmetry.rkt	6	0
connected-components	/home/nightlies/herbie/oflatt-egglog-ctx/src/symmetry.rkt	21	0
run-improve!	/home/nightlies/herbie/oflatt-egglog-ctx/src/mainloop.rkt	320	0
(unnamed)	/home/nightlies/herbie/oflatt-egglog-ctx/src/sandbox.rkt	55	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