Exception for Random Jason Timeout Test 014

• could not determine a ground truth for program body

  1. c = -8.077195036329744e+39

Math

\[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)\]

C

double f(double c) {
        double r8088 = c;
        double r8089 = sinh(r8088);
        double r8090 = -2.9807307601812193e+165;
        double r8091 = 2.0;
        double r8092 = pow(r8090, r8091);
        double r8093 = r8088 - r8092;
        double r8094 = fmod(r8089, r8093);
        return r8094;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019194 +o rules:numerics
(FPCore (c)
  :name "Random Jason Timeout Test 014"
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))

Backtrace

result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0		L	C
loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt	25	2
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	26	0
simplify!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	220	0
run-improve47	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	342	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28