Exception for SynthBasics:moogVCF from YampaSynth-0.2

Specification

Math

\[\begin{array}{l} \\ x + \left(y \cdot z\right) \cdot \left(\tanh \left(\frac{t}{y}\right) - \tanh \left(\frac{x}{y}\right)\right) \end{array} \]

FPCore

(FPCore (x y z t)
 :precision binary64
 (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))

C

double code(double x, double y, double z, double t) {
	return x + ((y * z) * (tanh((t / y)) - tanh((x / y))));
}

Fortran

real(8) function code(x, y, z, t)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    real(8), intent (in) :: t
    code = x + ((y * z) * (tanh((t / y)) - tanh((x / y))))
end function

Java

public static double code(double x, double y, double z, double t) {
	return x + ((y * z) * (Math.tanh((t / y)) - Math.tanh((x / y))));
}

Python

def code(x, y, z, t):
	return x + ((y * z) * (math.tanh((t / y)) - math.tanh((x / y))))

Julia

function code(x, y, z, t)
	return Float64(x + Float64(Float64(y * z) * Float64(tanh(Float64(t / y)) - tanh(Float64(x / y)))))
end

MATLAB

function tmp = code(x, y, z, t)
	tmp = x + ((y * z) * (tanh((t / y)) - tanh((x / y))));
end

Wolfram

code[x_, y_, z_, t_] := N[(x + N[(N[(y * z), $MachinePrecision] * N[(N[Tanh[N[(t / y), $MachinePrecision]], $MachinePrecision] - N[Tanh[N[(x / y), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

Reproduce

herbie shell --seed 2024196 
(FPCore (x y z t)
  :name "SynthBasics:moogVCF from YampaSynth-0.2"
  :precision binary64

  :alt
  (! :herbie-platform default (+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))))

  (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))

Please file a bug report with this information.

Backtrace

vector-set!: contract violation expected: exact-nonnegative-integer? given: -3 argument position: 2nd first argument...: '#(#f #t #f #f #f #f #f #f #f #f)		L	C
backward-pass	/home/nightlies/rival/main/eval/adjust.rkt	8	0
rival-machine-adjust	/home/nightlies/rival/main/eval/run.rkt	98	0
rival-machine-full	/home/nightlies/rival/main/eval/main.rkt	16	0
rival-apply	/home/nightlies/rival/main/eval/main.rkt	56	0
(unnamed)	/usr/local/racket/collects/racket/contract/private/arrow-val-first.rkt	486	18
(unnamed)	/home/nightlies/herbie/zane-odyssey-timeline/src/sampling.rkt	159	4
ival-eval	/home/nightlies/herbie/zane-odyssey-timeline/src/sampling.rkt	153	0
<eval-prog-real>	/home/nightlies/herbie/zane-odyssey-timeline/src/sampling.rkt	188	2
predict-errors	/home/nightlies/herbie/zane-odyssey-timeline/src/explain.rkt	86	0
explain	/home/nightlies/herbie/zane-odyssey-timeline/src/explain.rkt	736	0
explain!	/home/nightlies/herbie/zane-odyssey-timeline/src/mainloop.rkt	339	0
mutate!	/home/nightlies/herbie/zane-odyssey-timeline/src/mainloop.rkt	62	0
run-improve!	/home/nightlies/herbie/zane-odyssey-timeline/src/mainloop.rkt	48	0
get-alternatives/report	/home/nightlies/herbie/zane-odyssey-timeline/src/sandbox.rkt	167	0
(unnamed)	/home/nightlies/herbie/zane-odyssey-timeline/src/sandbox.rkt	261	6
(unnamed)	/usr/local/racket/share/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/local/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/local/racket/collects/racket/engine.rkt	42	24