(+ (log a) (* x (sin (pow E b))))

Average Error: 8.7 → 8.7

Time: 6.7s

Precision: binary64

• could not determine a ground truth for program body

  1. a = 7.960518986233747e+131
  2. x = 6.554615620151916e+77
  3. b = 3.93074659044643e+159

Math

\[\log a + x \cdot \sin \left({e}^{b}\right)\]

↓

\[\log a + x \cdot \sin \left({e}^{b}\right)\]

C

double code(double a, double x, double b) {
	return ((double) (((double) log(a)) + ((double) (x * ((double) sin(((double) pow(((double) M_E), b))))))));
}

↓

double code(double a, double x, double b) {
	return ((double) (((double) log(a)) + ((double) (x * ((double) sin(((double) pow(((double) M_E), b))))))));
}

Error

Bits error versus a

Bits error versus x

Bits error versus b

Derivation

1. Initial program 8.7

   \[\log a + x \cdot \sin \left({e}^{b}\right)\]

2. Final simplification 8.7

   \[\leadsto \log a + x \cdot \sin \left({e}^{b}\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (a x b)
  :name "(+ (log a) (* x (sin (pow E b))))"
  :precision binary64
  (+ (log a) (* x (sin (pow E b)))))