Average Error: 15.1 → 15.1
Time: 799.0ms
Precision: binary64
\[\frac{myTopRad - myBotRad}{\left(\pi \cdot myTurns\right) \cdot \left(myTopRad + myBotRad\right)}\]
↓
\[\frac{myTopRad - myBotRad}{\left(\pi \cdot myTurns\right) \cdot \left(myTopRad + myBotRad\right)}\]
\frac{myTopRad - myBotRad}{\left(\pi \cdot myTurns\right) \cdot \left(myTopRad + myBotRad\right)}
↓
\frac{myTopRad - myBotRad}{\left(\pi \cdot myTurns\right) \cdot \left(myTopRad + myBotRad\right)}
double code(double myTopRad, double myBotRad, double myTurns) {
	return ((double) (((double) (myTopRad - myBotRad)) / ((double) (((double) (((double) M_PI) * myTurns)) * ((double) (myTopRad + myBotRad))))));
}
↓
double code(double myTopRad, double myBotRad, double myTurns) {
	return ((double) (((double) (myTopRad - myBotRad)) / ((double) (((double) (((double) M_PI) * myTurns)) * ((double) (myTopRad + myBotRad))))));
}

Error

Bits error versus myTopRad

Bits error versus myBotRad

Bits error versus myTurns

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 15.1

    \[\frac{myTopRad - myBotRad}{\left(\pi \cdot myTurns\right) \cdot \left(myTopRad + myBotRad\right)}\]

  2. Final simplification15.1

    \[\leadsto \frac{myTopRad - myBotRad}{\left(\pi \cdot myTurns\right) \cdot \left(myTopRad + myBotRad\right)}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (myTopRad myBotRad myTurns)
  :name "(/ (- myTopRad myBotRad) (* (* PI myTurns) (+ myTopRad myBotRad)))"
  :precision binary64
  (/ (- myTopRad myBotRad) (* (* PI myTurns) (+ myTopRad myBotRad))))