Average Error: 0.0 → 0.0
Time: 8.5s
Precision: 64
$\frac{theta - thetaMin}{thetaMax - thetaMin}$
$\frac{theta - thetaMin}{thetaMax - thetaMin}$
\frac{theta - thetaMin}{thetaMax - thetaMin}
\frac{theta - thetaMin}{thetaMax - thetaMin}
double f(double theta, double thetaMin, double thetaMax) {
double r2208069 = theta;
double r2208070 = thetaMin;
double r2208071 = r2208069 - r2208070;
double r2208072 = thetaMax;
double r2208073 = r2208072 - r2208070;
double r2208074 = r2208071 / r2208073;
return r2208074;
}


double f(double theta, double thetaMin, double thetaMax) {
double r2208075 = theta;
double r2208076 = thetaMin;
double r2208077 = r2208075 - r2208076;
double r2208078 = thetaMax;
double r2208079 = r2208078 - r2208076;
double r2208080 = r2208077 / r2208079;
return r2208080;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.0

$\frac{theta - thetaMin}{thetaMax - thetaMin}$
2. Final simplification0.0

$\leadsto \frac{theta - thetaMin}{thetaMax - thetaMin}$

# Reproduce

herbie shell --seed 1
(FPCore (theta thetaMin thetaMax)
:name "(theta - thetaMin) / (thetaMax - thetaMin)"
:precision binary64
(/ (- theta thetaMin) (- thetaMax thetaMin)))