Average Error: 0 → 0
Time: 1.7s
Precision: 64
$\frac{\sqrt{dis_i} + delta_i}{lenCsq}$
$\frac{\sqrt{dis_i} + delta_i}{lenCsq}$
\frac{\sqrt{dis_i} + delta_i}{lenCsq}
\frac{\sqrt{dis_i} + delta_i}{lenCsq}
double f(double dis_i, double delta_i, double lenCsq) {
double r1597244 = dis_i;
double r1597245 = sqrt(r1597244);
double r1597246 = delta_i;
double r1597247 = r1597245 + r1597246;
double r1597248 = lenCsq;
double r1597249 = r1597247 / r1597248;
return r1597249;
}


double f(double dis_i, double delta_i, double lenCsq) {
double r1597250 = dis_i;
double r1597251 = sqrt(r1597250);
double r1597252 = delta_i;
double r1597253 = r1597251 + r1597252;
double r1597254 = lenCsq;
double r1597255 = r1597253 / r1597254;
return r1597255;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0

$\frac{\sqrt{dis_i} + delta_i}{lenCsq}$
2. Final simplification0

$\leadsto \frac{\sqrt{dis_i} + delta_i}{lenCsq}$

# Reproduce

herbie shell --seed 1
(FPCore (dis_i delta_i lenCsq)
:name "(sqrt(dis_i) + delta_i) / lenCsq"
:precision binary32
(/ (+ (sqrt dis_i) delta_i) lenCsq))