Falkner and Boettcher, Appendix A

Specification

?
\[\mathsf{TRUE}\left(\right)\]
\[\begin{array}{l} \\ \frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k} \end{array} \]
(FPCore (a k m)
 :precision binary64
 (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
double code(double a, double k, double m) {
	return (a * pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k));
}

real(8) function code(a, k, m)
    real(8), intent (in) :: a
    real(8), intent (in) :: k
    real(8), intent (in) :: m
    code = (a * (k ** m)) / ((1.0d0 + (10.0d0 * k)) + (k * k))
end function

public static double code(double a, double k, double m) {
	return (a * Math.pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k));
}

def code(a, k, m):
	return (a * math.pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k))

function code(a, k, m)
	return Float64(Float64(a * (k ^ m)) / Float64(Float64(1.0 + Float64(10.0 * k)) + Float64(k * k)))
end

function tmp = code(a, k, m)
	tmp = (a * (k ^ m)) / ((1.0 + (10.0 * k)) + (k * k));
end

code[a_, k_, m_] := N[(N[(a * N[Power[k, m], $MachinePrecision]), $MachinePrecision] / N[(N[(1.0 + N[(10.0 * k), $MachinePrecision]), $MachinePrecision] + N[(k * k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

\begin{array}{l}

\\
\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}
\end{array}

Reproduce

?
herbie shell --seed 2024321 
(FPCore (a k m)
  :name "Falkner and Boettcher, Appendix A"
  :precision binary64
  :pre (TRUE)
  (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))

Please file a bug report with this information.

Backtrace

numerator: contract violation expected: rational-number? given: +inf.0LC
egglog-add-exprs/home/nightlies/herbie/varun10p-egglog/src/core/egglog-herbie.rkt4080
final-simplify!/home/nightlies/herbie/varun10p-egglog/src/core/mainloop.rkt3500
extract!/home/nightlies/herbie/varun10p-egglog/src/core/mainloop.rkt810
run-improve!/home/nightlies/herbie/varun10p-egglog/src/core/mainloop.rkt460
get-alternatives/report/home/nightlies/herbie/varun10p-egglog/src/api/sandbox.rkt1860
(unnamed)/home/nightlies/herbie/varun10p-egglog/src/api/sandbox.rkt2826
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224