?

\[\left(\left(\left(x = 0 \lor 0.5884142 \leq x \land x \leq 505.5909\right) \land \left(-1.796658 \cdot 10^{+308} \leq y \land y \leq -9.425585 \cdot 10^{-310} \lor 1.284938 \cdot 10^{-309} \leq y \land y \leq 1.751224 \cdot 10^{+308}\right)\right) \land \left(-1.776707 \cdot 10^{+308} \leq z \land z \leq -8.599796 \cdot 10^{-310} \lor 3.293145 \cdot 10^{-311} \leq z \land z \leq 1.725154 \cdot 10^{+308}\right)\right) \land \left(-1.796658 \cdot 10^{+308} \leq a \land a \leq -9.425585 \cdot 10^{-310} \lor 1.284938 \cdot 10^{-309} \leq a \land a \leq 1.751224 \cdot 10^{+308}\right)\]

\[x + \left(\tan \left(y + z\right) - \tan a\right) \]

(FPCore (x y z a) :precision binary64 (+ x (- (tan (+ y z)) (tan a))))

double code(double x, double y, double z, double a) {
	return x + (tan((y + z)) - tan(a));
}

real(8) function code(x, y, z, a)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    real(8), intent (in) :: a
    code = x + (tan((y + z)) - tan(a))
end function

public static double code(double x, double y, double z, double a) {
	return x + (Math.tan((y + z)) - Math.tan(a));
}

def code(x, y, z, a):
	return x + (math.tan((y + z)) - math.tan(a))

function code(x, y, z, a)
	return Float64(x + Float64(tan(Float64(y + z)) - tan(a)))
end

function tmp = code(x, y, z, a)
	tmp = x + (tan((y + z)) - tan(a));
end

code[x_, y_, z_, a_] := N[(x + N[(N[Tan[N[(y + z), $MachinePrecision]], $MachinePrecision] - N[Tan[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

x + \left(\tan \left(y + z\right) - \tan a\right)

Reproduce?

Please include this information when filing a bug report:

herbie shell --seed 2023161 
(FPCore (x y z a)
  :name "tan-example (used to crash)"
  :precision binary64
  :pre (and (and (and (or (== x 0.0) (and (<= 0.5884142 x) (<= x 505.5909))) (or (and (<= -1.796658e+308 y) (<= y -9.425585e-310)) (and (<= 1.284938e-309 y) (<= y 1.751224e+308)))) (or (and (<= -1.776707e+308 z) (<= z -8.599796e-310)) (and (<= 3.293145e-311 z) (<= z 1.725154e+308)))) (or (and (<= -1.796658e+308 a) (<= a -9.425585e-310)) (and (<= 1.284938e-309 a) (<= a 1.751224e+308))))
  (+ x (- (tan (+ y z)) (tan a))))

Backtrace

Bad location: cannot enter 'x "any further."		L	C
loop	/home/nightlies/herbie/redesign-report/src/programs.rkt	107	4
loop	/home/nightlies/herbie/redesign-report/src/programs.rkt	107	4
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt	375	33
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt	375	33
add-soundiness-to	/home/nightlies/herbie/redesign-report/src/soundiness.rkt	49	0
loop	.../private/map.rkt	40	19
alt-map	/home/nightlies/herbie/redesign-report/src/alternative.rkt	30	0
add-soundiness	/home/nightlies/herbie/redesign-report/src/soundiness.rkt	81	0
extract!	/home/nightlies/herbie/redesign-report/src/mainloop.rkt	411	0
run-improve!	/home/nightlies/herbie/redesign-report/src/mainloop.rkt	350	0
get-alternatives/report	/home/nightlies/herbie/redesign-report/src/sandbox.rkt	148	0
(unnamed)	/home/nightlies/herbie/redesign-report/src/sandbox.rkt	249	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

Unsound rule application detected in e-graph. Results may not be sound. (more)

?

Reproduce?

Backtrace