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

Error

Bits error versus theta

Bits error versus thetaMin

Bits error versus thetaMax

Try it out

Your Program's Arguments

Results

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