Average Error: 0.0 → 0.0
Time: 2.1s
Precision: 64
\[0.5 \cdot \left(x \cdot x - y\right)\]
↓
\[0.5 \cdot \left(x \cdot x - y\right)\]
0.5 \cdot \left(x \cdot x - y\right)
↓
0.5 \cdot \left(x \cdot x - y\right)
double f(double x, double y) {
        double r4527 = 0.5;
        double r4528 = x;
        double r4529 = r4528 * r4528;
        double r4530 = y;
        double r4531 = r4529 - r4530;
        double r4532 = r4527 * r4531;
        return r4532;
}
↓
double f(double x, double y) {
        double r4533 = 0.5;
        double r4534 = x;
        double r4535 = r4534 * r4534;
        double r4536 = y;
        double r4537 = r4535 - r4536;
        double r4538 = r4533 * r4537;
        return r4538;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[0.5 \cdot \left(x \cdot x - y\right)\]

  2. Final simplification0.0

    \[\leadsto 0.5 \cdot \left(x \cdot x - y\right)\]

Reproduce

herbie shell --seed 2020021 
(FPCore (x y)
  :name "System.Random.MWC.Distributions:standard from mwc-random-0.13.3.2"
  :precision binary64
  (* 0.5 (- (* x x) y)))