Exception for mixedcos

Math

\[\frac{\cos \left(2 \cdot x\right)}{{c}^{2} \cdot \left(\left(x \cdot {s}^{2}\right) \cdot x\right)} \]

FPCore

(FPCore (x c s)
 :precision binary64
 (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x))))

C

double code(double x, double c, double s) {
	return cos((2.0 * x)) / (pow(c, 2.0) * ((x * pow(s, 2.0)) * x));
}

Fortran

real(8) function code(x, c, s)
    real(8), intent (in) :: x
    real(8), intent (in) :: c
    real(8), intent (in) :: s
    code = cos((2.0d0 * x)) / ((c ** 2.0d0) * ((x * (s ** 2.0d0)) * x))
end function

Java

public static double code(double x, double c, double s) {
	return Math.cos((2.0 * x)) / (Math.pow(c, 2.0) * ((x * Math.pow(s, 2.0)) * x));
}

Python

def code(x, c, s):
	return math.cos((2.0 * x)) / (math.pow(c, 2.0) * ((x * math.pow(s, 2.0)) * x))

Julia

function code(x, c, s)
	return Float64(cos(Float64(2.0 * x)) / Float64((c ^ 2.0) * Float64(Float64(x * (s ^ 2.0)) * x)))
end

MATLAB

function tmp = code(x, c, s)
	tmp = cos((2.0 * x)) / ((c ^ 2.0) * ((x * (s ^ 2.0)) * x));
end

Wolfram

code[x_, c_, s_] := N[(N[Cos[N[(2.0 * x), $MachinePrecision]], $MachinePrecision] / N[(N[Power[c, 2.0], $MachinePrecision] * N[(N[(x * N[Power[s, 2.0], $MachinePrecision]), $MachinePrecision] * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2023098 
(FPCore (x c s)
  :name "mixedcos"
  :precision binary64
  (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x))))

Backtrace

hash-ref: no value found for key key: 'false		L	C
(unnamed)	/home/nightlies/herbie/using-ruler-nightlies/src/syntax/syntax.rkt	230	2
f336	.../match/compiler.rkt	548	40
expand-parametric	/home/nightlies/herbie/using-ruler-nightlies/src/syntax/sugar.rkt	62	0
(unnamed)	/home/nightlies/herbie/using-ruler-nightlies/src/core/egg-herbie.rkt	255	9
rule->egg-rules	/home/nightlies/herbie/using-ruler-nightlies/src/core/egg-herbie.rkt	224	0
expand-rules	/home/nightlies/herbie/using-ruler-nightlies/src/core/egg-herbie.rkt	488	0
egraph-run-rules	/home/nightlies/herbie/using-ruler-nightlies/src/core/egg-herbie.rkt	509	0
(unnamed)	/home/nightlies/herbie/using-ruler-nightlies/src/core/simplify.rkt	58	3
with-egraph	/home/nightlies/herbie/using-ruler-nightlies/src/core/egg-herbie.rkt	333	0
simplify-batch	/home/nightlies/herbie/using-ruler-nightlies/src/core/simplify.rkt	23	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt	379	33
get-swaps	/home/nightlies/herbie/using-ruler-nightlies/src/symmetry.rkt	6	0
connected-components	/home/nightlies/herbie/using-ruler-nightlies/src/symmetry.rkt	18	0
run-improve!	/home/nightlies/herbie/using-ruler-nightlies/src/mainloop.rkt	320	0
run-herbie	/home/nightlies/herbie/using-ruler-nightlies/src/sandbox.rkt	57	0
(unnamed)	/home/nightlies/herbie/using-ruler-nightlies/src/sandbox.rkt	133	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