?

\[\tan \left(x + \varepsilon\right) - \tan x \]
(FPCore (x eps) :precision binary64 (- (tan (+ x eps)) (tan x)))
double code(double x, double eps) {
	return tan((x + eps)) - tan(x);
}
real(8) function code(x, eps)
    real(8), intent (in) :: x
    real(8), intent (in) :: eps
    code = tan((x + eps)) - tan(x)
end function
public static double code(double x, double eps) {
	return Math.tan((x + eps)) - Math.tan(x);
}
def code(x, eps):
	return math.tan((x + eps)) - math.tan(x)
function code(x, eps)
	return Float64(tan(Float64(x + eps)) - tan(x))
end
function tmp = code(x, eps)
	tmp = tan((x + eps)) - tan(x);
end
code[x_, eps_] := N[(N[Tan[N[(x + eps), $MachinePrecision]], $MachinePrecision] - N[Tan[x], $MachinePrecision]), $MachinePrecision]
\tan \left(x + \varepsilon\right) - \tan x

Reproduce?

Please include this information when filing a bug report:

herbie shell --seed 2023096 
(FPCore (x eps)
  :name "2tan (problem 3.3.2)"
  :precision binary64

  :herbie-target
  (/ (sin eps) (* (cos x) (cos (+ x eps))))

  (- (tan (+ x eps)) (tan x)))

Backtrace

match-define: no matching clause for '((x -.f64 (exp.f64 (log1p.f64 (tan.f64 (+.f64 x eps)))) 1))LC
program-body/home/nightlies/herbie/remove-change/src/programs.rkt210
(unnamed)/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt37933
gen-rewrites!/home/nightlies/herbie/remove-change/src/patch.rkt1450
patch-table-run/home/nightlies/herbie/remove-change/src/patch.rkt2960
(unnamed)/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt48618
run-iter!/home/nightlies/herbie/remove-change/src/mainloop.rkt2670
mutate!/home/nightlies/herbie/remove-change/src/mainloop.rkt3770
run-improve!/home/nightlies/herbie/remove-change/src/mainloop.rkt3250
run-herbie/home/nightlies/herbie/remove-change/src/sandbox.rkt570
(unnamed)/home/nightlies/herbie/remove-change/src/sandbox.rkt1336
(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