mixedcos

Specification

?
\[\begin{array}{l} \\ \frac{\cos \left(2 \cdot x\right)}{{c}^{2} \cdot \left(\left(x \cdot {s}^{2}\right) \cdot x\right)} \end{array} \]
(FPCore (x c s)
 :precision binary64
 (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x))))
double code(double x, double c, double s) {
	return cos((2.0 * x)) / (pow(c, 2.0) * ((x * pow(s, 2.0)) * x));
}

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

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));
}

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

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

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

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]

\begin{array}{l}

\\
\frac{\cos \left(2 \cdot x\right)}{{c}^{2} \cdot \left(\left(x \cdot {s}^{2}\right) \cdot x\right)}
\end{array}

Reproduce

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

Please file a bug report with this information.

Backtrace

member: not a proper list in: 1LC
gather-multiplicative-terms/home/nightlies/herbie/sound-rules/src/core/reduce.rkt1250
simplify-node*/home/nightlies/herbie/sound-rules/src/core/reduce.rkt840
hash-ref!/usr/local/racket/collects/racket/private/more-scheme.rkt3772
hash-ref!/usr/local/racket/collects/racket/private/more-scheme.rkt3772
loop.../private/map.rkt4019
f13.../match/compiler.rkt55940
hash-ref!/usr/local/racket/collects/racket/private/more-scheme.rkt3772
loop.../private/map.rkt4019
f19.../match/compiler.rkt55940
hash-ref!/usr/local/racket/collects/racket/private/more-scheme.rkt3772
approximate/home/nightlies/herbie/sound-rules/src/core/taylor.rkt70
taylor-expr/home/nightlies/herbie/sound-rules/src/patch.rkt890
taylor-alt/home/nightlies/herbie/sound-rules/src/patch.rkt960
gen-series!/home/nightlies/herbie/sound-rules/src/patch.rkt1090
patch-table-run/home/nightlies/herbie/sound-rules/src/patch.rkt2570
(unnamed)/usr/local/racket/collects/racket/contract/private/arrow-val-first.rkt48618
run-iter!/home/nightlies/herbie/sound-rules/src/mainloop.rkt2880
mutate!/home/nightlies/herbie/sound-rules/src/mainloop.rkt3400
run-improve!/home/nightlies/herbie/sound-rules/src/mainloop.rkt3260
get-alternatives/report/home/nightlies/herbie/sound-rules/src/sandbox.rkt1690
(unnamed)/home/nightlies/herbie/sound-rules/src/sandbox.rkt2626
(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