Average Error: 2.4 → 2.4
Time: 572.0ms
Precision: binary64
\[\frac{\left(\frac{t + 32.183999999999997}{86400} + 2400000.5\right) - 2451545}{36525}\]
↓
\[\frac{\left(\frac{t + 32.183999999999997}{86400} + 2400000.5\right) - 2451545}{36525}\]
\frac{\left(\frac{t + 32.183999999999997}{86400} + 2400000.5\right) - 2451545}{36525}
↓
\frac{\left(\frac{t + 32.183999999999997}{86400} + 2400000.5\right) - 2451545}{36525}
double code(double t) {
	return ((double) (((double) (((double) (((double) (((double) (t + 32.184)) / 86400.0)) + 2400000.5)) - 2451545.0)) / 36525.0));
}
↓
double code(double t) {
	return ((double) (((double) (((double) (((double) (((double) (t + 32.184)) / 86400.0)) + 2400000.5)) - 2451545.0)) / 36525.0));
}

Error

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 2.4

    \[\frac{\left(\frac{t + 32.183999999999997}{86400} + 2400000.5\right) - 2451545}{36525}\]

  2. Final simplification2.4

    \[\leadsto \frac{\left(\frac{t + 32.183999999999997}{86400} + 2400000.5\right) - 2451545}{36525}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (t)
  :name "(/ (- (+ (/ (+ t 32.184) 86400) 2400000.5) 2451545) 36525)"
  :precision binary64
  (/ (- (+ (/ (+ t 32.184) 86400.0) 2400000.5) 2451545.0) 36525.0))