Average Error: 0 → 0
Time: 534.0ms
Precision: binary64
\[\frac{e^{1}}{e^{0.0} + e^{\left(1 + 2\right) + 3}}\]
↓
\[\frac{e^{1}}{e^{0.0} + e^{\left(1 + 2\right) + 3}}\]
\frac{e^{1}}{e^{0.0} + e^{\left(1 + 2\right) + 3}}
↓
\frac{e^{1}}{e^{0.0} + e^{\left(1 + 2\right) + 3}}
double code() {
	return ((double) (((double) exp(1.0)) / ((double) (((double) exp(0.0)) + ((double) exp(((double) (((double) (1.0 + 2.0)) + 3.0))))))));
}
↓
double code() {
	return ((double) (((double) exp(1.0)) / ((double) (((double) exp(0.0)) + ((double) exp(((double) (((double) (1.0 + 2.0)) + 3.0))))))));
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\frac{e^{1}}{e^{0.0} + e^{\left(1 + 2\right) + 3}}\]

    2. Final simplification0

      \[\leadsto \frac{e^{1}}{e^{0.0} + e^{\left(1 + 2\right) + 3}}\]

    Reproduce

    herbie shell --seed 2020153 
(FPCore ()
  :name "(/ (exp 1) (+ (exp 0) (exp (+ (+ 1 2) 3))))"
  :precision binary64
  (/ (exp 1.0) (+ (exp 0.0) (exp (+ (+ 1.0 2.0) 3.0)))))