Average Error: 0.0 → 0.0
Time: 1.3s
Precision: binary64
\[\left(x1 + x3\right) + \log x2\]
↓
\[\left(x1 + x3\right) + \log x2\]
\left(x1 + x3\right) + \log x2
↓
\left(x1 + x3\right) + \log x2
double code(double x1, double x3, double x2) {
	return ((double) (((double) (x1 + x3)) + ((double) log(x2))));
}
↓
double code(double x1, double x3, double x2) {
	return ((double) (((double) (x1 + x3)) + ((double) log(x2))));
}

Error

Bits error versus x1

Bits error versus x3

Bits error versus x2

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\left(x1 + x3\right) + \log x2\]

  2. Final simplification0.0

    \[\leadsto \left(x1 + x3\right) + \log x2\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x1 x3 x2)
  :name "(+ (+ x1 x3) (log x2))"
  :precision binary64
  (+ (+ x1 x3) (log x2)))