Exception for Linear.Quaternion:$ccosh from linear-1.19.1.3

• 49.5% of points produce a very large (infinite) output. You may want to add a precondition.

Specification

Math

\[\begin{array}{l} \\ \frac{\sin x \cdot \sinh y}{x} \end{array} \]

FPCore

(FPCore (x y) :precision binary64 (/ (* (sin x) (sinh y)) x))

C

double code(double x, double y) {
	return (sin(x) * sinh(y)) / x;
}

Fortran

real(8) function code(x, y)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    code = (sin(x) * sinh(y)) / x
end function

Java

public static double code(double x, double y) {
	return (Math.sin(x) * Math.sinh(y)) / x;
}

Python

def code(x, y):
	return (math.sin(x) * math.sinh(y)) / x

Julia

function code(x, y)
	return Float64(Float64(sin(x) * sinh(y)) / x)
end

MATLAB

function tmp = code(x, y)
	tmp = (sin(x) * sinh(y)) / x;
end

Wolfram

code[x_, y_] := N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]

Reproduce

herbie shell --seed 2024296 
(FPCore (x y)
  :name "Linear.Quaternion:$ccosh from linear-1.19.1.3"
  :precision binary64

  :alt
  (! :herbie-platform default (* (sin x) (/ (sinh y) x)))

  (/ (* (sin x) (sinh y)) x))

Please file a bug report with this information.

Backtrace

error: contract violation expected: string? given: 'sinh.f64		L	C
f651	.../match/compiler.rkt	559	40
loop	.../private/map.rkt	40	19
loop	.../private/map.rkt	40	19
loop	.../private/map.rkt	40	19
compile-expr	/home/nightlies/herbie/bhargav-double-double/src/core/explain.rkt	76	0
explain	/home/nightlies/herbie/bhargav-double-double/src/core/explain.rkt	654	0
explain!	/home/nightlies/herbie/bhargav-double-double/src/core/mainloop.rkt	320	0
run-improve!	/home/nightlies/herbie/bhargav-double-double/src/core/mainloop.rkt	45	0
get-alternatives/report	/home/nightlies/herbie/bhargav-double-double/src/api/sandbox.rkt	186	0
(unnamed)	/home/nightlies/herbie/bhargav-double-double/src/api/sandbox.rkt	282	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