Average Error: 1.0 → 1.0
Time: 453.0ms
Precision: binary64
\[\log \left(32.2299999999999969 + 2.22999999999999998\right) - \log 2.22999999999999998\]
↓
\[\log \left(32.2299999999999969 + 2.22999999999999998\right) - \log 2.22999999999999998\]
\log \left(32.2299999999999969 + 2.22999999999999998\right) - \log 2.22999999999999998
↓
\log \left(32.2299999999999969 + 2.22999999999999998\right) - \log 2.22999999999999998
double code() {
	return ((double) (((double) log(((double) (32.23 + 2.23)))) - ((double) log(2.23))));
}
↓
double code() {
	return ((double) (((double) log(((double) (32.23 + 2.23)))) - ((double) log(2.23))));
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 1.0

      \[\log \left(32.2299999999999969 + 2.22999999999999998\right) - \log 2.22999999999999998\]

    2. Final simplification1.0

      \[\leadsto \log \left(32.2299999999999969 + 2.22999999999999998\right) - \log 2.22999999999999998\]

    Reproduce

    herbie shell --seed 2020152 
(FPCore ()
  :name "(- (log (+ 32.23 2.23)) (log 2.23))"
  :precision binary64
  (- (log (+ 32.23 2.23)) (log 2.23)))