Hyperbolic tangent

Specification

?
\[\begin{array}{l} \\ \begin{array}{l} t_0 := e^{-x}\\ \frac{e^{x} - t\_0}{e^{x} + t\_0} \end{array} \end{array} \]
(FPCore (x)
 :precision binary64
 (let* ((t_0 (exp (- x)))) (/ (- (exp x) t_0) (+ (exp x) t_0))))
double code(double x) {
	double t_0 = exp(-x);
	return (exp(x) - t_0) / (exp(x) + t_0);
}
real(8) function code(x)
    real(8), intent (in) :: x
    real(8) :: t_0
    t_0 = exp(-x)
    code = (exp(x) - t_0) / (exp(x) + t_0)
end function
public static double code(double x) {
	double t_0 = Math.exp(-x);
	return (Math.exp(x) - t_0) / (Math.exp(x) + t_0);
}
def code(x):
	t_0 = math.exp(-x)
	return (math.exp(x) - t_0) / (math.exp(x) + t_0)
function code(x)
	t_0 = exp(Float64(-x))
	return Float64(Float64(exp(x) - t_0) / Float64(exp(x) + t_0))
end
function tmp = code(x)
	t_0 = exp(-x);
	tmp = (exp(x) - t_0) / (exp(x) + t_0);
end
code[x_] := Block[{t$95$0 = N[Exp[(-x)], $MachinePrecision]}, N[(N[(N[Exp[x], $MachinePrecision] - t$95$0), $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}

\\
\begin{array}{l}
t_0 := e^{-x}\\
\frac{e^{x} - t\_0}{e^{x} + t\_0}
\end{array}
\end{array}

Reproduce

?
herbie shell --seed 2024095 
(FPCore (x)
  :name "Hyperbolic tangent"
  :precision binary64
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))

Please file a bug report with this information.

Backtrace

map: all lists must have same size first list length: 0 other list length: 3 procedure: #<procedure:list>LC
gen-map/usr/local/racket/collects/racket/private/map.rkt2572
merge-changelists/home/nightlies/herbie/egg-serialize/src/patch.rkt1310
gen-rewrites!/home/nightlies/herbie/egg-serialize/src/patch.rkt1340
patch-table-run/home/nightlies/herbie/egg-serialize/src/patch.rkt2550
(unnamed)/usr/local/racket/collects/racket/contract/private/arrow-val-first.rkt48618
run-iter!/home/nightlies/herbie/egg-serialize/src/mainloop.rkt730
mutate!/home/nightlies/herbie/egg-serialize/src/mainloop.rkt650
run-improve!/home/nightlies/herbie/egg-serialize/src/mainloop.rkt510
get-alternatives/report/home/nightlies/herbie/egg-serialize/src/sandbox.rkt1710
(unnamed)/home/nightlies/herbie/egg-serialize/src/sandbox.rkt2666
(unnamed)/usr/local/racket/share/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/local/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/usr/local/racket/collects/racket/engine.rkt4224