Average Error: 0.0 → 0.0
Time: 1.4s
Precision: binary64
\[\mathsf{max}\left(\frac{vCPU}{VCPUs}, \mathsf{max}\left(\frac{\frac{memoryMB}{1024}}{RAMGB}, \frac{LocalGB}{EphemeralGB}\right)\right)\]
↓
\[\mathsf{max}\left(\frac{vCPU}{VCPUs}, \mathsf{max}\left(\frac{\frac{memoryMB}{1024}}{RAMGB}, \frac{LocalGB}{EphemeralGB}\right)\right)\]
\mathsf{max}\left(\frac{vCPU}{VCPUs}, \mathsf{max}\left(\frac{\frac{memoryMB}{1024}}{RAMGB}, \frac{LocalGB}{EphemeralGB}\right)\right)
↓
\mathsf{max}\left(\frac{vCPU}{VCPUs}, \mathsf{max}\left(\frac{\frac{memoryMB}{1024}}{RAMGB}, \frac{LocalGB}{EphemeralGB}\right)\right)
double code(double vCPU, double VCPUs, double memoryMB, double RAMGB, double LocalGB, double EphemeralGB) {
	return ((double) fmax(((double) (vCPU / VCPUs)), ((double) fmax(((double) (((double) (memoryMB / 1024.0)) / RAMGB)), ((double) (LocalGB / EphemeralGB))))));
}
↓
double code(double vCPU, double VCPUs, double memoryMB, double RAMGB, double LocalGB, double EphemeralGB) {
	return ((double) fmax(((double) (vCPU / VCPUs)), ((double) fmax(((double) (((double) (memoryMB / 1024.0)) / RAMGB)), ((double) (LocalGB / EphemeralGB))))));
}

Error

Bits error versus vCPU

Bits error versus VCPUs

Bits error versus memoryMB

Bits error versus RAMGB

Bits error versus LocalGB

Bits error versus EphemeralGB

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\mathsf{max}\left(\frac{vCPU}{VCPUs}, \mathsf{max}\left(\frac{\frac{memoryMB}{1024}}{RAMGB}, \frac{LocalGB}{EphemeralGB}\right)\right)\]

  2. Final simplification0.0

    \[\leadsto \mathsf{max}\left(\frac{vCPU}{VCPUs}, \mathsf{max}\left(\frac{\frac{memoryMB}{1024}}{RAMGB}, \frac{LocalGB}{EphemeralGB}\right)\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (vCPU VCPUs memoryMB RAMGB LocalGB EphemeralGB)
  :name "(fmax (/ vCPU VCPUs) (fmax (/ (/ memoryMB 1024) RAMGB) (/ LocalGB EphemeralGB)))"
  :precision binary64
  (fmax (/ vCPU VCPUs) (fmax (/ (/ memoryMB 1024.0) RAMGB) (/ LocalGB EphemeralGB))))