Exception for Language.Haskell.HsColour.ColourHighlight:unbase from hscolour-1.23

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

Specification

Math

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

FPCore

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

C

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

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) * y) + t
end function

Java

public static double code(double x, double y, double z, double t) {
	return (((x * y) + z) * y) + t;
}

Python

def code(x, y, z, t):
	return (((x * y) + z) * y) + t

Julia

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

MATLAB

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

Wolfram

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

Reproduce

herbie shell --seed 2024035 
(FPCore (x y z t)
  :name "Language.Haskell.HsColour.ColourHighlight:unbase from hscolour-1.23"
  :precision binary64
  (+ (* (+ (* x y) z) y) t))

Please file a bug report with this information.

Backtrace

list-ref: index too large for list index: 256 in: '(#f #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t #t...		L	C
valid-splitindices?	/home/nightlies/herbie/zane-regimes-2/src/core/regimes.rkt	170	0
(unnamed)	.../private/arr-i.rkt	961	8
option-on-expr	/home/nightlies/herbie/zane-regimes-2/src/core/regimes.rkt	106	0
infer-splitpoints	/home/nightlies/herbie/zane-regimes-2/src/core/regimes.rkt	39	0
loop	/home/nightlies/herbie/zane-regimes-2/src/core/regimes.rkt	27	2
loop	/home/nightlies/herbie/zane-regimes-2/src/core/regimes.rkt	27	2
loop	/home/nightlies/herbie/zane-regimes-2/src/core/regimes.rkt	27	2
extract!	/home/nightlies/herbie/zane-regimes-2/src/mainloop.rkt	365	0
run-improve!	/home/nightlies/herbie/zane-regimes-2/src/mainloop.rkt	339	0
get-alternatives/report	/home/nightlies/herbie/zane-regimes-2/src/sandbox.rkt	169	0
(unnamed)	/home/nightlies/herbie/zane-regimes-2/src/sandbox.rkt	262	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