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)}}$

# Try it out

Results

 In Out
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))))