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;
}



# Try it out

Results

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