Average Error: 0.0 → 0.0
Time: 9.6s
Precision: 64
\[sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]
\[sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]
sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213
sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213
double f(double sqLength12, double sqLength13, double scal1213) {
        double r2474187 = sqLength12;
        double r2474188 = sqLength13;
        double r2474189 = r2474187 * r2474188;
        double r2474190 = scal1213;
        double r2474191 = r2474190 * r2474190;
        double r2474192 = r2474189 - r2474191;
        return r2474192;
}

double f(double sqLength12, double sqLength13, double scal1213) {
        double r2474193 = sqLength12;
        double r2474194 = sqLength13;
        double r2474195 = r2474193 * r2474194;
        double r2474196 = scal1213;
        double r2474197 = r2474196 * r2474196;
        double r2474198 = r2474195 - r2474197;
        return r2474198;
}

Error

Bits error versus sqLength12

Bits error versus sqLength13

Bits error versus scal1213

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]
  2. Final simplification0.0

    \[\leadsto sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]

Reproduce

herbie shell --seed 1 
(FPCore (sqLength12 sqLength13 scal1213)
  :name "sqLength12 * sqLength13 - (scal1213 * scal1213)"
  :precision binary64
  (- (* sqLength12 sqLength13) (* scal1213 scal1213)))