Random Jason Timeout Test 004

Average Error: 34.1 → 34.1

Time: 13.3s

Precision: 64

• could not determine a ground truth for program body

  1. a = 2.363660519479911e-304
  2. c = -1.2131416731721854e+50

Math

\[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]

↓

\[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]

C

double code(double a, double c) {
	return fmod(cosh(c), log1p(a));
}

↓

double code(double a, double c) {
	return fmod(cosh(c), log1p(a));
}

Error

Bits error versus a

Bits error versus c

Derivation

1. Initial program 34.1

   \[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]

2. Final simplification 34.1

   \[\leadsto \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]

Reproduce

herbie shell --seed 2020078 
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  :precision binary64
  (fmod (cosh c) (log1p a)))