Average Error: 0.0 → 0.0
Time: 11.4s
Precision: 64
\[1.8 \cdot \left(a - 273.15\right) + 32.0\]
\[32.0 + \left(a - 273.15\right) \cdot 1.8\]
1.8 \cdot \left(a - 273.15\right) + 32.0
32.0 + \left(a - 273.15\right) \cdot 1.8
double f(double a) {
        double r39299332 = 1.8;
        double r39299333 = a;
        double r39299334 = 273.15;
        double r39299335 = r39299333 - r39299334;
        double r39299336 = r39299332 * r39299335;
        double r39299337 = 32.0;
        double r39299338 = r39299336 + r39299337;
        return r39299338;
}

double f(double a) {
        double r39299339 = 32.0;
        double r39299340 = a;
        double r39299341 = 273.15;
        double r39299342 = r39299340 - r39299341;
        double r39299343 = 1.8;
        double r39299344 = r39299342 * r39299343;
        double r39299345 = r39299339 + r39299344;
        return r39299345;
}

Error

Bits error versus a

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[1.8 \cdot \left(a - 273.15\right) + 32.0\]
  2. Final simplification0.0

    \[\leadsto 32.0 + \left(a - 273.15\right) \cdot 1.8\]

Reproduce

herbie shell --seed 1 
(FPCore (a)
  :name "1.8*(a - 273.15) + 32.0"
  (+ (* 1.8 (- a 273.15)) 32.0))