(- (* (cosh x) (cosh y)) (* (* (cos (- a b)) (sinh x)) (sinh y)))

Average Error: 0.0 → 0.0

Time: 31.1s

Precision: binary64

• could not determine a ground truth for program body

  1. x = -61476344590.049736
  2. y = -1.2499510398585455e+92
  3. a = 1.0605736984590499e-126
  4. b = -2.679121793643525e+304

Math

\[\cosh x \cdot \cosh y - \left(\cos \left(a - b\right) \cdot \sinh x\right) \cdot \sinh y\]

↓

\[\cosh x \cdot \cosh y - \left(\cos \left(a - b\right) \cdot \sinh x\right) \cdot \sinh y\]

C

double code(double x, double y, double a, double b) {
	return ((double) (((double) (((double) cosh(x)) * ((double) cosh(y)))) - ((double) (((double) (((double) cos(((double) (a - b)))) * ((double) sinh(x)))) * ((double) sinh(y))))));
}

↓

double code(double x, double y, double a, double b) {
	return ((double) (((double) (((double) cosh(x)) * ((double) cosh(y)))) - ((double) (((double) (((double) cos(((double) (a - b)))) * ((double) sinh(x)))) * ((double) sinh(y))))));
}

Error

Bits error versus x

Bits error versus y

Bits error versus a

Bits error versus b

Derivation

1. Initial program 0.0

   \[\cosh x \cdot \cosh y - \left(\cos \left(a - b\right) \cdot \sinh x\right) \cdot \sinh y\]

2. Final simplification 0.0

   \[\leadsto \cosh x \cdot \cosh y - \left(\cos \left(a - b\right) \cdot \sinh x\right) \cdot \sinh y\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x y a b)
  :name "(- (* (cosh x) (cosh y)) (* (* (cos (- a b)) (sinh x)) (sinh y)))"
  :precision binary64
  (- (* (cosh x) (cosh y)) (* (* (cos (- a b)) (sinh x)) (sinh y))))