Average Error: 0.0 → 0.0
Time: 6.2s
Precision: 64
\[x \cdot x + y \cdot y\]
↓
\[x \cdot x + y \cdot y\]
x \cdot x + y \cdot y
↓
x \cdot x + y \cdot y
double f(double x, double y) {
        double r8959951 = x;
        double r8959952 = r8959951 * r8959951;
        double r8959953 = y;
        double r8959954 = r8959953 * r8959953;
        double r8959955 = r8959952 + r8959954;
        return r8959955;
}
↓
double f(double x, double y) {
        double r8959956 = x;
        double r8959957 = r8959956 * r8959956;
        double r8959958 = y;
        double r8959959 = r8959958 * r8959958;
        double r8959960 = r8959957 + r8959959;
        return r8959960;
}

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

    \[x \cdot x + y \cdot y\]

  2. Final simplification0.0

    \[\leadsto x \cdot x + y \cdot y\]

Reproduce

herbie shell --seed 2019158 
(FPCore (x y)
  :name "Graphics.Rasterific.Linear:$cquadrance from Rasterific-0.6.1"
  (+ (* x x) (* y y)))