Average Error: 0.0 → 0.0
Time: 55.5s
Precision: 64
Internal Precision: 576
\[\frac{-1}{e^{\frac{\left(x - y\right) \cdot \left(x - y\right)}{e}}}\]
\[\frac{-1}{{e}^{\left(\frac{\left(x - y\right) \cdot \left(x - y\right)}{e}\right)}}\]

Error

Bits error versus x

Bits error versus y

Bits error versus e

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{-1}{e^{\frac{\left(x - y\right) \cdot \left(x - y\right)}{e}}}\]
  2. Using strategy rm
  3. Applied *-un-lft-identity0.0

    \[\leadsto \frac{-1}{e^{\color{blue}{1 \cdot \frac{\left(x - y\right) \cdot \left(x - y\right)}{e}}}}\]
  4. Applied exp-prod0.0

    \[\leadsto \frac{-1}{\color{blue}{{\left(e^{1}\right)}^{\left(\frac{\left(x - y\right) \cdot \left(x - y\right)}{e}\right)}}}\]
  5. Simplified0.0

    \[\leadsto \frac{-1}{{\color{blue}{e}}^{\left(\frac{\left(x - y\right) \cdot \left(x - y\right)}{e}\right)}}\]
  6. Final simplification0.0

    \[\leadsto \frac{-1}{{e}^{\left(\frac{\left(x - y\right) \cdot \left(x - y\right)}{e}\right)}}\]

Runtime

Time bar (total: 55.5s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (x y e)
  :name "-1 / exp(((x-y)*(x-y)) / e)"
  (/ (- 1) (exp (/ (* (- x y) (- x y)) e))))