ab-angle->ABCF A

Specification

?
\[\begin{array}{l} \\ \begin{array}{l} t_0 := \frac{angle}{180} \cdot \pi\\ {\left(a \cdot \sin t\_0\right)}^{2} + {\left(b \cdot \cos t\_0\right)}^{2} \end{array} \end{array} \]
(FPCore (a b angle)
 :precision binary64
 (let* ((t_0 (* (/ angle 180.0) PI)))
   (+ (pow (* a (sin t_0)) 2.0) (pow (* b (cos t_0)) 2.0))))
double code(double a, double b, double angle) {
	double t_0 = (angle / 180.0) * ((double) M_PI);
	return pow((a * sin(t_0)), 2.0) + pow((b * cos(t_0)), 2.0);
}

public static double code(double a, double b, double angle) {
	double t_0 = (angle / 180.0) * Math.PI;
	return Math.pow((a * Math.sin(t_0)), 2.0) + Math.pow((b * Math.cos(t_0)), 2.0);
}

def code(a, b, angle):
	t_0 = (angle / 180.0) * math.pi
	return math.pow((a * math.sin(t_0)), 2.0) + math.pow((b * math.cos(t_0)), 2.0)

function code(a, b, angle)
	t_0 = Float64(Float64(angle / 180.0) * pi)
	return Float64((Float64(a * sin(t_0)) ^ 2.0) + (Float64(b * cos(t_0)) ^ 2.0))
end

function tmp = code(a, b, angle)
	t_0 = (angle / 180.0) * pi;
	tmp = ((a * sin(t_0)) ^ 2.0) + ((b * cos(t_0)) ^ 2.0);
end

code[a_, b_, angle_] := Block[{t$95$0 = N[(N[(angle / 180.0), $MachinePrecision] * Pi), $MachinePrecision]}, N[(N[Power[N[(a * N[Sin[t$95$0], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(b * N[Cos[t$95$0], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]]

\begin{array}{l}

\\
\begin{array}{l}
t_0 := \frac{angle}{180} \cdot \pi\\
{\left(a \cdot \sin t\_0\right)}^{2} + {\left(b \cdot \cos t\_0\right)}^{2}
\end{array}
\end{array}

Reproduce

?
herbie shell --seed 2025093 
(FPCore (a b angle)
  :name "ab-angle->ABCF A"
  :precision binary64
  (+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)))

Please file a bug report with this information.

Backtrace

result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form arguments...: '((2.709256558938077e-149 2.478552375011218e+41 4.775482055808602e+61 6.326408619393826e-18) . #f)LC
batch-prepare-points/home/nightlies/herbie/random-cleanup/src/core/sampling.rkt1230
prepend-argument/home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt970
hash-ref!/usr/share/racket/collects/racket/private/more-scheme.rkt3772
pred/home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt1404
binary-search-floats/home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt690
sindices->spoints/home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt1210
(unnamed)/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt37933
f11.../match/compiler.rkt55940
make-regime!/home/nightlies/herbie/random-cleanup/src/core/mainloop.rkt2620
extract!/home/nightlies/herbie/random-cleanup/src/core/mainloop.rkt610
run-improve!/home/nightlies/herbie/random-cleanup/src/core/mainloop.rkt370
get-alternatives/home/nightlies/herbie/random-cleanup/src/api/sandbox.rkt610
(unnamed)/home/nightlies/herbie/random-cleanup/src/api/sandbox.rkt1936
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
in-engine/home/nightlies/herbie/random-cleanup/src/api/sandbox.rkt2092
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224