Exception for From Rump in a 1983 paper, rewritten

\[x = 10864 \land y = 18817\]

Math

\[9 \cdot {x}^{4} - \left(y \cdot y\right) \cdot \left(y \cdot y - 2\right) \]

FPCore

(FPCore (x y)
 :precision binary64
 (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))

C

double code(double x, double y) {
	return (9.0 * pow(x, 4.0)) - ((y * y) * ((y * y) - 2.0));
}

Fortran

real(8) function code(x, y)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    code = (9.0d0 * (x ** 4.0d0)) - ((y * y) * ((y * y) - 2.0d0))
end function

Java

public static double code(double x, double y) {
	return (9.0 * Math.pow(x, 4.0)) - ((y * y) * ((y * y) - 2.0));
}

Python

def code(x, y):
	return (9.0 * math.pow(x, 4.0)) - ((y * y) * ((y * y) - 2.0))

Julia

function code(x, y)
	return Float64(Float64(9.0 * (x ^ 4.0)) - Float64(Float64(y * y) * Float64(Float64(y * y) - 2.0)))
end

MATLAB

function tmp = code(x, y)
	tmp = (9.0 * (x ^ 4.0)) - ((y * y) * ((y * y) - 2.0));
end

Wolfram

code[x_, y_] := N[(N[(9.0 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision] - N[(N[(y * y), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] - 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2022203 
(FPCore (x y)
  :name "From Rump in a 1983 paper, rewritten"
  :precision binary64
  :pre (and (== x 10864.0) (== y 18817.0))
  (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))

Backtrace

hash-ref: no value found for key key: #<alt (λ (x y) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))))>		L	C
remove-chnged-pnts	/data/pavpan/nightlies/herbie/oopsla21/src/core/alt-table.rkt	127	0
atab-add-altn	/data/pavpan/nightlies/herbie/oopsla21/src/core/alt-table.rkt	266	0
atab-add-altns	/data/pavpan/nightlies/herbie/oopsla21/src/core/alt-table.rkt	242	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt	486	18
finalize-iter!	/data/pavpan/nightlies/herbie/oopsla21/src/mainloop.rkt	183	0
mutate!	/data/pavpan/nightlies/herbie/oopsla21/src/mainloop.rkt	348	0
run-improve!	/data/pavpan/nightlies/herbie/oopsla21/src/mainloop.rkt	296	0
(unnamed)	/data/pavpan/nightlies/herbie/oopsla21/src/sandbox.rkt	55	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